A Theory of Object-Oriented Design

Amnon H. Eden ()
Additional contact information
Amnon H. Eden: Center for Inquiry

Information Systems Frontiers, 2002, vol. 4, issue 4, No 3, 379-391

Abstract: Abstract Progress was made in the understanding of object-oriented (O-O) design through the introduction of patterns of design and architecture. Few works, however, offer methods of precise specification for O-O design. This article provides a well-defined ontology and an underlying framework for the formal specification of O-O design: (1) We observe key design motifs in O-O design and architectures. (2) We provide a computational model in mathematical logic suitable for the discussion in O-O design. (3) We use our conceptual toolkit to analyze and compare proposed formalisms.

Keywords: software design theory; software architecture; object oriented programming; formal foundations; design patterns (search for similar items in EconPapers)
Date: 2002
References: View complete reference list from CitEc
Citations: View citations in EconPapers (2)

Downloads: (external link)
http://link.springer.com/10.1023/A:1020835709566 Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:infosf:v:4:y:2002:i:4:d:10.1023_a:1020835709566

Ordering information: This journal article can be ordered from
http://www.springer.com/journal/10796

DOI: 10.1023/A:1020835709566

Access Statistics for this article

Information Systems Frontiers is currently edited by Ram Ramesh and Raghav Rao

More articles in Information Systems Frontiers from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().