Constructive Specifications for Compositional Units

DOI10.1007/11506676_13MaRDI QIDQ5458803zbMATH OpenOpenAlexFDO

Authors Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi

Publication date 24 April 2008

Published in Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2434/7964

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Compositionality for quantitative specifications
• Application of the composition principle to unity-like specifications
• Program Development in Computational Logic
• Semantic constructions for the specification of objects
• Junctive compositions of specifications in total and general correctness
• Constructing specification morphisms
• A compositional specification theory for component behaviours
• Foundations of compositional models: structural properties
• Compositional construction of approximate abstractions
• Composition of assumption-commitment specifications in a UNITY style

Cited in

(2)

• Composition of default specifications
• Program Development in Computational Logic

This page was built for publication: Constructive Specifications for Compositional Units

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