Author of the publication

Writing and Analyzing System Specifications by Integrated Linguistic Tools.

, , , and . International Journal of Software Engineering and Knowledge Engineering, 7 (1): 69-99 (1997)

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

Visual-Language System for User Interfaces., , , , , , and . IEEE Software, 12 (2): 33-44 (1995)Writing and Analyzing System Specifications by Integrated Linguistic Tools., , , and . International Journal of Software Engineering and Knowledge Engineering, 7 (1): 69-99 (1997)Demonizing Production Systems., and . IJCAI, page 862-866. William Kaufmann, (1983)Legality Concepts for Three-Valued Logic Programs., , , , and . Theor. Comput. Sci., 120 (1): 45-68 (1993)Symbol-Relation Grammars: A Formalism for Graphical Languages., , , , , , and . Inf. Comput., 131 (1): 1-46 (1996)The Sharing of Partial Results in Nondeterministic Computations., , and . AIMSA, page 93-103. North-Holland, (1986)MAGMA-LISP: A "Machine Language" For Artificial Intelligence., , and . IJCAI, page 556-561. (1975)Grammatical inference algorithms for the generation of visual languages., , , , and . J. Vis. Lang. Comput., 1 (4): 355-368 (1990)RSF: A Formalism for Executable Requirement Specifications., , , and . IEEE Trans. Software Eng., 16 (11): 1235-1246 (1990)A Sleeper-based Prolog Interpreter with Loop Checks., , , and . GULP-PRODE (2), page 379-392. (1994)