A reification calculus for model-oriented software specification

DOI10.1007/BF01888215zbMATH Open0697.68029MaRDI QIDQ911753FDOQ911753

J. N. Oliveira

Publication date: 1990

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Prespecification in data refinement
• Title not available (Why is that?)
• A Transformation System for Developing Recursive Programs
• Title not available (Why is that?)
• Can programming be liberated from the von Neumann style?
• Title not available (Why is that?)
• Final algebra semantics and data type extensions

Cited In (6)

• Algebraic specification of documents
• Strongly typed rewriting for coupled software transformation
• FM 2005: Formal Methods
• Meta-modelling for formal software development
• An NSF proposal
• Constraint-aware Schema Transformation

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)