A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Strategies for real-time system specification
Strategies for real-time system specification
The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented development: the fusion method
Object-oriented development: the fusion method
ACM Transactions on Programming Languages and Systems (TOPLAS)
The UNIX Programming Environment
The UNIX Programming Environment
Validating Requirements: The Evolutionary Approach
COMPSAC '98 Proceedings of the 22nd International Computer Software and Applications Conference
Towards dynamic partitioning of reactive system behavior: a train controller case study
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Hi-index | 0.00 |
In this chapter, we emphasize a constructive method for managing the complexity of large distributed system. The method, so called "Evolutionary" one, is based on well known and very simple principles. Designing a complex distributed system needs a deep understanding of the Requirements Document. Thus our method is mainly a methodology for building trusted system requirement document. It is based on mixing both semi formal (UML based) and formal (Z) notations, and an incremental process to which Validation and Verification stages are applied. Of course the "Evolutionary method" is restricted to the capabilities offered by the 2 used notations. In other words we suggest a methodology that warrantees the formal static specification of a distributed system, and that needs some complementary tools/techniques warranting the formal dynamic specification.