1689 search results - page 157 / 338 » Empirical Methodologies in Software Engineering |
142
click to vote
AOSD
2006
ACM
15 years 10 months ago
2006
ACM
Usually, aspects enhance a software product by being composed - or woven - into it. Here, on the other hand, we use aspects to support the software development process itself. The...
141
click to vote
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Cost, schedule and quality are highly correlated factors in software development. They basically form three sides of the same triangle. Beyond a certain point (the “Quality is F...
160
click to vote
SCESM
2006
ACM
15 years 10 months ago
2006
ACM
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
255
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
170
Voted
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Most agent systems today are closed and static. That is, one uses Agent-Oriented Software Engineering techniques to build agent systems in which the set of agents is specified ahe...