Formalizing Specification Modeling in OOA

IEEE Software

Volumn 10, Issue 1, 1993, Pages 54-66

  Honiden, Shinichi ^a   Kotaka, Nobuto ^a   Kishimoto, Yoshinori ^a  

^a Information technology Promotion Agency Japan   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0347850860     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.207229     Document Type: Article

References (8)

1. G. Booch, Object-Oriented Design: With Applications, Benjamin Cummings, Redwood City, Calif., 1991.
2. P. Coad and E. Yourdon, Object-Oriented Analysis, 2nd ed., Prentice-Hall, Englewood Cliffs, N.J., 1991.
3. A.M. Davis, Software Requirements: Analysis and Specification, Prentice-Hall, Englewood Cliffs, N.J., 1990.
4. N. Kotaka, Y. Kishimoto, and S. Honiden, “Specification Process Modeling on OOA,” Proc. Tools Pacific, Prentice-Hall, Englewood Cliffs, N.J., 1991.
5. J. Rumbaugh et al., Object-Oriented Modeling and Design, Prentice-Hall, Englewood Cliffs, N.J., 1991.
6. R. Cam and S. Vuong, “A Formal Specification in Lotos of a Simplified Cellular Mobile Communication System,” in Formal Description Techniques, II, North-Holland, Amsterdam, 1990.
7. R. Wirfs-Brock, B. Wilkerson, and L. Wiener, Designing Object-Oriented Software, Prentice-Hall, Englewood Cliffc, N.J., 1990.
8. S. Shlaer and S.J. Mellor, Object-Oriented System Analysis: Modeling the World in Data, Prentice-Hall, Englewood Cliffc, N.J., 1988.