( 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.

lin A David

David A Traill

David A Wuttke

David A Lazica

David A M Goslings

 

Weitere Publikationen von Autoren mit dem selben Namen

CSE Special Australasian Issue - Guest Editorial., und . Computer Science Education, 10 (2): 107 (2000)Teaching software testing.. ACSE, Volume 2 von ACM International Conference Proceeding Series, Seite 59-64. ACM, (1997)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)From Object-Z Specifications to ClassBench Test Suites., , , , und . Softw. Test. Verification Reliab., 10 (2): 111-137 (2000)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)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)Using Theory Interpretation to Mechanise the Reals in a Theorem Prover., , und . CATS, Volume 42 von Electronic Notes in Theoretical Computer Science, Seite 266-281. Elsevier, (2001)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)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)Experimenting with Aesthetics-Based Graph Layout., , und . Diagrams, Volume 1889 von Lecture Notes in Computer Science, Seite 498-501. Springer, (2000)