Autor der Publikation

Integrating informal and formal approaches to requirements modeling and analysis Integrating informal and formal approaches to requirements modeling and analysis

, und . Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on, Seite 294--295. (2001)
DOI: 10.1109/ISRE.2001.948591

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

Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams.. ICSE, Seite 785-786. IEEE Computer Society, (2001)Automated Analysis of Timing Information in UML Diagrams., , und . ASE, Seite 350-353. IEEE Computer Society, (2004)A Requirements Patterns-Driven Approach to Specify Systems and Check Properties., , , und . SPIN, Volume 2648 von Lecture Notes in Computer Science, Seite 18-33. Springer, (2003)No User Left Behind: Including Accessibility in Student Projects and the Impact on CS Students' Attitudes., , , , , und . TOCE, 12 (2): 5:1-5:22 (2012)Integrating informal and formal approaches to requirements modeling and analysis Integrating informal and formal approaches to requirements modeling and analysis, und . Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on, Seite 294--295. (2001)Automatically Detecting and Visualising Errors in UML Diagrams, , , und . Requirements Engineering, V7 (4): 264--287 (Dezember 2002)Integrating Informal and Formal Approaches to Requirements Modeling and Analysis., und . RE, Seite 294-295. IEEE Computer Society, (2001)A student-managed networking laboratory., , , , und . SIGITE Conference, Seite 67-74. ACM, (2007)Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams., , und . DSN, Seite 305-314. IEEE Computer Society, (2000)Object Analysis Patterns for Embedded Systems., , und . IEEE Trans. Software Eng., 30 (12): 970-992 (2004)