Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems
Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction
Methods, Models and Tools for Fault Tolerance
An open extensible tool environment for event-b
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Management and object behavior of statecharts through statechart DNA
WSEAS Transactions on Information Science and Applications
Hi-index | 0.00 |
Formal methods approach to software construction can significantly increase the reliability and correctness of the resulting software. Formal methods users are given sophisticated languages and tools for constructing software models, but they often lack some systematic methodological measures to help. Formal design patterns can help formal methods users speed up the development process by re-using and incorporating some pre-defined proved and refined models, as design patterns do in object-oriented software. Some formal design patterns are presented and applied to the development of a washing machine controller model in Event-B that is a formal method for modeling and reasoning about complex discrete system.