( en | de | ru )

 

Disambiguation of "Goguen, Joseph A."

Author of the publication

copydeleteadd this publication to your clipboard
Putting Theories Together to Make Specifications.

, and . IJCAI, page 1045-1058. William Kaufmann, (1977)

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)Refinement of Concurrent Object Oriented Programs, and . PRG-TR-18-95. (1995)A short Oxford survey of order sorted algebra.., and . Bulletin of the EATCS, (1992)OOZE., and . Object Orientation in Z, Springer, (1992)Introducing Institutions., and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 221-256. Springer, (1983)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 agenda., and . Theor. Comput. Sci., 245 (1): 55-101 (2000)A hidden Herbrand theorem: combining the object and logic paradigms., , and . J. Log. Algebraic Methods Program., 51 (1): 1-41 (2002)Initial Algebra Semantics, and . SWAT, page 63-77. IEEE Computer Society, (1974)