A reification calculus for model-oriented software specification

DOI10.1007/BF01888215zbMATH Open0697.68029MaRDI QIDQ911753

José Nuno Oliveira

Publication date: 1990

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

zbMATH Keywords

formal methodsalgebraic specificationsoftware engineeringtransformational design

Mathematics Subject Classification ID

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

Cites Work

• Prespecification in data refinement
• Final algebra semantics and data type extensions
• A Transformation System for Developing Recursive Programs
• Can programming be liberated from the von Neumann style?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

Related Items (3)

Algebraic specification of documents ⋮ Constraint-aware Schema Transformation ⋮ Strongly Typed Rewriting For Coupled Software Transformation

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