MY Said, M Butler, C Snook - Software & Systems Modeling, 2015 - Springer
Abstract UML-B is a 'UML-like'graphical front-end for Event-B that provides support for object- oriented and state machine modelling concepts, which are not available in Event-B. In …
R Banach, M Butler - International Colloquium on Theoretical Aspects of …, 2013 - Springer
A case study on automotive cruise control originally done in (conventional, discrete) Event-B is reexamined in Hybrid Event-B (an extension of Event-B that includes provision for …
C Snook, M Butler, A Edmunds, I Johnson - 2004 - eprints.soton.ac.uk
The reuse of reliable, domain-specific software components is a strategy commonly used in the avionics industry to develop safety critical airborne systems. One method of achieving …
C Snook, M Waldén - International Conference of B Users, 2007 - Springer
While refinement gives a formal underpinning to the development of dependable control systems, such models are difficult to communicate and reason about in a non-formal sense …
UML-B is a UML-like graphical front end for Event-B that provides support for object-oriented modelling concepts. In particular, UML-B supports class diagrams and state machines …
C Snook, M Poppleton, I Johnson - Information and Software Technology, 2008 - Elsevier
We consider the failure detection and management function for engine control systems as an application domain where product line engineering is indicated. The need to develop a …
M Najafi, H Haghighi, T Zohdi Nasab - Scientia Iranica, 2015 - scientiairanica.sharif.edu
Due to the popularity of object-oriented programming approaches, there is a growing interest in utilizing object-oriented concepts, such as encapsulation and reuse, when …
Object-Z is an extension of the Z notation which facilitates specification of large, complex software by defining a system as a collection of independent classes. A number of …