Author of the publication

Visual Representation of Algebraic Specifications: a User-Oriented Approach.

, and . HCC, page 62-63. IEEE Computer Society, (2001)

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

Editorial: Reflections on the past, present and future., and . Softw. Test. Verification Reliab., 17 (1): 1-2 (2007)Quantifying the test effectiveness of Algol 68 programs., , and . Strathclyde ALGOL 68 Conference, page 36-41. ACM, (1977)Distributing quality-controlled software via the internet., , , , and . Microprocess. Microprogramming, 40 (10-12): 861-864 (1994)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)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)On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC., and . Inf. Softw. Technol., 48 (7): 433-440 (2006)Experience with Path Analysis and Testing of Programs., , and . IEEE Trans. Software Eng., 6 (3): 278-286 (1980)