A Formal Developement and Validation Methodology for System Design
ContributorsDi Marzo Serugendo, Giovanna
Published inProceedings of the 5th International Conference on Information Systems Analysis and Synthesis - ISAS 1999, Editors Banathy, B., p. 1-6
Presented at Orlando (United States), 31 July - 3 August 1999
PublisherOrlando : International Institute of Informatics and Systemics
Publication date1999
Abstract
Keywords
- 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)
Identifiers
- PID : unige:48310
Commercial URLhttp://cui.unige.ch/~dimarzo/papers/isas99.pdf