ACKNOWLEDGEMENTS I wish to expresses my sincere appreciation to the many individuals that helped me complete this work. I give special thanks to Dr. David Embley and Dr. Scott Woodfield for the countless hours they spent with me discussing and formulating the theoretical foundation presented in this dissertation. They have also been excellent mentors who have taught me to identify interesting problems, set meaningful objectives, and conduct sound research. I acknowledge all the contributions made by members of the Object-oriented Systems Modeling group at Brigham Young University. In particular, I want to thank Susan Bodily, Jay Compton, Mark Gardner, Christophe Giraud-Carrier, Robert Jackson, Steve Liddle, and Brent Reed, for their constructive
|
1524
|
Object-Oriented Modelling and Design
– Rumbaugh, Blaha, et al.
- 1991
|
|
1190
|
Object-oriented Software Construction
– Meyer
- 1988
|
|
784
|
On the Criteria to be Used in Decomposing Systems into Modules
– Parnas
- 1983
|
|
491
|
On Visual Formalisms
– Harel
- 1988
|
|
478
|
A Mathematical Introduction to Logic
– Enderton
- 1972
|
|
253
|
Object-Oriented Analysis
– Coad, Yourdon
- 1991
|
|
193
|
Object Identity
– Khosafian, Copeland
- 1986
|
|
148
|
F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme
– Kifer, Lausen
- 1989
|
|
136
|
Object-oriented systems analysis: Modeling the worm in data
– chiaer, S, et al.
- 1988
|
|
125
|
Structured Design
– Yourdon, Constantine
- 1979
|
|
124
|
Petri nets
– Peterson
- 1977
|
|
114
|
Object-oriented Systems Analysis: A Model-Driven Approach
– Embley, Kurtz, et al.
- 2004
|
|
113
|
Structured Design
– Stevens, Myers, et al.
- 1974
|
|
112
|
Assuring Good Style for Object-Oriented Programs
– Lieberherr, Holland
- 1989
|
|
96
|
Logic for Objects
– Maier
- 1986
|
|
86
|
COL: A Logic-Based Language for Complex Objects
– Abiteboul, Grumbach
|
|
61
|
Object Behavior Analysis', in
– Rubin, Goldberg
- 1992
|
|
60
|
Prospects for an Engineering Discipline of Software
– Shaw
- 1990
|
|
58
|
Inheritance and the development of encapsulated software components
– Snyder
- 1987
|
|
56
|
A logic for object-oriented logic programming (Maier's O-Logic revisited
– Kifer, Wu
- 1989
|
|
56
|
A Research Typology for Object-Oriented Analysis and Design
– Monarchi, Puhr
- 1992
|
|
55
|
Planning the software industrial revolution
– Cox
- 1990
|
|
50
|
C-logic for complex objects
– Chen, Warren
- 1989
|
|
47
|
Maintaining object-oriented software
– Wilde, Matthews, et al.
- 1993
|
|
45
|
A survey of object-oriented concepts
– Nierstrasz
- 1989
|
|
42
|
Towards a metrics suite for object-oriented design
– Chidamber, Kemerer
- 1991
|
|
38
|
A proposal for a formal model of objects, in
– Wand
- 1989
|
|
36
|
Object-Oriented and Conventional Analysis and Design Methodologies
– Fichman, Kemerer
- 1992
|
|
34
|
Component-oriented software development
– Nierstrasz, Gibbs, et al.
- 1992
|
|
29
|
An Object-Oriented Requirements Specifications Method
– Bailin
- 1989
|
|
22
|
Applying Object-Oriented Analysis and Design
– Nerson
- 1992
|
|
19
|
Coherent Models for Object-Oriented Analysis
– Hayes, Coleman
- 1991
|
|
19
|
The essence of objects: Concepts and terms
– Snyder
- 1993
|
|
14
|
Dimensions of object-oriented modeling
– Wegner
- 1992
|
|
13
|
What are next-generation database systems
– Cattell
- 1991
|
|
12
|
Assessing the quality of abstract data types written in Ada
– Embley, Woodfield
- 1988
|
|
12
|
Lessons Learned in Managing Object-Oriented Development
– Pittman
- 1993
|
|
11
|
The object-oriented structured design notation for software design representation
– Wasserman, Pircher, et al.
- 1990
|
|
10
|
Graphical Specification of Object Oriented Systems
– Bear, Allen, et al.
- 1990
|
|
9
|
Is Object Technology Software's Industrial Platform
– Jacobson
- 1993
|
|
8
|
Tunable formalism in object-oriented systems analysis: meeting the needs of both theoreticians and practitioners
– Clyde, Embley, et al.
- 1992
|
|
8
|
Cohesion and coupling for abstract data types
– Embley, Woodfield
- 1987
|
|
7
|
The Complete Formal Definition for the Syntax and Semantics of OSA
– Clyde, Embley, et al.
- 1992
|
|
5
|
Managing Emerging Software Technologies: A Technology Transfer Framework
– Korson, Vaishnave
- 1992
|
|
5
|
An Empirical
– Lewis, Henry, et al.
- 1991
|
|
4
|
Object-oriented computing
– Rine
- 1992
|
|
3
|
Object Oriented Design with
– Booch
- 1991
|
|
3
|
What It Takes To Make OO Work
– Kozaczynski, Kuntzmann-Combelles
- 1993
|
|
3
|
Object Lifecyles: Modeling the World
– Schlaer, Mellor
- 1992
|
|
2
|
A Formal Definition of OSA
– Embley, Clyde, et al.
- 1991
|
|
