Statecharts: A visual formalism for complex systems
Science of Computer Programming
Proceedings of the 18th international conference on Software engineering
Formal description techniques—how formal and descriptive are they?
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Provably Correct Compiler Development and Implementation
CC '92 Proceedings of the 4th International Conference on Compiler Construction
Using Extended Event Traces to Describe Communication in Software Architectures
APSEC '97 Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science Conference
CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
Tool Supported Specification and Simulation of Distributed Systems
PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
From Requirements to Validated Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
| Hi-index | 0.00 |
We describe a software development process designed for an integration and usage of formal methods into practical software process models in a scalable way. Our process model is an extension of the V-model, and allows the specification of critical components and the verification of crucial development steps. For different development stages we suggest user-oriented description techniques, based on a common formal semantic. Furthermore we outline methods for the verification of critical development steps. We illustrate our process by developing a small example with some critical aspects.