Applications of Formal Methods
Applications of Formal Methods
IEEE Software
Formal Methods Technology Transfer: Impediments and Innovation (Abstract)
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Seven More Myths of Formal Methods
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
A formal specifications maturity model
Communications of the ACM
Crossroads - Special issue on human computer interaction
A validation framework for a maturity measurement model for safety-critical software systems
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Using symbolic execution for verifying safety-critical systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Formal Methods Application: An Empirical Tale of Software Development
IEEE Transactions on Software Engineering
Evaluating the Contributions of a Structured Software Development and Maintenance Methodology
Information Technology and Management
Applying Formal Specification in Industry
IEEE Software
The use of industrial-strength formal methods
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Attempto Controlled English - Not Just Another Logic Specification Language
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Visualization of Formal Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
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
Confessions of a formal methodist
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
An extension of COCOMO II for the B-Method
Proceedings of the 2006 international workshop on Economics driven software engineering research
The B Method And The Component-Based Approach
Journal of Integrated Design & Process Science
VDMTools: advances in support for formal modeling in VDM
ACM SIGPLAN Notices
Automated Software Engineering
Semantics transformation of NFA to Z notation by constructing union of regular languages
ACS'08 Proceedings of the 8th conference on Applied computer scince
Motivation for a new formal framework for agent-oriented software engineering
International Journal of Agent-Oriented Software Engineering
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Challenges in the successful transfer of formal methods technology into industrial applications
Information and Software Technology
Lessons learned from rigorous system software development
Information and Software Technology
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Formal methods for web services: a taxonomic approach
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Formal specification of wireless and pervasive healthcare applications
ACM Transactions on Embedded Computing Systems (TECS)
Ten commandments ten years on: lessons for ASM, B, Z and VSR-net
Rigorous Methods for Software Construction and Analysis
A validation system for object oriented specifications of information systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Lessons learnt from the adoption of formal model-based development
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Formal specifications better than function points for code sizing
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 4.12 |
The formal methods community is in general very good at undertaking research into the mathematical aspects of formal methods, but not so good at promulgating the use of formal methods in an engineering environment and at an industrial scale. Technology transfer is an extremely important part of the overall effort necessary in the acceptance of formal techniques. This paper explores some of the more informal aspects of applying formal methods and presents some maxims with associated discussion that may help in the application of formal methods in an industrial setting.