Add to ORKGAbstract. We propose a process model for the development of specifications based on the notions of multi-view state and of operators. A specification state consists of a UML view and a B expression of the same specification. Opera-tors model design decisions as the simultaneous transformation of UML and B descriptions. A specification development is a sequence of applications of oper-ators. We define a notion of coherence of a specification state which allows us to define formally a notion of correctness for operators. Thus, the development process guarantees that the specification can be safely verified and validated
The problem of writing a specification which accurately reflects the intent of the developer has lon...
In a model based software development process different kinds of modelling techniques are used for t...
Typical system specification consists of a number of models for different facets and aspects of the ...
We propose a process model for the development of specifications based on the notions of multi-view ...
We propose a process model for the development of formal and semi-formal specifications based on the...
Abstract. We present the notion of consistency relation in UML and B multi-view specifications. It i...
Rapport interne.This paper describes an approach to system development by the managed evolution of m...
10 pagesRapport techniqueThis paper discusses the simultaneous use of object-oriented and formal not...
Model-based development assumes the pervasive use of models along all software development phases. M...
International audienceIn an incremental specification development process, operations are used to mo...
This paper describes a model for supporting the process of specification construction. The model enc...
This paper describes a model for supporting the process of specification construction. The model enc...
The Unified Modelling Language (UML) is becoming the de facto industry standard notation for object-...
Modeling is one of the most crucial activities during all the phases in any software development lif...
Colloque avec actes et comité de lecture.This paper presents a systematic transformation of semi-for...
The problem of writing a specification which accurately reflects the intent of the developer has lon...
In a model based software development process different kinds of modelling techniques are used for t...
Typical system specification consists of a number of models for different facets and aspects of the ...
We propose a process model for the development of specifications based on the notions of multi-view ...
We propose a process model for the development of formal and semi-formal specifications based on the...
Abstract. We present the notion of consistency relation in UML and B multi-view specifications. It i...
Rapport interne.This paper describes an approach to system development by the managed evolution of m...
10 pagesRapport techniqueThis paper discusses the simultaneous use of object-oriented and formal not...
Model-based development assumes the pervasive use of models along all software development phases. M...
International audienceIn an incremental specification development process, operations are used to mo...
This paper describes a model for supporting the process of specification construction. The model enc...
This paper describes a model for supporting the process of specification construction. The model enc...
The Unified Modelling Language (UML) is becoming the de facto industry standard notation for object-...
Modeling is one of the most crucial activities during all the phases in any software development lif...
Colloque avec actes et comité de lecture.This paper presents a systematic transformation of semi-for...
The problem of writing a specification which accurately reflects the intent of the developer has lon...
In a model based software development process different kinds of modelling techniques are used for t...
Typical system specification consists of a number of models for different facets and aspects of the ...