Communicating sequential processes
Communicating sequential processes
Programming from specifications
Programming from specifications
A Case-Study in Timed Refinement: A Mine Pump
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
The Object-Z specification language
The Object-Z specification language
IEEE Transactions on Software Engineering
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
Refinement in Z and object-Z: foundations and advanced applications
Refinement in Z and object-Z: foundations and advanced applications
Communication and Concurrency
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Transferring Formal Techniques to Industry
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A Set-Theoretic Model for Real-Time Specification and Reasoning
MPC '98 Proceedings of the Mathematics of Program Construction
CSP-OZ-DC: a combination of specification techniques for processes, data and time
Nordic Journal of Computing
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
Defining Differentiation and Integration in Z
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
A formal framework for modelling and analysing mobile systems
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Architectural Design in Object-Z
ASWEC '04 Proceedings of the 2004 Australian Software Engineering Conference
Relating "-calculus to Object-Z
ICECCS '04 Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Data Refinement: Model-Oriented Proof Methods and their Comparison
Data Refinement: Model-Oriented Proof Methods and their Comparison
A methodology for model-checking ad-hoc networks
SPIN'03 Proceedings of the 10th international conference on Model checking software
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Hi-index | 0.00 |
Formal methods have proven beneficial in the industrial development of software-intensive systems; not in replacing traditional engineering methods, but in complementing them. They provide means of checking for ambiguities and inconsistencies in requirements, as well as verifying safety and liveness properties, and the correctness of designs. As complexity increases, the formal methods employed need to deal with a number of concerns. Primarily they need to be able to model a diverse range of software and hardware components. Ideally, they should also be capable of supporting requirement changes allowing `ideal' functional specifications to be transformed to reflect actual implementations. Additionally, they should support the introduction of architectural design into functional specifications; including designs involving complex dynamic architectures. This paper proposes one approach to deal with these concerns. The approach builds on and combines three separate areas of research on integrating formal methods, formal requirements development and formal design derivation. Developing more general theories and techniques that can be applied across a wide range of formal notations remains a significant research challenge.