Autor der Publikation

Formal Support for Design Techniques: A Timethreads-LOTOS Approach.

, , , und . FORTE, Volume 43 von IFIP Conference Proceedings, Seite 57-72. Chapman & Hall, (1995)

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

Evolving Toward Open System Interconnection., und . INFOCOM, Seite 491-498. IEEE, (1983)Starvation and Critical Race Analyzers for Ada., und . IEEE Trans. Software Eng., 16 (8): 829-843 (1990)Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded Systems., , , , und . ICSE, Seite 62-67. IEEE Computer Society, (1985)Experience with the automatic temporal analysis of multitasking Ada designs., und . SIGAda, Seite 36-44. ACM, (1987)Use Case Maps for Engineering Real Time and Distributed Computer., und . HICSS (5), Seite 218-229. IEEE Computer Society, (1997)Support for specifying temporal behavior in Ada designs., , und . SETA, Seite 91-101. ACM, (1990)Use Case Maps for the Capture and Validation of Distributed Systems Requirements., , , und . RE, Seite 44-. IEEE Computer Society, (1999)Applying Use Case Maps to Multi-Agent Systems: A Feature Interaction Example., , , und . HICSS (6), Seite 171-179. IEEE Computer Society, (1998)Feature-Interaction Visualisation and Resolution in an Agent Environment., , , , , und . FIW, Seite 135-149. IOS Press, (1998)MAILROOM: A computer-based message system model for person-to-person and process-to-process communication., und . ICDCS, Seite 818-823. IEEE Computer Society, (1982)