UNIGE document Chapitre d'actes
previous document  unige:48310  next document
add to browser collection
Title

A Formal Developement and Validation Methodology for System Design

Author
Published in Banathy, B. Proceedings of the 5th International Conference on Information Systems Analysis and Synthesis - ISAS 1999. Orlando (United States) - 31 July - 3 August 1999 - Orlando: International Institute of Informatics and Systemics. 1999, p. 1-6
Abstract This paper presents first a formal development methodology that enables the validation of formal specifications as well as program codes wrt client's requirements. The methodology is based on the two languages framework: it advocates the joint use of a model-oriented specification and a logical language. Second, the paper describes development guidelines for system design within the proposed methodology. Guidelines, specific to each kind of system, can be defined. They enable the specifier to add progressively the complexity into the system design. Two development processes are proposed: the first one leads to a traditional client/server design; the second one enables to integrate fault-tolerance in the design. Both development processes have been applied on an example and produced a Java program.
Keywords Structuring complex concurrent systemsFormal developmentStepwiseRefinementDevelopment guidelinesSystem designJava
Full text
Structures
Research group Institute of Information Service Science (ISS)
Citation
(ISO format)
DI MARZO SERUGENDO, Giovanna. A Formal Developement and Validation Methodology for System Design. In: Banathy, B. (Ed.). Proceedings of the 5th International Conference on Information Systems Analysis and Synthesis - ISAS 1999. Orlando (United States). Orlando : International Institute of Informatics and Systemics, 1999. p. 1-6. https://archive-ouverte.unige.ch/unige:48310

302 hits

1175 downloads

Update

Deposited on : 2015-03-18

Export document
Format :
Citation style :