Domain-specific semantics and data refinement of object models

DOI10.1016/J.ENTCS.2007.08.031MaRDI QIDQ2873615zbMATH OpenOpenAlexFDO

Authors Jim Davies, David Faitelson, James Welch

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

formal methodsdata refinementmodel-driven developmentautomatic programmingZ notationobject modelling

Mathematics Subject Classification ID

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

Recommendations

• A model-based development approach for model transformations
• scientific article; zbMATH DE number 1569125
• A formal support system for the object oriented analysis
• A reification calculus for model-oriented software specification
• From predicates to programs: the semantics of a method language

Cites work

• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• scientific article; zbMATH DE number 1409638 (Why is no real title available?)
• A logic of object-oriented programs
• From predicates to programs: the semantics of a method language
• SIMULA: an ALGOL-based simulation language
• The B-Book
• rCOS: a refinement calculus of object systems

Cited in

(6)

• A domain model characterising strong normalisation
• scientific article; zbMATH DE number 2089377 (Why is no real title available?)
• Domain-specific transition systems and their application to a formal definition of a model programming language
• Formalizing and testing the consistency of DSL transformations
• Re-grouping information in a domain-theoretic data model
• From predicates to programs: the semantics of a method language

Describes a project that uses

Uses Software

• Simula 67
• Eiffel

This page was built for publication: Domain-specific semantics and data refinement of object models

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