56 search results - page 1 / 12 » Implementing Object-Z with Perfect Developer |
JOT
2006
13 years 11 months ago
2006
ZUM
1992
Springer
14 years 3 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
IFM
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
CASCON
1996
14 years 8 days ago
1996
Software re-engineering is one of the solutions advocated for the problems that are encountered during maintenance. The three major phases of a re-engineering process are (i) reve...
JOT
2008
13 years 11 months ago
2008
Software merging is needed at different stages of software development to combine the artifacts created or modified by the parallel work of the different developers involved in th...