A reuse-oriented framework for hierarchical specification

DOI10.1007/3-540-45499-3_31MaRDI QIDQ2767193zbMATH OpenFDO

Authors Sophie Coudert, Pascale Le Gall

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45499-3_31

zbMATH Keywords

formal structured specificationlanguage theorymonoidproof systemreusestructured inferencetyped equational logic

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Hierarchical heterogeneous specifications
• scientific article; zbMATH DE number 860045
• Reuse of specification patterns with the B method
• Behavioural specification for hierarchical object composition
• Behavioural specification for hierarchical object composition

Cited in

(4)

• Reusing specifications through refinement levels
• Reuse of specification patterns with the B method
• Hierarchical heterogeneous specifications
• Behavioural specification for hierarchical object composition

This page was built for publication: A reuse-oriented framework for hierarchical specification

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