A compositional trace logic for behavioural interface specifications

MaRDI QIDQ3370736zbMATH OpenFDO

Authors Michael Kyas, Frank S. de Boer, Willem-Paul de Roever

Publication date 8 February 2006

zbMATH Keywords

interface invariantsobject creationprogram specification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An abstract account of composition
• Behavioral program logic
• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 2013588
• A compositional specification theory for component behaviours

Cited in

(3)

• Trace Semantics for IPDL
• Revisiting Semantics of Interactions for Trace Validity Analysis
• A Bibliography of Willem-Paul de Roever

Describes a project that uses

Uses Software

• PVS

This page was built for publication: A compositional trace logic for behavioural interface specifications

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