PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Dick, Jeremy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using formal specifications to support testing.

, , , , , , , , , , , , , , und . ACM Comput. Surv., 41 (2): 9:1-9:76 (2009)

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.

Jeremy Nuzzo University of Stuttgart

Björn Dick University of Stuttgart

Univ. -Prof. Dr. Kirsten Dickhaut University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

A Requirements Guide For All (REGAL): An INCOSE Initiative.. RE, Seite 264. IEEE Computer Society, (2006)The Visual Presentation of VDM Specifications., und . VDM Europe (1), Volume 551 von Lecture Notes in Computer Science, Seite 670-671. Springer, (1991)A Visual Approach to VDM., und . SOFSEM, Volume 1175 von Lecture Notes in Computer Science, Seite 275-284. Springer, (1996)Requirements Engineering, Second Edition., , und . Springer, (2005)Requirements Engineering., , und . Practitioner series Springer, (2002)Using formal specifications to support testing., , , , , , , , , und 5 andere Autor(en). ACM Comput. Surv., 41 (2): 9:1-9:76 (2009)Automating the Generation and Sequencing of Test Cases from Model-Based Specifications., und . FME, Volume 670 von Lecture Notes in Computer Science, Seite 268-284. Springer, (1993)Applying the B Technologies on CICS., , , und . FME, Volume 1051 von Lecture Notes in Computer Science, Seite 74-84. Springer, (1996)Lessons learned from rigorous system software development., und . Information & Software Technology, 39 (8): 551-560 (1997)Design Traceability.. IEEE Software, 22 (6): 14-16 (2005)