( en | de | ru )

 

Disambiguierung von "Lam, Vitus S. W."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Formal Execution Semantics and Rigorous Analytical Approach for Communicating UML Statechart Diagrams

. Department of Computer Science, University of Bath, (2006)

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.

S. W. Armfield The University of Sydney

Roman Vitushinsky

Michael Vituschek

Walter Vitus

Andreas W S Jarosch

 

Weitere Publikationen von Autoren mit dem selben Namen

A Formal Execution Semantics and Rigorous Analytical Approach for Communicating UML Statechart Diagrams. Department of Computer Science, University of Bath, (2006)A Framework-Driven Comparison of Automata-Based Tools for Identifying Business Rule Conflicts.. International Journal of Software Engineering and Knowledge Engineering, 29 (3): 433-455 (2019)Theory for classifying equivalences of unified modelling language activity diagrams.. IET Softw., 2 (5): 391-403 (2008)Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus., und . IFM, Volume 3771 von Lecture Notes in Computer Science, Seite 347-365. Springer, (2005)Formalization of UML Statechart Diagrams in the p-Calculus., und . Australian Software Engineering Conference, Seite 213-223. IEEE Computer Society, (2001)Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach., und . ECBS, Seite 337-347. IEEE Computer Society, (2004)Consistency Checking of Statechart Diagrams of a Class Hierarchy., und . ECOOP, Volume 3586 von Lecture Notes in Computer Science, Seite 412-427. Springer, (2005)On pi-Calculus Semantics as a Formal Basis for UML Activity Diagrams.. International Journal of Software Engineering and Knowledge Engineering, 18 (4): 541-567 (2008)On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus, und . Software Engineering Research and Practice, Seite 877--882. CSREA Press, (2003)Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations, und . Seite 137--144. (2003)