( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Tale of Two Paradigms: Formal Methods and Software Testing.

, и . Z User Workshop, стр. 51-68. Springer/BCS, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

David A Traill

lin A David

David A Wuttke

David A Lazica

David A M Goslings

 

Другие публикации лиц с тем же именем

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