Autor der Publikation

Transferring Research Results in Requirements to Practice: Obstacles and Incentives.

. ICRE, Seite 71-72. IEEE Computer Society, (2000)

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 Model-Based Approach to Testing Software for Critical Behavior and Properties.. ICTSS, Volume 6435 von Lecture Notes in Computer Science, Seite 15. Springer, (2010)Military Message Systems: Current Status and Future Directions., und . IEEE Trans. Commun., 28 (9): 1645-1654 (1980)Requirements Models for Critical Systems.. Software and Systems Safety - Specification and Verification, Volume 30 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2011)Automated Consistency Checking of Requirements Specifications., , und . ACM Trans. Softw. Eng. Methodol., 5 (3): 231-261 (1996)Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda., , , , , , , , , und . Requir. Eng., 7 (3): 113-123 (2002)Model Checking Complete Requirements Specifications Using Abstraction., und . Autom. Softw. Eng., 6 (1): 37-68 (1999)Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits., , und . CHI, Seite 127-134. ACM, (1992)High assurance human-centric decision systems., , , , , und . RAISE@ICSE, Seite 35-41. IEEE Computer Society, (2013)A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications., , , , und . HASE, Seite 78-84. IEEE Computer Society, (1997)An Algorithm for Strengthening State Invariants Generated from Requirements Specifications., und . RE, Seite 182-193. IEEE Computer Society, (2001)