Autor der Publikation

An Integrated Development Environment for Prototyping Safety Critical Systems.

, und . IEEE International Workshop on Rapid System Prototyping, Seite 172-177. IEEE Computer Society, (1999)

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

Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study., , und . J. Univers. Comput. Sci., 6 (7): 731-757 (2000)Specification-Based Prototyping for Embedded Systems., , und . ESEC / SIGSOFT FSE, Volume 1687 von Lecture Notes in Computer Science, Seite 163-179. Springer, (1999)Structuring product family requirements for n-dimensional and hierarchical product lines., und . Requir. Eng., 8 (1): 42-54 (2003)Specifying and Analysing System-Level Inter-Component Interfaces., und . Requir. Eng., 5 (4): 208-224 (2000)An Integrated Development Environment for Prototyping Safety Critical Systems., und . IEEE International Workshop on Rapid System Prototyping, Seite 172-177. IEEE Computer Society, (1999)Specification and Analysis of System Level Inter-Component Communication., und . ICFEM, Seite 192-202. IEEE Computer Society, (1997)Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines., und . RE, Seite 56-65. IEEE Computer Society, (2001)NIMBUS: A Tool for Specification Centered Development., , und . RE, Seite 349. IEEE Computer Society, (2003)On the Effectiveness of Slicing Hierarchical State Machines: A Case Study., , und . EUROMICRO, Seite 10435-10444. IEEE Computer Society, (1998)Specification and Analysis of Intercomponent Communication., , und . Computer, 31 (4): 47-54 (1998)