PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Graser, Thomas J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures.

, , und . ASE, Seite 341-345. IEEE Computer Society, (2001)

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.

Carsten Graser University of Stuttgart

J. K\"astner

J. Schwarz

J. K\"astner

J Walter

 

Weitere Publikationen von Autoren mit dem selben Namen

Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation., , und . ASE, Seite 172-182. IEEE Computer Society, (2002)Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model Checking., , und . SEKE, Seite 19-28. (2001)Application of the SEPA Methodology and Tool Suite to the National Cancer Institute., , , , und . HICSS, IEEE Computer Society, (1999)The Systems Engineering Process Activities (SEPA) Methodology and Tool Suite., , , , und . AAAI/IAAI, Seite 1117-1118. AAAI Press / The MIT Press, (2000)System Engineering Processes Activities for Agent System Design: Component Based Development for Rapid Prototyping., , , und . ICEIS (3), Seite 196-202. (2005)Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures., , und . ASE, Seite 341-345. IEEE Computer Society, (2001)Sensible Agent Technology Improving Coordination and Communication in Biosurveillance Domains., , , , , , , , , und 2 andere Autor(en). IJCAI, Seite 1631-1632. Morgan Kaufmann, (2003)Arcade: early dynamic property evaluation of requirements using partitioned software architecture models., , , und . Requir. Eng., 8 (4): 222-235 (2003)Evaluating dynamic correctness properties of domain reference architectures., , und . Journal of Systems and Software, 68 (3): 217-231 (2003)Requirements Evolution and Reuse Using the Systems Engineering Process Activities (SEPA)., und . Australasian J. of Inf. Systems, (1999)