C. Fischer, E-R. Olderog, and H. Wehrheim. A CSP view on UML-RT structure diagrams. In Heinrich Hussmann, editor, 4th FASE, Genova, Italy, 2001, Proceedings, volume 2029 of LNCS, pages 91--108. Springer, 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
An Integrated Semantics for UML Class, Object and.. - Kuske, Gogolla.. (2002) (Correct)
....A derivation [3] concentrates on veri cation aspects in the context of relational semantics. 30] proposes a general framework for integrating UML within formal techniques. 1] discusses questions of making UML use cases more precise. 26] uses Catalysis concepts [10] for a comparison with UML. [17] gives a CSP like view on real time systems described with UML. 6 Conclusion We have introduced graph transformations for central language features of UML class and state diagrams. Operations from class diagrams and transitions from state diagrams have been described by single graph ....
Clemens Fischer, Ernst-Rudiger Olderog, and Heike Wehrheim. A CSP view on UML-RT structure diagrams. In Heinrich Hussmann, editor, Fundamental Approaches to Software Engineering. 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, pages 91-108. Springer, 2001.
A Relational Model for Formal Object-Oriented Requirement.. - Liu, Jifeng, Li, Chen (2003) (4 citations) (Correct)
No context found.
C. Fischer, E-R. Olderog, and H. Wehrheim. A CSP view on UML-RT structure diagrams. In Heinrich Hussmann, editor, 4th FASE, Genova, Italy, 2001, Proceedings, volume 2029 of LNCS, pages 91--108. Springer, 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC