7380 search results - page 213 / 1476 » Engineering Software Intensive Systems |
123
Voted
VMCAI
2012
Springer
13 years 9 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
113
click to vote
SYNASC
2006
IEEE
15 years 8 months ago
2006
IEEE
In the last years, as object-oriented software systems became more and more complex, the need of performing automatically reverse engineering upon these systems has increased sign...
106
click to vote
AGENTS
1999
Springer
15 years 6 months ago
1999
Springer
This paper surveys the current state of the art in agentoriented software engineering, focusing on the area of coordinated multi-agent systems. In multi-agent systems, the interac...
130
click to vote
ETFA
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
132
click to vote
JSW
2008
15 years 2 months ago
2008
An estimation of change-proneness of parts of a software system is an active topic in the area of software engineering. Such estimates can be used to predict changes to different c...