From a B Specification to UML StateChart Diagrams

B is a formal method (and a specification language) which enables the automatic generation of an executable code through a succession of refinements stemming from an abstract specification. The industrial tools provide support for all the development process (type-checking facilities, automatic and...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Hammad, Ahmed, Tatibouët, Bruno, Voisinet, Jean-Christophe, Weiping, Wu
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Black Ring Composite State Computer science control theory systems Exact sciences and technology Generalize Substitution Label Transition System Language theory and syntactical analysis State Machine Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!