16725 search results - page 603 / 3345 » Engineering Software Correctness |
302
click to vote
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
Data modeling is an essential part of the software development process, and together with application modeling forms the core of the model-driven approach to software engineering....
199
click to vote
BERTINORO
2005
Springer
16 years 22 days ago
2005
Springer
In this paper, we envision a world where a software engineer could take an existing software system, specify, for a set of properties of interest, an objective, conditions for chan...
173
click to vote
IWPC
2006
IEEE
16 years 1 months ago
2006
IEEE
A common and difficult maintenance activity is the integration of existing software components or tools into a consistent and interoperable whole. One area in which this has prove...