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

An Integrated Development Environment for Formal Specifications., , und . SEKE, Seite 681-688. Knowledge Systems Institute, (1993)A Formal Approach to Reusing More General Components., und . KBSE, Seite 90-97. IEEE Computer Society, (1994)Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware., , , und . J. Internet Serv. Appl., 3 (1): 51-58 (2012)An approach to implementing dynamic adaptation in C++., , , und . ACM SIGSOFT Softw. Eng. Notes, 30 (4): 1-7 (2005)The object-oriented development of a distributed multimedia environmental information system., , und . SEKE, Seite 70-77. Knowledge Systems Institute, (1994)Automatically Detecting and Visualising Errors in UML Diagrams., , , und . Requir. Eng., 7 (4): 264-287 (2002)Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering., und . Autom. Softw. Eng., 3 (1/2): 139-164 (1996)Harnessing Digital Evolution., , , , , und . Computer, 41 (1): 54-63 (2008)Data Parallel Program Visualizations from Formal Specifications., , , und . J. Parallel Distributed Comput., 18 (2): 252-257 (1993)Contention-Free 2D-Mesh Cluster Allocation in Hypercubes., , und . IEEE Trans. Computers, 44 (8): 1051-1055 (1995)