A modular framework for the integration of heterogeneous notations and tools

MaRDI QIDQ4494247zbMATH OpenFDO

Authors Robert Büssow, Wolfgang Grieskamp

Publication date 9 July 2001

zbMATH Keywords

ESPRESSZ specification formalism

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Heterogeneous notations for pure formal method integration
• Semantic integration of heterogeneous software specifications.
• An Integrated Framework for Scenarios and State Machines
• Integrated Formal Methods
• Specification and refinement using a heterogeneous notation for concurrency and communication

Cited in

(3)

• Heterogeneous notations for pure formal method integration
• Tool integration in the UniForM-Workbench
• An Integrated Framework for Scenarios and State Machines

This page was built for publication: A modular framework for the integration of heterogeneous notations and tools

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