scientific article; zbMATH DE number 1956498

MaRDI QIDQ4417843zbMATH OpenFDO

Authors Christian Attiogbé, Pascal Poizat, Gwen Salaün

Publication date 30 July 2003

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

zbMATH Keywords

algebraic specificationsBformal methods integrationstate diagramsZ

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Statecharts: a visual formalism for complex systems
• A conceptual and formal framework for the integration of data type and process modeling techniques
• scientific article; zbMATH DE number 2086759
• scientific article; zbMATH DE number 1860662
• scientific article; zbMATH DE number 1951193

Cited in

(1)

• A conceptual and formal framework for the integration of data type and process modeling techniques

Describes a project that uses

Uses Software

• LARCH
• CASL
• vUML
• ELAN

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 Q4417843)