( en | de | ru )

 

Disambiguierung von "Carrington, David A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Tale of Two Paradigms: Formal Methods and Software Testing.

, und . Z User Workshop, Seite 51-68. Springer/BCS, (1994)

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.

David A Traill

lin A David

David A Lazica

David A Wuttke

David A M Goslings

 

Weitere Publikationen von Autoren mit dem selben Namen

A Model of Specification-Based Testing of Interactive Systems., und . World Congress on Formal Methods, Volume 1709 von Lecture Notes in Computer Science, Seite 1862. Springer, (1999)CSE Special Australasian Issue - Guest Editorial., und . Computer Science Education, 10 (2): 107 (2000)A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z., und . ICFEM, Volume 2495 von Lecture Notes in Computer Science, Seite 548-560. Springer, (2002)Graph Drawing Aesthetics and the Comprehension of UML Class Diagrams: An Empirical Study., , , und . InVis.au, Volume 9 von CRPIT, Seite 129-137. Australian Computer Society, (2001)An MDA Approach Towards Integrating Formal and Informal Modeling Languages., , und . FM, Volume 3582 von Lecture Notes in Computer Science, Seite 448-464. Springer, (2005)Tool Support for the Refinement Calculus., und . CAV (DIMACS/AMS volume), Volume 3 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 381-394. DIMACS/AMS, (1990)Teaching software testing.. ACSE, Volume 2 von ACM International Conference Proceeding Series, Seite 59-64. ACM, (1997)Experimenting with Aesthetics-Based Graph Layout., , und . Diagrams, Volume 1889 von Lecture Notes in Computer Science, Seite 498-501. Springer, (2000)An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study., und . APSEC, Seite 240-248. IEEE Computer Society, (2000)Setting up a tutor training programme in computer science., , , , , , und . ACSE, Volume 1 von ACM International Conference Proceeding Series, Seite 254-259. ACM, (1996)