Author of the publication

Visualisation of the OBJ Term Re-writing Process.

, and . Visual Representations and Interpretations, Springer, (1999)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Measure of Control Flow Complexity in Program Text., , and . IEEE Trans. Software Eng., 5 (1): 45-50 (1979)Slicing algebraic specifications., and . Inf. Softw. Technol., 40 (2): 105-118 (1998)Visualisation of the OBJ Term Re-writing Process., and . Visual Representations and Interpretations, Springer, (1999)Editorial: Reflections on the past, present and future., and . Softw. Test. Verification Reliab., 17 (1): 1-2 (2007)Distributing quality-controlled software via the internet., , , , and . Microprocess. Microprogramming, 40 (10-12): 861-864 (1994)Quantifying the test effectiveness of Algol 68 programs., , and . Strathclyde ALGOL 68 Conference, page 36-41. ACM, (1977)Visual Representation of Algebraic Specifications: a User-Oriented Approach., and . HCC, page 62-63. IEEE Computer Society, (2001)Visual Construction of Algebraic Specifications., and . VL, page 79-80. IEEE Computer Society, (2000)On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC., and . Inf. Softw. Technol., 48 (7): 433-440 (2006)Change of Book Reviews Editor.. Softw. Test. Verification Reliab., 8 (4): 174-175 (1998)