Towards a Compositional Interpretation of Object Diagrams Conferences

authors

• Bicarregui, JC
• Lano, KC
• Maibaum, Thomas

status

• published 

publication date

• 1997

has subject area

• 0806 Information Systems (FoR)

published in

• IFIP Advances in Information and Communication Technology  Journal

presented at event

• IFIP TC2 WG2 1 International Workshop on Algorithmic Languages and Calculi  Conference

keywords

• Computer Science
• Computer Science, Software Engineering
• Mathematics
• Mathematics, Applied
• OO
• Physical Sciences
• Science & Technology
• Syntropy
• Technology
• action logic
• encapsulation
• formal methods
• modular specification object-oriented
• object calculus
• temporal logic

Digital Object Identifier (DOI)

• 10.1007/978-0-387-35264-0_8

International Standard Book Number (ISBN) 10

• 0-412-82050-1

International Standard Book Number (ISBN) 13

• 9781504128773

start page

• 187

end page

• 211

volume

• 95