( en | de | ru )

 

Disambiguierung von "Lano, Kevin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A light-weight static approach to analyzing UML behavioral properties A light-weight static approach to analyzing UML behavioral properties

, , , und . Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on, Seite 56--63. (2007)
DOI: 10.1109/ICECCS.2007.10

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.

Alexander Ali Kevin

Arnaud Lanoix

Malgorzata Lanowska

Kevin Niwek

Kevin Niwek

 

Weitere Publikationen von Autoren mit dem selben Namen

Internet System Design for the Disabled Net., und . Software Engineering Research and Practice, Seite 956-962. CSREA Press, (2003)The UML as a Formal Modeling Notation, , , und . &\#171;UML&\#187; '98: Selected papers from the First International Workshop on The Unified Modeling Language &\#171;UML&\#187;'98, Seite 336--348. London, UK, Springer-Verlag, (1999)A light-weight static approach to analyzing UML behavioral properties A light-weight static approach to analyzing UML behavioral properties, , , und . Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on, Seite 56--63. (2007)Model-Driven Development of Model Transformations., und . ICMT@TOOLS, Volume 6707 von Lecture Notes in Computer Science, Seite 47-61. Springer, (2011)Towards Automatic Generation of Project-Based Solutions., , und . ICISO, Volume 449 von IFIP Advances in Information and Communication Technology, Seite 123-134. Springer, (2015)Specification of Required Non-determinism., , , und . FME, Volume 1313 von Lecture Notes in Computer Science, Seite 298-317. Springer, (1997)Semantics and Transformations for UML Models., und . UML, Volume 1618 von Lecture Notes in Computer Science, Seite 107-119. Springer, (1998)A compendium of formal techniques for software maintenance., , und . Softw. Eng. J., 8 (5): 253-262 (1993)Model-based Testing and Monitoring using AgileUML., , und . ANT/EDI40, Volume 184 von Procedia Computer Science, Seite 773-778. Elsevier, (2021)Refinement Patterns for UML., , und . REFINE, Volume 137 von Electronic Notes in Theoretical Computer Science, Seite 131-149. Elsevier, (2005)