A relational model for object-oriented designs

DOI10.1007/978-3-540-30477-7_28MaRDI QIDQ5464055zbMATH OpenOpenAlexFDO

Authors He Jifeng, Zhiming Liu, Xiaoshan Li, Shengchao Qin

Publication date 17 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b102225

zbMATH Keywords

Object OrientationRefinementSemanticsUTP

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• rCOS: a refinement calculus of object systems
• Object-Orientation in the UTP
• Object-oriented programming
• A graph-based semantics for object-oriented programming constructs
• scientific article; zbMATH DE number 1231588

Cited in

(12)

• Object-oriented programming
• MODELING OCCURRENCES OF OBJECTS IN RELATIONS
• Integrating a Program Design Calculus and a Subset of UML
• Entity-relationship and object-oriented data modeling — An experimental comparison of design quality
• scientific article; zbMATH DE number 1569125 (Why is no real title available?)
• Dependencies for an extended object-oriented database model
• scientific article; zbMATH DE number 5593358 (Why is no real title available?)
• Behavioral interpretation of the object-oriented paradigm for interconnected dynamic system modeling
• Object-Orientation in the UTP
• On the role of memory in object-based and object-oriented languages
• Representation of object-oriented data models
• rCOS: a refinement calculus of object systems

This page was built for publication: A relational model for object-oriented designs

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