Specifications are not (necessarily) executable
Software Engineering Journal
Specification case studies
Rapid evolutionary development: requirements, prototyping & software creation
Rapid evolutionary development: requirements, prototyping & software creation
Strategies for incorporating formal specifications in software development
Communications of the ACM
Mathematical Notation in Formal Specification: Too Difficult for the Masses?
IEEE Transactions on Software Engineering
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Experiences Using Lightweight Formal Methods for Requirements Modeling
IEEE Transactions on Software Engineering
Use of executable formal specifications in user validation
Software—Practice & Experience
Requirements traceability: Theory and practice
Annals of Software Engineering
Ten Commandments of Formal Methods
Computer
An Invitation to Formal Methods
Computer
IEEE Software
Seven More Myths of Formal Methods
IEEE Software
Applying Formal Specification in Industry
IEEE Software
Capture, Integration, and Analysis of Digital System Requirements with Conceptual Graphs
IEEE Transactions on Knowledge and Data Engineering
Requirements reformulation using formal specification: a case study
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Quality, cleanroom and formal methods
3-WoSQ Proceedings of the third workshop on Software quality
On the automation of fixing software bugs
Companion of the 30th international conference on Software engineering
Multi-objective coevolutionary automated software correction
Proceedings of the 14th annual conference on Genetic and evolutionary computation
Current challenges in automatic software repair
Software Quality Control
Co-evolutionary automatic programming for software development
Information Sciences: an International Journal
Hi-index | 0.00 |
While formal methods are gaining acceptance in the software industry, there is a need for practical guidelines for making the best use of formal specifications. The author provides a few such pragmatic tips for people involved in the industrial use of formal specifications. The 15 guidelines are split into two areas, dealing with process and content. The author also includes a full-page reference for literature available over the Web.