Autor der Publikation

Formally analyzing software architectural specifications using SAM .

, , , , und . Journal of Systems and Software, 71 (1-2): 11-29 (2004)

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

Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems., und . Formal Asp. Comput., 2 (3): 226-246 (1990)Mapping Petri nets to concurrent programs in CC++., und . Information & Software Technology, 39 (7): 485-495 (1997)A methodology of testing high-level Petri nets., und . Information & Software Technology, 44 (8): 473-489 (2002)Structured analysis using hierarchical predicate transition nets., und . COMPSAC, Seite 212-217. IEEE, (1992)SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems., , , , , , und . SEKE, Seite 308-314. Knowledge Systems Institute Graduate School, (2011)An approach for specification construction using property-preserving refinement patterns., , und . SAC, Seite 797-803. ACM, (2008)Achieving a Better Middleware Design through Formal Modeling and Analysis., , , , und . SEKE, Seite 463-468. (2006)Towards Adaptable BDI Agent: A Formal Aspect-oriented Modeling Approach., und . SEKE, Seite 189-193. Knowledge Systems Institute Graduate School, (2009)A Systematic Approach for Developing Cyber Physical Systems., , und . SEKE, Seite 456-455. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2018)McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking., , , und . SPIN, Volume 7385 von Lecture Notes in Computer Science, Seite 191-207. Springer, (2012)