1689 search results - page 157 / 338 » Empirical Methodologies in Software Engineering |
120
click to vote
AOSD
2006
ACM
15 years 8 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...
114
click to vote
ICSE
2007
IEEE-ACM
15 years 8 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...
134
click to vote
SCESM
2006
ACM
15 years 7 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...
225
click to vote
POPL
2007
ACM
16 years 2 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...
144
click to vote
ATAL
2003
Springer
15 years 7 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...