Proceedings chapter
Open access

A Formal Developement and Validation Methodology for System Design

Presented at Orlando (United States), 31 July - 3 August 1999
PublisherOrlando : International Institute of Informatics and Systemics
Publication date1999

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.

  • Structuring complex concurrent systems
  • Formal development
  • Stepwise
  • Refinement
  • Development guidelines
  • System design
  • Java
Citation (ISO format)
DI MARZO SERUGENDO, Giovanna. A Formal Developement and Validation Methodology for System Design. In: 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.
Main files (1)
Proceedings chapter (Accepted version)
  • PID : unige:48310

Technical informations

Creation03/17/2015 7:07:00 PM
First validation03/17/2015 7:07:00 PM
Update time03/14/2023 11:02:39 PM
Status update03/14/2023 11:02:39 PM
Last indexation05/02/2024 4:03:47 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack