J
Joseph Goguen
13 works on record
Works
Art and the Brain (Journal of Consciousness Studies: Controversies in Science & the Humanities)
1999
Algebraic semantics of imperative programs
1996
Art and the brain II
Algebra, meaning, and computation
Requirements engineering
A categorical manifesto
A categorical manifesto
1989
What is unification?
What is unification?
1988
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems
1987
Crew communications as a factor in aviation accidents
Crew communications as a factor in aviation accidents
1986
A study in the foundations of programming methodology
A study in the foundations of programming methodology
1986
Linguistic methodology for the analysis of aviation accidents
Linguistic methodology for the analysis of aviation accidents
1983
Software engineering with OBJ
Software engineering with OBJ
Categories of fuzzy sets
Categories of fuzzy sets