In this paper, we show a mechanism to unify analysis models at first. This allows us to deal with the models in concepts shared by them. Next we propose a ...
Unification and Consistency Verification of Object-Oriented Analysis Models. Toshiaki Aoki and Takuya Katayama. School of Information Science. Japan Advanced ...
This paper shows a mechanism to unify analysis models at first, and proposes a verification method for checking consistency among them with respect to ...
Unification and Consistency Verification of Object-Oriented Analysis Models · Contents. APSEC '98: Proceedings of the Fifth Asia Pacific Software Engineering ...
Bibliographic details on Unification and Consistency Verification of Object-Oriented Analysis Models.
Unification and consistency verification of object-oriented analysis models. Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240) ...
Unification and Consistency Verification of Object-Oriented Analysis Models. T. Aoki, and T. Katayama. APSEC, page 296-303. IEEE Computer Society, (1998 ). 1.
People also ask
What is unified process in object oriented analysis and design?
What is object oriented analysis model?
What is concurrency in object oriented analysis and design?
Unification and consistency verification of object-oriented analysis models. T Aoki, T Katayama. Proceedings 1998 Asia Pacific Software Engineering Conference ...
Aug 28, 2008 · Goal: A software system for which a specified set of properties are known to hold given that a set of assumptions also hold.
In this paper, we show a mechanism to unify analysis models at first. This allows us to deal with the models in concepts shared by them. Next we propose a ...