The industrial use of formal methods
Microprocessors & Microsystems - Special issue on safety-critical systems
How effective are software engineering methods?
Journal of Systems and Software
Selected writings on computing: a personal perspective
Selected writings on computing: a personal perspective
Computer Systems Development: History Organization and Implementation
Computer Systems Development: History Organization and Implementation
IEEE Software
A Theorem Prover for a Computational Logic
Proceedings of the 10th International Conference on Automated Deduction
Use of Formal Ontologies to Support Error Checking in Specifications
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Meta-knowledge in systems design: panacea … or undelivered promise?
The Knowledge Engineering Review
Hi-index | 0.00 |
Despite significant and impressive technical progress with formal methods in computer software development and hardware design, our research shows that there are major structural issues to be addressed if formal methods are to be exploited in a broad industry base in the near future. As well as a variety of particular inhibiting factors, there are deep structural problems with the formal methods market place. It is typically technology-led rather than application-led, and restricted by the organisational requirements for successful formal methods use. The broad recommendations, and the specific activities proposed for a UK strategic programme will, we contend, contribute to the identification and development of a market structure which would help create a "virtuous circle" of interacting. This will naturally stimulate activities which will overcome many of the shortcomings and inhibiting factors currently observed.