Add to ORKG10 pagesRapport techniqueThis paper discusses the simultaneous use of object-oriented and formal notations to develop software specification. We propose the notions of multi-view specifications and of development operators to overcome one of the major difficulties: maintaining consistency between views during development. Operators enable to capture developments by suc- cessive approximations. We present different operators, one being fully described. The use of the framework is illustrated by some steps of the development of the generalized railroad crossing case study
Abstract. Using graphical description techniques for formal system develop-ment has become a common ...
https://doi.org/10.1109/CMPSAC.1988.17211 Paper presented at COMPSAC 88, The Twelfth Annual Interna...
The traditional waterfall software life cycle model has several weaknesses. One problem is that a wo...
Abstract. We propose a process model for the development of specifications based on the notions of m...
Abstract. We present the notion of consistency relation in UML and B multi-view specifications. It i...
We propose a process model for the development of formal and semi-formal specifications based on the...
Rapport interne.This paper describes an approach to system development by the managed evolution of m...
Across a range of software development activities, there is typically no single best way to view the...
Abstract. There have been a number of proposals to split the specification of large and complex syst...
AbstractWe show how formal specifications can be integrated into one of the current pragmatic object...
. Consistency is a major issue that must be properly addressed when considering multiple view archit...
The paper discusses how formal methods, and, in particular, object oriented specification languages ...
The increasing complexity of software systems makes their development complicated and error prone. A...
During the last decade, object orientation has been advanced as a promising paradigm for software co...
AbstractThis paper introduces an approach to software development in which a series of working imple...
Abstract. Using graphical description techniques for formal system develop-ment has become a common ...
https://doi.org/10.1109/CMPSAC.1988.17211 Paper presented at COMPSAC 88, The Twelfth Annual Interna...
The traditional waterfall software life cycle model has several weaknesses. One problem is that a wo...
Abstract. We propose a process model for the development of specifications based on the notions of m...
Abstract. We present the notion of consistency relation in UML and B multi-view specifications. It i...
We propose a process model for the development of formal and semi-formal specifications based on the...
Rapport interne.This paper describes an approach to system development by the managed evolution of m...
Across a range of software development activities, there is typically no single best way to view the...
Abstract. There have been a number of proposals to split the specification of large and complex syst...
AbstractWe show how formal specifications can be integrated into one of the current pragmatic object...
. Consistency is a major issue that must be properly addressed when considering multiple view archit...
The paper discusses how formal methods, and, in particular, object oriented specification languages ...
The increasing complexity of software systems makes their development complicated and error prone. A...
During the last decade, object orientation has been advanced as a promising paradigm for software co...
AbstractThis paper introduces an approach to software development in which a series of working imple...
Abstract. Using graphical description techniques for formal system develop-ment has become a common ...
https://doi.org/10.1109/CMPSAC.1988.17211 Paper presented at COMPSAC 88, The Twelfth Annual Interna...
The traditional waterfall software life cycle model has several weaknesses. One problem is that a wo...