Abstract programming and program transformation—an approach to reusing programs
Software reusability: vol. 1, concepts and models
Specifications are not (necessarily) executable
Software Engineering Journal
Software safety in embedded computer systems
Communications of the ACM
Specifications are (preferably) executable
Software Engineering Journal
Software development: two approaches to animation of Z specifications using Prolog
Software Engineering Journal
Towards more formalism in software engineering education
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Tool support for formal methods
ICSE '91 Proceedings of the 13th international conference on Software engineering
Concurrent Systems: Formal Development in CSP
Concurrent Systems: Formal Development in CSP
Software Prototyping, Formal Methods, and VDM
Software Prototyping, Formal Methods, and VDM
Ten Commandments of Formal Methods
Computer
IEEE Software
Seven More Myths of Formal Methods
IEEE Software
Formal Specifications as Reusable Frameworks
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Selling Formal Methods to Industry
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Understanding and exploring formal specifications
Annals of Software Engineering - Special issue on software engineering education
Confessions of a formal methodist
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
Hi-index | 0.00 |
The primary objective of this article is to discuss a number of challenges (presented in terms of 'guidelines') that must be addressed in a pragmatic manner in order to transfer formal methods technology into the actual workplace and to ensure that formal methods are actually used on an industrial scale.