Domain-specific Semantics and Data Refinement of Object Models

DOI10.1016/j.entcs.2007.08.031zbMath1279.68184OpenAlexW2032251835MaRDI QIDQ2873615

James W. Welch, David Faitelson, Jim Davies

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.08.031

zbMATH Keywords

Z notationformal methodsdata refinementmodel-driven developmentautomatic programmingobject modelling

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Eiffel
• Simula 67

Cites Work

• rCOS: a refinement calculus of object systems
• From Predicates to Programs: The Semantics of a Method Language
• The B-Book
• Verification: Theory and Practice
• SIMULA: an ALGOL-based simulation language
• Unnamed Item
• Unnamed Item
• Unnamed Item