From post

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.

 

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

From Object-Z Specifications to ClassBench Test Suites., , , , и . Softw. Test. Verification Reliab., 10 (2): 111-137 (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)Teaching software testing.. ACSE, том 2 из ACM International Conference Proceeding Series, стр. 59-64. ACM, (1997)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)CSE Special Australasian Issue - Guest Editorial., и . Computer Science Education, 10 (2): 107 (2000)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)A Model of Specification-Based Testing of Interactive Systems., и . World Congress on Formal Methods, том 1709 из Lecture Notes in Computer Science, стр. 1862. Springer, (1999)Using Theory Interpretation to Mechanise the Reals in a Theorem Prover., , и . CATS, том 42 из Electronic Notes in Theoretical Computer Science, стр. 266-281. Elsevier, (2001)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)