( en | de | ru )

 

Disambiguation of "Goguen, Joseph A."

Author of the publication

copydeleteadd this publication to your clipboard
Distributed Cooperative Formal Methods Tools.

, , , , and . ASE, page 55-62. IEEE Computer Society, (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.

Healfdene Goguen

Joseph A Bracken

Joseph A Bracken

R. A. A. Bowler

°Ake °Akerström

 

Other publications of authors with the same name

Requirements Engineering - Social and Technical Issues, and . Academic Press, Harcourt Brace & Company, London et al., (1994)Introducing Institutions., and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 221-256. Springer, (1983)A hidden agenda., and . Theor. Comput. Sci., 245 (1): 55-101 (2000)The Semantics of CLEAR, A Specification Language., and . Abstract Software Specifications, volume 86 of Lecture Notes in Computer Science, page 292-332. Springer, (1979)Style as a Choice of Blending Principles., and . AAAI Technical Report (7), FS-04-07, page 49-56. AAAI Press, (2004)A hidden Herbrand theorem: combining the object and logic paradigms., , and . J. Log. Algebraic Methods Program., 51 (1): 1-41 (2002)A short Oxford survey of order sorted algebra.., and . Bulletin of the EATCS, (1992)OOZE., and . Object Orientation in Z, Springer, (1992)Initial Algebra Semantics, and . SWAT, page 63-77. IEEE Computer Society, (1974)Refinement of Concurrent Object Oriented Programs, and . PRG-TR-18-95. (1995)