Joseph Goguen

No bio available. Add one in Open Library.

Books by Joseph Goguen (50 max)

+ shelf+ list

Art and the brain II: investigations into the science of art

2000

Joseph Goguen

+ shelf+ list

Software Engineering with OBJ - Algebraic Specification in Action (ADVANCES IN FORMAL METHODS Volume 2) (Advances in Formal Methods)

2000

Joseph Goguen

+ shelf+ list

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)

2006

Joseph Goguen, Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer

+ shelf+ list

Categories of fuzzy sets: applications of non-cantorian set theory

1969

Joseph Goguen

+ shelf+ list

Linguistic methodology for the analysis of aviation accidents

1983

Joseph Goguen

+ shelf+ list

Crew communications as a factor in aviation accidents

1986

Joseph Goguen

+ shelf+ list

A study in the foundations of programming methodology: specifications, institutions, charters and parchments

1986

Joseph Goguen

+ shelf+ list

Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems

1987

Joseph Goguen

+ shelf+ list

What is unification?: a categorical view of substitution, equation, and solution

1988

Joseph Goguen

+ shelf+ list

A categorical manifesto

1989

Joseph Goguen

+ shelf+ list

Requirements Engineering: Social and Technical Issues (Computers and People)

1994

Joseph Goguen

+ shelf+ list

Algebraic semantics of imperative programs

1996

Joseph Goguen

+ shelf+ list

Art and the Brain (Journal of Consciousness Studies: Controversies in Science & the Humanities)

1999

Joseph Goguen