Author of the publication

Formal specifications as constructive diagrams.

, , and . Microprocess. Microprogramming, 37 (1-5): 175-178 (1993)

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

Implementing associations between objects., , and . Microprocess. Microprogramming, 40 (10-12): 811-814 (1994)Formal specification and object-oriented design., and . Microprocess. Microprogramming, 34 (1-5): 19-22 (1992)User Preference and Performance with UML Interaction Diagrams., , , and . VL/HCC, page 243-250. IEEE Computer Society, (2004)Formal specifications as constructive diagrams., , and . Microprocess. Microprogramming, 37 (1-5): 175-178 (1993)Taming the abstract data type: a taxonomy to help information systems designers., , and . ACM SIGSOFT Softw. Eng. Notes, 15 (1): 36-41 (1990)Cognitive Dimensions Profiles: A Cautionary Tale., and . PPIG, page 20. Psychology of Programming Interest Group, (2001)Investigating the influence of structure of user performance with UML interaction diagrams., , , and . PPIG, page 18. Psychology of Programming Interest Group, (2003)Cognitive Dimensions: An experience report., , and . PPIG, page 7. Psychology of Programming Interest Group, (2000)Cognitive Dimensions of Notations: Design Tools for Cognitive Technology., , , , , , , , , and 4 other author(s). Cognitive Technology, volume 2117 of Lecture Notes in Computer Science, page 325-341. Springer, (2001)The development and evaluation of a software prototype for computer-adaptive testing., , and . Comput. Educ., 43 (1-2): 109-123 (2004)