Logo des Repositoriums

Auflistung nach Autor:in "Katayama, Takuya"

1 - 1 von 1
  • Konferenzbeitrag
    An axiomatic formalization of UML models
    (Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Aoki, Toshiaki; Tateishi, Takaaki; Katayama, Takuya
    Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support to it, as current methodologies are informal, especially at their upstream phases. This means that we cannot expect sophisticated supports for checking consistency among analysis models and validating/verifying their appropriateness. As quality of analysis models determines that of succeeding design and implementation phases, formalization of the analysis phase is very important. In this paper, we propose a formal approach to analysis phase, consisting of (1)formal analysis models, (2)uni cation of the models, (3)an axiom system for consistency veri cation and (4)veri cation environment.