Unification and consistency verification of object-oriented analysis models

Proceedings - 1998 Asia Pacific Software Engineering Conference, APSEC 1998

Volumn 1998-December, Issue , 1998, Pages 296-303

  Aoki, Toshiaki ^a   Katayama, Takuya ^a  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

ANALYSIS MODELS; AXIOMATIC SYSTEM; CONSISTENCY VERIFICATIONS; OBJECT ORIENTED METHODOLOGY; OBJECT-ORIENTED ANALYSIS; SOFTWARE PRODUCTS; TARGET SYSTEMS; VERIFICATION METHOD;

OBJECT ORIENTED PROGRAMMING;

EID: 84944069403     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.1998.733732     Document Type: Conference Paper

References (6)

1. J.Ramgaugh, M.Blaha, M.Premerlani, F.Eddy and W.Lorensen: Object-Oriented modeling and design, Prentice-Hall International, 1991.
2. I.Jacobson, M.Christerson, P.Jonsson, G.Overgaard: Object-Oriented Software Engineering, Addison-Wesley, 1992.
3. D.Coleman, P.Arnold, S.Bodoff, F.Dollin, H.Gilchrist, F.Hayes, and P.Jeremaes, Prentice Hall, 1994.
4. D.Harel, A.Pnueli, P.Schmid and R.Sherman: On the Formal Semantics of Statecharts, Proc. Of 2nd IEEE Symposium on Logic in Computer Science, pp.54-64, 1987.
5. G.Winskel: The Formal Semantics of Programming Languages, The MIT Press, 1993.
6. T.Aoki and T.Katayama: Formal Model Approach for Reliable Object-Oriented Information System Design, Sci/ISAS'98, pp.228-235, 1998.