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

The Role of Traditional Engineering Design Techniques in Software Engineering., und . SEKE, Seite 84-89. Knowledge Systems Institute, (1990)Abstracting Pointers for a Verifying Compiler., , , und . SEW, Seite 204-213. IEEE Computer Society, (2007)Algorithms and object-oriented programming: bridging the gap., , , und . SIGCSE, Seite 302-306. ACM, (2002)Special session: "hands-on" tutorial: teaching software correctness with RESOLVE., und . SIGCSE, Seite 625-626. ACM, (2014)Engaging mathematical reasoning exercises., , , , und . SIGCSE, Seite 459-460. ACM, (2013)Reusable Software Components., , und . Advances in Computers, (1991)Contract-Checking Wrappers for C++ Classes., , , und . IEEE Trans. Software Eng., 30 (11): 794-810 (2004)Access Control Strategies for Coordinating Teams of Software Engineers., und . International Journal of Software Engineering and Knowledge Engineering, 1 (1): 57-73 (1991)A Framework for Modeling Software Engineering Processes., und . International Journal of Software Engineering and Knowledge Engineering, 3 (3): 351-368 (1993)Part III: implementing components in RESOLVE., , , und . ACM SIGSOFT Softw. Eng. Notes, 19 (4): 40-51 (1994)