Autor der Publikation

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

A Procedural Language for the Relational Data Base Management System "Syntex"., , und . IFIP Congress, Seite 453-457. (1977)A Survey: Applying Formal Methods to a Software Intensive System., , , , , , , , und . HASE, Seite 55-64. IEEE Computer Society, (2001)Can Regulatory Bodies Expect Efficient Help from Formal Methods?., und . NASA Formal Methods, Volume NASA/CP-2010-216215 von NASA Conference Proceedings, Seite 87-96. (2010)Security Requirements for Civil Aviation with UML and Goal Orientation., und . REFSQ, Volume 4542 von Lecture Notes in Computer Science, Seite 292-299. Springer, (2007)Managing (Requirements) Evolutions of High Assurance Systems., und . RE, Seite 91. IEEE Computer Society, (2002)Goal-oriented Analysis of Regulations., und . ReMo2V, Volume 241 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)Programming Development with or without Coding., , , , , und . IFIP Congress, Seite 327-330. (1980)Method Driven Programming., , , , und . IFIP Congress, Seite 351-356. North-Holland/IFIP, (1989)Preface., und . ReMo2V, Volume 241 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)SPRAC: A Software Engineering Environment., , und . STACS, Volume 247 von Lecture Notes in Computer Science, Seite 477-478. Springer, (1987)