977 search results - page 14 / 196 » Formal methods integration in software engineering |
ICSM
1996
IEEE
15 years 3 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
124
click to vote
ICFCA
2005
Springer
15 years 5 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...
106
click to vote
FASE
2008
Springer
15 years 1 months ago
2008
Springer
If we model a family of software applications with a feature model and an architecture model, we are describing the same subject from different perspectives. Hence, we are running ...
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
90
Voted
AGTIVE
2003
Springer
15 years 4 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...