Autor der Publikation

The CMU Master of Software Engineering Core Curriculum.

, , , , und . CSEE, Volume 895 von Lecture Notes in Computer Science, Seite 65-86. Springer, (1995)

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

Software analysis: a roadmap, und . ICSE '00: Proceedings of the Conference on The Future of Software Engineering - Future of SE Track, Seite 133-145. (2000)Aspect: Detecting Bugs with Abstract Dependences.. ACM Trans. Softw. Eng. Methodol., 4 (2): 109-145 (1995)Panopticon: a parallel video overview system., , , , , und . UIST, Seite 123-130. ACM, (2013)αRby - An Embedding of Alloy in Ruby., , und . ABZ, Volume 8477 von Lecture Notes in Computer Science, Seite 56-71. Springer, (2014)A Structure for Dependability Arguments., und . ASM, Volume 5977 von Lecture Notes in Computer Science, Seite 1. Springer, (2010)Critical Feature Analysis of a Radiotherapy Machine., , , , und . SAFECOMP, Volume 2788 von Lecture Notes in Computer Science, Seite 221-234. Springer, (2003)Module Dependences in Software Design.. RISSEF, Volume 2941 von Lecture Notes in Computer Science, Seite 198-203. Springer, (2002)Idioms of Logical Modelling.. ICGT, Volume 4178 von Lecture Notes in Computer Science, Seite 14. Springer, (2006)Object spreadsheets: a new computational model for end-user development of data-centric web applications., , und . Onward!, Seite 112-127. ACM, (2016)Occupancy monitoring using environmental & context sensors and a hierarchical analysis framework., , , , , , , , , und . BuildSys@SenSys, Seite 90-99. ACM, (2014)