37 search results - page 1 / 8 » On Differencing Object-Oriented Formal Specifications |
JOT
2010
13 years 3 months ago
2010
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...
DEXA
1997
Springer
13 years 8 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
FM
1999
Springer
13 years 9 months ago
1999
Springer
JOT
2008
13 years 4 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...
FMSD
2007
13 years 4 months ago
2007
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...