Modular formal specification of data and behaviour

MaRDI QIDQ4494241zbMATH OpenFDO

Authors Jaco van de Pol, Jozef Hooman, Edwin D. de Jong

Publication date 10 August 2000

zbMATH Keywords

embedded systemsformal specification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Systems specification by basic protocols
• scientific article; zbMATH DE number 194792
• scientific article; zbMATH DE number 5044784
• Temporal theories as modularisation units for concurrent system specification

Cited in

(5)

• Data machines and standards, or the functional specification of information systems
• A modular approach to the specification and validation of an electrical flight control system
• Using abstraction in modular verification of synchronous adaptive systems
• Formal Properties of Modularisation
• scientific article; zbMATH DE number 2080751 (Why is no real title available?)

Describes a project that uses

Uses Software

• PVS

This page was built for publication: Modular formal specification of data and behaviour

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