( en | de | ru )

 

Disambiguierung von "Sobel, Ann E. Kelley"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Methods Application: An Empirical Tale of Software Development

, und . IEEE Transactions on Software Engineering, 28 (3): 308-320 (März 2002)
DOI: http://doi.ieeecomputersociety.org/10.1109/32.991322

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.

Matthias Sobel

Analysis of the miRNA-mediated regulation of AP-1 in non-tumorigenic and tumorigenic HPV18-positive cell lines. Uni Heidelberg, (2009)

Nicole Kelley

Nicolas Benedikt Markus Sobel

Johannes Sobel

Wolfgang Sobel

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Methods Application: An Empirical Tale of Software Development, und . IEEE Transactions on Software Engineering, 28 (3): 308-320 (März 2002)Supporting the Formal Analysis of Software Systems., und . CSSE (2), Seite 776-779. IEEE Computer Society, (2008)978-0-7695-3336-0.Empirical results of a software engineering curriculum incorporating formal methods.. SIGCSE, Seite 157-161. ACM, (2000)Experience integrating a formal method into a software engineering course.. SIGCSE, Seite 271-274. ACM, (1996)Security Analysis of Tramel.. HICSS, IEEE Computer Society, (1999)Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha.. HICSS (3), Seite 348-355. IEEE Computer Society, (1998)Technology Transfer Issues for Formal Methods of Software Specification., , , , und . CSEE&T, Seite 23-31. IEEE Computer Society, (2000)IEEE-CS/ACM Computing Curriculum Software Engineering Volume Project., , , , , , , und . CSEE&T, Seite 333-. IEEE Computer Society, (2003)Reflections on Software Engineering 2004, the ACM/IEEE-CS Guidelines for Undergraduate Programs in Software Engineering., , , , und . Software Education and Training Sessions @ ICSE, Volume 4309 von Lecture Notes in Computer Science, Seite 11-27. Springer, (2005)Perspectives on assessment through teaching portfolios in computer science., , , , und . SIGCSE, Seite 200-203. ACM, (1996)