Communicating sequential processes
Communicating sequential processes
Systematic software development using VDM
Systematic software development using VDM
Strategies for real-time system specification
Strategies for real-time system specification
Communication and concurrency
VVSL: a language for structured VDM specifications
Formal Aspects of Computing
The Z notation: a reference manual
The Z notation: a reference manual
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software Engineering Economics
Software Engineering Economics
A Case for Structured Analysis/Formal Design
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Crossroads - Special issue on human computer interaction
Experiences Using Lightweight Formal Methods for Requirements Modeling
IEEE Transactions on Software Engineering
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Applying the SCR requirements method to a weapons control panel: an experience report
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Formal Verification of Dynamic Properties in an Aerospace Application
Formal Methods in System Design
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Support for teaching formal methods
ACM SIGCSE Bulletin
Support for teaching formal methods
Working group reports from ITiCSE on Innovation and technology in computer science education
Mapping software: Are we nearing standardization?
Annals of Software Engineering
Computer
Is Proof More Cost-Effective Than Testing?
IEEE Transactions on Software Engineering
The use of industrial-strength formal methods
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Formal Modeling in a Commercial Setting: A Case Study
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
The Value of Verification: Positive Experience of Industrial Proof
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Formal modeling in a commercial setting: a case study
Journal of Systems and Software
Applying SOFL to Develop a University Information System
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
ROAD/EE: A Prototyping Environment for Object-Oriented Specifications
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
What Does Industry Need From Formal Specification Techniques?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
An approach to the formal specification of lingware
Natural Language Engineering
Integrated Requirements Engineering: A Tutorial
IEEE Software
An Experimental Investigation of Formality in UML-Based Development
IEEE Transactions on Software Engineering
Applying domain engineering using RAISE into a particular banking domain
ACM SIGSOFT Software Engineering Notes
REX, the rule and event eXplorer
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
A direct path to dependable software
Communications of the ACM - A Direct Path to Dependable Software
A comparative evaluation of the Z, CSP, RSL, and VDM languages
ACM SIGSOFT Software Engineering Notes
Investigating a new formal model for a library system using B method
ACM SIGSOFT Software Engineering Notes
Integrating model checking and HCI tools to help designers verify user interface properties
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Investigating a new formal model for autonomous virtual organisation using RAISE method
International Journal of Networking and Virtual Organisations
The user context and formal specification in interactive system design
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Generating formal specifications from CASE repositories
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Redevelopment of an industrial case study using event-B and Rodin
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Recent industrial applications of VDM in Japan
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Safety demonstration and software development
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
A comparative study of two formal specification languages: Z-notation & B-method
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
| Hi-index | 0.01 |
Can formal methods be a part of large-system development? The project teams at Praxis used a combination of formal methods to help specify, design, and verify CDIS, a large information-display system within an ATC-support system. Their project suggests that it can be practicable and beneficial.