DOIAbstract
AbstractThis paper describes strategies or 'patterns' for the refinement of UML specifications into executable implementations, using a semantically precise subset, UML-RSDS, of UML
AbstractThis paper describes strategies or 'patterns' for the refinement of UML specifications into executable implementations, using a semantically precise subset, UML-RSDS, of UML
UML-B is a graphical formal modelling notation which is based on UML and relies on Event-B and its v...
Early phases of software development are known to be problematic, difficult to manage and errors occ...
AbstractRefactoring is an important software development process involving the restructuring of a mo...
AbstractThis paper describes strategies or 'patterns' for the refinement of UML specifications into ...
Abstract. In this article we present a strategy to formalize frequently occurring forms of refinemen...
AbstractIn a UML model, different aspects of a system are covered by different types of diagrams and...
The refinement technique allows us to capture the relationship between specification and implementat...
AbstractWe discuss the promises and problems of UML-based development. We then suggest a framework i...
The emergence of the UML as a de-facto standard for object-oriented modelling has been mirrored by t...
Specifying complex systems is a difficult task which cannot be done in one step. In the framework of...
AbstractWe propose refinement laws for the top level design elements of Real Time UML (UML-RT): clas...
AbstractUML is a widespread language used in both industry and academia, despite the fact that its s...
Design patterns are traditionally outlined in an informal manner. If they could be formalised, we co...
We present in this work an outline of an ongoing research line in the framework of the Software Engi...
Constraints add to the semantics to UML models in the form of statements which are expected to hold ...
UML-B is a graphical formal modelling notation which is based on UML and relies on Event-B and its v...
Early phases of software development are known to be problematic, difficult to manage and errors occ...
AbstractRefactoring is an important software development process involving the restructuring of a mo...
AbstractThis paper describes strategies or 'patterns' for the refinement of UML specifications into ...
Abstract. In this article we present a strategy to formalize frequently occurring forms of refinemen...
AbstractIn a UML model, different aspects of a system are covered by different types of diagrams and...
The refinement technique allows us to capture the relationship between specification and implementat...
AbstractWe discuss the promises and problems of UML-based development. We then suggest a framework i...
The emergence of the UML as a de-facto standard for object-oriented modelling has been mirrored by t...
Specifying complex systems is a difficult task which cannot be done in one step. In the framework of...
AbstractWe propose refinement laws for the top level design elements of Real Time UML (UML-RT): clas...
AbstractUML is a widespread language used in both industry and academia, despite the fact that its s...
Design patterns are traditionally outlined in an informal manner. If they could be formalised, we co...
We present in this work an outline of an ongoing research line in the framework of the Software Engi...
Constraints add to the semantics to UML models in the form of statements which are expected to hold ...
UML-B is a graphical formal modelling notation which is based on UML and relies on Event-B and its v...
Early phases of software development are known to be problematic, difficult to manage and errors occ...
AbstractRefactoring is an important software development process involving the restructuring of a mo...
Add to ORKG