15777 search results - page 528 / 3156 » The Reformulation-Optimization Software Engine |
134
click to vote
WCRE
2006
IEEE
15 years 11 months ago
2006
IEEE
In many areas of software engineering, empirical studies are playing an increasingly important role. This stems from the fact that software technologies are often based on heurist...
136
click to vote
WER
2004
Springer
15 years 10 months ago
2004
Springer
Systems development methodologies continue to be a central area of research in software engineering. As the nature of applications and systems usage move increasingly towards open ...
133
Voted
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
Challenges in the engineering of self-adaptive software have been recently discussed and summarized in a seminal research road map. Following it, we focus on requirements engineer...
179
click to vote
ICSEA
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
169
Voted
ICFCA
2005
Springer
15 years 10 months ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...