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)Translating Object-Z Specifications to Object-Oriented Test Oracles., , и . APSEC, стр. 414-. IEEE Computer Society, (1997)An Approach to Specifying Software Frameworks., , и . ACSC, том 26 из CRPIT, стр. 185-192. Australian Computer Society, (2004)Teaching programming to beginners - choosing the language is just the first step., , , , и . ACSE, том 8 из ACM International Conference Proceeding Series, стр. 79-86. ACM, (2000)Specification-Based Class Testing with ClassBench., , и . APSEC, стр. 164-173. IEEE Computer Society, (1998)TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing., , , и . TOOLS (32), стр. 222-233. IEEE Computer Society, (1999)Formal Derivation of Finite State Machines for Class Testing., , , , и . ZUM, том 1493 из Lecture Notes in Computer Science, стр. 42-59. Springer, (1998)Specification-Based Class Testing: A Case Study., , , и . ICFEM, стр. 222-233. IEEE Computer Society, (1998)OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy., , и . ICECCS, стр. 232-237. IEEE Computer Society, (2002)Module Testing Embedded Software--An Industrial Pilot Project., , , и . ICECCS, стр. 233-. IEEE Computer Society, (2001)