Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Annals of Mathematics and Artificial Intelligence
Extending Development Graphs with Hiding
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Towards an Evolutionary Formal Software-Development Using CASL
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Heterogeneous Development Graphs and Heterogeneous Borrowing
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
A Case Study in the Mechanical Verification of Fault Tolerance
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference
KIV 3.0 for Provably Correct Systems
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
An ML Editor Based on Proofs-as-Programs
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Management of Change in Structured Verification
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Integrating HOL-CASL into the Development Graph Manager MAYA
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Quality, cleanroom and formal methods
3-WoSQ Proceedings of the third workshop on Software quality
Towards the automated verification of semi-structured documents
Data & Knowledge Engineering
Hi-index | 0.00 |
Although formal methods have been successfully appliedin various industrial applications, their use in software developmentis still restricted to individual case studies. Toovercome this situation we aim at a methodology for anevolutionary formal software development which allows fora stepwise and incremental development process along theline of rapid prototyping. The approach is based on work ona formal management of change for formal developmentswhich is able to maintain proofs when changing specifications.