Rigorous Object-Oriented Methods (L'Objet RSTI Volume 9 n° 4/2003)

"Retrouvez la description détaillée du numéro sur RevuesOnline."""

Object-Oriented modeling, particularly the Unified Modeling Language (UML), has become widespread in earlier stages of development such as specification and design. UML is used to construct a model of various aspects of a system including its architecture, static structure and behaviour. All of the benefits of Object-Oriented technology for programming such as re-use, modularity and abstraction are also claimed for earlier stages. There is clear commercial benefit from this approach: system quality is increased by using modular component based techniques, component designs can be reused due to inheritance and polymorphism, system architectures can be designed for reuse, and there is increased scope for developing software product lines whereby many different products can be generated from a core system description by replacing and extending well-defined components. Object-Oriented implementation techniques are now sufficiently mature to be adopted by industries such as defence and aviation where safety issues and real-time issues are very important. In order to support these critical features, Object-Oriented methods must be supported by formal techniques that allow developers to reason about the properties of the system. As Object-Oriented spreads, there is an increased need for rigorous methods that guide the developer in the use of the supporting technology. Rigorous Object-Oriented Methods show how Object-Oriented formal techniques can be applied to software development.

"