The old technique of "abstraction and refinement" makes it possible to understand complex systems by describing them in successive levels of detail. On the other hand the more modern technique of "generalization and specialization" (or Inheritance) facilitates the construction of systems by enabling reuse of specifications. Both techniques enable developers to specify a taxonomic relationship between a more general element and a more specific one
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is al...
ABSTRACTION AND REFINEMENT techniques are the cornerstone of design methodologies. Abstraction is th...
UML + Z is a framework for building, analysing and refining models of software systems based on the ...
In this paper we analyze the concept of Generalization in the UML metamodel. We revise the kinds of ...
Abstract: In this paper we study a formal concept of redesign for object-oriented specifications. Th...
The UML contains the concepts of generalization and realization between two modelling elements inten...
Abstract. In this article we present a strategy to formalize frequently occurring forms of refinemen...
The refinement technique allows us to capture the relationship between specification and implementat...
The Unified Modeling Language (UML) consists of a set of diagrams that describe a system under devel...
The paper concerns the concept of refinement as a commonly used design practice in the software deve...
RapportSpecifying complex systems is a difficult task which cannot be done in one step. Step-by-step...
Model Refinement is a relationship that relates two elements representing the same concept at differ...
UML 2 has improved the expressiveness of the language with respect to associations in several manner...
Model Refinement is a dependency relationship that relates two elements that represent the same conc...
z Refinement is the process of creating the RTL description from a functional description z This is ...
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is al...
ABSTRACTION AND REFINEMENT techniques are the cornerstone of design methodologies. Abstraction is th...
UML + Z is a framework for building, analysing and refining models of software systems based on the ...
In this paper we analyze the concept of Generalization in the UML metamodel. We revise the kinds of ...
Abstract: In this paper we study a formal concept of redesign for object-oriented specifications. Th...
The UML contains the concepts of generalization and realization between two modelling elements inten...
Abstract. In this article we present a strategy to formalize frequently occurring forms of refinemen...
The refinement technique allows us to capture the relationship between specification and implementat...
The Unified Modeling Language (UML) consists of a set of diagrams that describe a system under devel...
The paper concerns the concept of refinement as a commonly used design practice in the software deve...
RapportSpecifying complex systems is a difficult task which cannot be done in one step. Step-by-step...
Model Refinement is a relationship that relates two elements representing the same concept at differ...
UML 2 has improved the expressiveness of the language with respect to associations in several manner...
Model Refinement is a dependency relationship that relates two elements that represent the same conc...
z Refinement is the process of creating the RTL description from a functional description z This is ...
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is al...
ABSTRACTION AND REFINEMENT techniques are the cornerstone of design methodologies. Abstraction is th...
UML + Z is a framework for building, analysing and refining models of software systems based on the ...