A reification calculus for model-oriented software specification

DOI10.1007/BF01888215MaRDI QIDQ911753zbMATHFDO

Authors J. N. Oliveira

Publication date 1990

Published in Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

formal methodssoftware engineeringalgebraic specificationtransformational design

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• On the Specification and Verification of Model Transformations
• scientific article; zbMATH DE number 1973216
• Refinement of Higher-Order Logic Programs
• A model-based development approach for model transformations
• A calculus of refinements for program derivations

Cites work

• scientific article; zbMATH DE number 3936465 (Why is no real title available?)
• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 3660783 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 52898 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• A Transformation System for Developing Recursive Programs
• Can programming be liberated from the von Neumann style?
• Final algebra semantics and data type extensions
• Prespecification in data refinement

Cited in

(7)

• Strongly typed rewriting for coupled software transformation
• Constraint-aware schema transformation
• Meta-modelling for formal software development
• An NSF proposal
• Algebraic specification of documents
• Domain-specific semantics and data refinement of object models
• FM 2005: Formal Methods

This page was built for publication: A reification calculus for model-oriented software specification

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