( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
System Test Synthesis from UML Models of Distributed Software

, , , , , и . FORTE, стр. 97-113. (2002)MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet. Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld Nebut2002Nebut2003Nebut2006..

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Matthias Jardorf

José Vicente Jardim Camargo

Dániel Járdánházi-Kurutz

Pierre Jardin

Jean Jardiné

 

Другие публикации лиц с тем же именем

Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets., и . FORMATS, том 3829 из Lecture Notes in Computer Science, стр. 196-210. Springer, (2005)TGV: theory, principles and algorithms, и . Integrated Design & and Process Technology, IDPT 1, Society for Process & Design Sciences, (2002)Partial order diagnosability of discrete event systems using petri net unfoldings., , , и . CDC, стр. 3748-3753. IEEE, (2003)3D Layout of Reachability Graphs of Communicating Processes., и . GD, том 894 из Lecture Notes in Computer Science, стр. 25-32. Springer, (1994)Protocol engineering using UML, , , , и . (1999)Monitoring probabilistic SLAs in Web service orchestrations., , и . Integrated Network Management, стр. 474-481. IEEE, (2009)System Test Synthesis from UML Models of Distributed Software., , , , , и . FORTE, том 2529 из Lecture Notes in Computer Science, стр. 97-113. Springer, (2002)Clock Transition Systems., , и . CS&P, том 928 из CEUR Workshop Proceedings, стр. 227-238. CEUR-WS.org, (2012)Test synthesis from UML models of distributed software, , , , и . Software Engineering, IEEE Transactions on, 33 (4): 252--269 (2007)Robustness of Time Petri Nets under Architectural Constraints., , , , и . FORMATS, том 7595 из Lecture Notes in Computer Science, стр. 11-26. Springer, (2012)