43 search results - page 1 / 9 » A Matching Approach for Object-Oriented Formal Specification... |
JOT
2008
13 years 5 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...
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...
ASWEC
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
UML
2005
Springer
13 years 10 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
ENTCS
2008
13 years 5 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...