A method of checking errors and consistency in the process of object-oriented analysis

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 1996, Pages 208-216

  Kim, Do Hyoung ^a   Chong, Kiwon ^a  

^a Soongsil University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR DETECTION; KNOWLEDGE BASED SYSTEMS; SOFTWARE ENGINEERING;

ANALYSIS MODELS; ANALYSIS PROCESS; ATOMIC FORMULAE; AUTOMATED TELLER MACHINES; FUNCTIONAL MODEL; OBJECT ORIENTED DEVELOPMENT; OBJECT-ORIENTED ANALYSIS; STANDARDIZED METHODS;

OBJECT ORIENTED PROGRAMMING;

EID: 84949494975     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.1996.566755     Document Type: Conference Paper

References (12)

1. Joanne M. Atlee, John Gannon, "State-Based Model Checking of Event-Driven System Requirements, " IEEE Trans. on Software Engineering, Vol. 19, No. 1, Jan 1993, pp. 24-40
2. Grady Booch, Object-Oriented Analysis and Design with Applications 2nd ed., Benjamin Cummings, 1994
3. P. Coad and E. Yourdon, Object-Oriented Analysis, Yourdon Press, 1990
4. John R. Ellis, Objectifying Real-Time Systems, SIGS Books Inc., 1994
5. Fiona Hayes, Derek Coleman, "Coherent Models for Object-Oriented Analysis, " Tn ACM OOPSLA91 Conference Proceedings, Phoenix, Arizona, Oct 1991, pp. 17l-183
6. Ivar Jacobson, Object-Oriented Software Engineering: A Use Case Driven Approach, Addison-Wesley, 1992
7. James Martin, Principles of Object-Oriented Analysis and Design, Prentice-HaIl, 1993
8. Roger S. Pressman, Software Engineering A Practitioners approach 3rd ed., McGrawHill, 1992
9. Neil C. Rowe, Art/Icial Intelligence Through Prolog, Prentice-Hall, 1988
10. James Rumbaugh, Michael Blaha, Wiliam Premeriani, Fredrick Eddy, William Lorensen, Object-Oriented Modeling and Design, Prentice-Hall, 1991
11. Bran Selic, Garth Gullekson, and Paul T. Ward, RealTime Object-Oriented Modeling, John Wiley & Sons Inc., 1994
12. S. Shlaer and S. J. Mellor, Object-Oriented Systems Analysis: Modeling the World in Data. Prentice Hall, 1989