Autor der Publikation

Toward a mathematical foundation of software engineering methods

. IEEE Transactions on Software Engineering, 27 (1): 42--57 (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Specification and refinement of a buffer of length one.. NATO ASI DPD, Seite 273-304. (1996)Methodological Objectives for Formal Description Techniques.. FORTE, Seite 1-16. North-Holland, (1990)Are Fairness Assumptions Fair?. ICDCS, Seite 116-125. IEEE Computer Society, (1981)On the Power of Algebraic Specifications., , , und . MFCS, Volume 118 von Lecture Notes in Computer Science, Seite 193-204. Springer, (1981)Compositional Refinement of Interactive Systems Modelled by Relations.. COMPOS, Volume 1536 von Lecture Notes in Computer Science, Seite 130-149. Springer, (1997)Abstract Data Types as Lattices of Finitely Generated Models., und . MFCS, Volume 88 von Lecture Notes in Computer Science, Seite 673-685. Springer, (1980)On the Algebraic Specification of Nondeterministic Programming Languages., und . CAAP, Volume 112 von Lecture Notes in Computer Science, Seite 162-179. Springer, (1981)Equations for Describing Dynamic Nets of Communicating Systems.. COMPASS/ADT, Volume 906 von Lecture Notes in Computer Science, Seite 170-187. Springer, (1994)Invited Talk: Algebraic State Machines., und . AMAST, Volume 1816 von Lecture Notes in Computer Science, Seite 89-188. Springer, (2000)Principles and a Process for Successful Industry Cooperation - The Case of TUM and Munich Re., , , , , , , , und . SER&IP@ICSE, Seite 50-53. IEEE, (2015)