Autor der Publikation

Using Transition Systems to Unify UML Models.

, , und . ICFEM, Volume 2495 von Lecture Notes in Computer Science, Seite 535-547. Springer, (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A characterization of UML diagrams and their consistency A characterization of UML diagrams and their consistency, und . Engineering of Complex Computer Systems, 2006. ICECCS 2006. 11th IEEE International Conference on, Seite 10 pp.+. (2006)Unifying proof methodologies of duration calculus and timed linear temporal logic., , und . Formal Aspects Comput., 16 (2): 140-154 (2004)A Relational Model for Object-Oriented Designs., , , und . APLAS, Volume 3302 von Lecture Notes in Computer Science, Seite 415-436. Springer, (2004)A Formal Semantics of UML Sequence Diagram., , und . Australian Software Engineering Conference, Seite 168-177. IEEE Computer Society, (2004)rCOS: A refinement calculus of object systems, , und . Theoretical Computer Science, 365 (1-2): 109--142 (November 2006)Automated Prototype Generation From Formal Requirements Model., , , und . IEEE Trans. Reliab., 69 (2): 632-656 (2020)VCEMO: Multi-Modal Emotion Recognition for Chinese Voiceprints., , , , , , , , und . CoRR, (2024)Specification and Simulation of a Concurrent Real-Time System.. PDSE, Seite 197-204. IEEE Computer Society, (1999)Generating a Prototype from a UML Model of System Requirements., , , und . ICDCIT, Volume 3347 von Lecture Notes in Computer Science, Seite 255-265. Springer, (2004)RM2PT: Requirements Validation through Automatic Prototyping., , und . RE, Seite 484-485. IEEE, (2019)