scientific article; zbMATH DE number 2086948

MaRDI QIDQ4737556zbMATH OpenFDO

Authors Hung Ledang, Jeanine Souquieres

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2335/23350109.htm

zbMATH Keywords

activityeventUMLB methodstate-chartB abstract machineB operationclass operation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1949630
• scientific article; zbMATH DE number 2006503
• scientific article; zbMATH DE number 2016088
• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
• An outline of PVS semantics for UML statecharts

Cited in

(8)

• Modelling the embedded control system using iUML-B pattern state machine
• scientific article; zbMATH DE number 1949630 (Why is no real title available?)
• scientific article; zbMATH DE number 2080018 (Why is no real title available?)
• scientific article; zbMATH DE number 2090158 (Why is no real title available?)
• scientific article; zbMATH DE number 2086949 (Why is no real title available?)
• scientific article; zbMATH DE number 2079825 (Why is no real title available?)
• Object oriented concepts identification from formal \(B\) specifications
• ZB 2005: Formal Specification and Development in Z and B

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4737556)