- Information Integration in Institutions Joseph Goguen
- Consciousness and the Decline of Cognitivism Joseph A. Goguen
- Verifications with Proof Scores in CafeOBJ Kokichi Futatsugi1
- 8 First Order Logic and Proof Planning This chapter extends our algebraic approach to full rst order logic. Section 8.2 treats the special
- Morphisms and Semantics for Higher Order Parameterized Programming
- A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms
- Engineering nonstandard
- INSTITUTIONS: Abstract Model Theory for Speci cation and
- Data, Schema, Ontology and Logic Integration Joseph A. Goguen
- FOUR PIECES ON ERROR, TRUTH AND REALITY
- Specifying, Programming and Verifying with Equational Logic
- An ImplementationOriented Semantics for Module Composition \Lambda
- Behavioral Verification of Distributed Concurrent Systems with BOBJ Joseph Goguen
- Programming Research Group PRGTR1895
- WHAT IS A CONCEPT? Joseph A. Goguen
- POETRY, MECHANISM CONSCIOUSNESS
- Some Fundamental Algebraic Tools for the Semantics of Computation
- An earlier version of this paper without figures ap pears in TOOLS 10: Technology of ObjectOriented
- Ontology, Society, and Ontotheology Joseph A. Goguen
- Slightly revised, from Proceedings, User Interfaces for Theorem Provers `97 (Sophia Antipolis, 1--2 September 1997), pages 24--34. Algebraic Semiotics, ProofWebs, and
- Ontotheology, Ontology, and Society Joseph A. Goguen
- Programming Research Group INTRODUCING FOOPS
- Types as Theories Joseph A. Goguen \Lambda
- A Hidden Agenda Joseph Goguen
- An Executable Course in the Algebraic Semantics of Imperative Programs
- Distributed Cooperative Design and Validation \Lambda Joseph Goguen, Kai Lin, Akira Mori, Grigore Rosu and Akiyoshi Sato
- Towards a Design Theory for Virtual Worlds: Algebraic semiotics, with information visualization as a case study
- Foundations for Active Multimedia Narrative: Semiotic spaces and structural blending
- visualization Engineering
- In Proceedings, Requirements Engineering '93, edited by Stephen Fickas and Anthony Finkelstein, IEEE Computer Society, 1993, pages 152{164. Techniques for Requirements Elicitation 1
- Theorem Proving Joseph A. Goguen
- Conditional Circular Coinductive Rewriting Joseph Goguen 1 , Kai Lin 1 , Grigore Ro su 2
- An Introduction to Algebraic Semiotics, with Application to User Interface Design
- An obsolete version of this paper appears in Proceedings, International Workshop on First Order Theorem Proving, ed. Maria Paola Bonacina and Ulrich Furbach, RISCLinz Report 97--70, pages 78--85, 1997; available from http://www.logic.at/ftp97.
- Requirements Engineering as the Reconciliation of Technical and Social Issues \Lambda
- In Social Science Research, Technical Systems and Cooperative Work: Beyond the Great Divide, edited by Geoffrey Bowker, Les Gasser, Leigh Star and William Turner, Erlbaum, 1997, pages 27--56.
- HYPERPROGRAMMING: A Formal Approach to Software Environments
- WRLA 2000 Preliminary Version Behavioral and Coinductive Rewriting 1
- Software Engineering with OBJ: algebraic specification in action
- Tossing Algebraic Flowers down the Great Divide Joseph Goguen
- A Hidden Proof of the Alternating Bit Protocol Kai Lin and Joseph A. Goguen
- This paper appears in Mathematical Structures in Computer Science, volume 1, number 1, pages 49{
- Introducing TRIM Tech Report TR01-283
- Mathematical Models of Cognitive Space and Time
- On Equational Craig Interpolation 1 Grigore Rosu 2 and Joseph Goguen
- An Introduction to Algebraic Semiotics, with Application to User Interface Design
- Composing Hidden Information Modules over Inclusive Institutions
- Logical Support for Modularisation \Lambda Razvan Diaconescu Joseph Goguen y
- Sheaf Semantics for Concurrent Interacting Objects Joseph A. Goguen \Lambda
- Critical Points for Interactive Schema Matching Guilian Wang 1 , Joseph Goguen 1 , Young-Kwang Nam 2 , and Kai Lin 3
- The Dry and the Wet 1 Joseph A. Goguen 2
- Programming Research Group A DISTRIBUTED SEMANTICS FOR FOOPS
- An Oxford Survey of Order Sorted Algebra \Lambda Joseph Goguen and Razvan Diaconescu
- Are Agents an Answer or a Question? Joseph A. Goguen
- Style as a Choice of Blending Principles Joseph A. Goguen and D. Fox Harrell
- Musical Qualia, Context, Time, and Emotion Joseph A. Goguen
- Style as a Choice of Blending Principles Joseph A. Goguen and D. Fox Harrell
- Style as a Choice of Blending Principles Joseph A. Goguen and D. Fox Harrell
- A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms
- Critical Points for Interactive Schema Matching Guilian Wang 1 , Joseph Goguen 1 , Young-Kwang Nam 2 , and Kai Lin 3
- To appear in Formal Aspects of Computing Institution Morphisms
- 1 Introduction 1 1.1 What is Theorem Proving? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
- An earlier version of this paper without gures ap-pears in TOOLS 10: Technology of Object-Oriented
- Circular Coinduction ? Grigore Rosu ?? and Joseph Goguen
- Towards an Algebraic Semantics for the Object Paradigm Joseph A. Goguen and R azvan Diaconescu
- Hidden Algebra for Software Engineering Joseph A. Goguen
- Conditional Coinductive
- Math. Struct. in Comp. Science (1999), vol. ??, pp. 1--000. Printed in the United Kingdom fl 1999 Cambridge University Press
- A Hidden Agenda Joseph Goguen
- SCRITICAL PAIRS AND SUNIFICATION
- Hidden Algebra and Concurrent Distributed Software Joseph Goguen
- This is a slightly revised version of a paper in Proceedings, International Symposium on Multimedia Software Engineering, ed. Jeffrey Tsai and PoJen Chuang, IEEE Press, pages 25--32, 2000; the symposium was held in Taipai, Taiwan, in December 2000.
- Zero, Connected, Empty: An Essay after a Cantata
- In Social Science Research, Technical Systems and Cooperative Work: Beyond the Great Divide, edited by Geoffrey Bowker, Les Gasser, Leigh Star and William Turner, Erlbaum, 1997, pages 27--56.
- Steps towards a Design Theory for Virtual Worlds
- This is a slightly revised version of a paper published in Annals of Software Engineering, vol. 12, pages 25--32, 2001, based on a paper in Proceedings, International Symposium on Multimedia Software Engineering, ed. Jeffrey Tsai and PoJen Chuang, IEEE Pr
- Circular Coinduction Grigore Rosu 1 and Joseph Goguen 2
- Consciousness Engineering
- Semiotic Morphisms, Representations and Blending for Interface Design
- FCT'99 Final Version A Protocol for Distributed Cooperative Work
- Social and Semiotic Analyses for Theorem Prover User Interface Design 1
- Introducing OBJ \Lambda Joseph A. Goguen y , Timothy Winkler z , Jos'e Meseguer z ,
- A Metadata Integration Assistant Generator for Heterogeneous Distributed Databases
- Circular Coinductive Rewriting Joseph Goguen, Kai Lin, and Grigore Rosu \Lambda
- The Tatami System Design and its Motivation Joseph A. Goguen
- Information Visualization and Semiotic Morphisms
- OrderSorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading,
- Slightly expanded from an article to appear in Encyclopedia of Science and Religion, edited by J.
- Reality and Human Values in Mathematics Joseph A. Goguen
- Formality and Informality in Requirements Engineering Joseph A. Goguen \Lambda
- Engineering surprisingly,
- Improvisation, Nonlinear Dynamics
- Scritical Pairs and Suni cation Joseph Goguen and Monica Marcus
- A Metadata Tool for Retrieval from Heterogeneous Distributed XML Documents
- Higher Order Functions Considered Unnecessary for Higher Order Programming
- Consciousness and the Decline of Cognitivism Joseph A. Goguen
- Mathematical Engineering
- This is a revised and extended version for journal publication of a paper in Proceedings, International Symposium on Multimedia Software Engineering, ed. Jeffrey Tsai and Po-Jen Chuang, IEEE Press, pages 2532, 2000; the symposium was held in Taipai, Taiwa
- REQUIREMENTS ENGINEERING USER INTERFACE DESIGN
- An Induction Scheme in Higher Order Parameterized Programming
- [1] Arnon Avron, Furio Honsell, and Ian Mason. Using typed lambda calculus to implement formal systems on a computer. Technical Report ECSLFCS8731, Laboratory for Com
- Hidden Congruent Deduction Grigore Rosu 1 and Joseph Goguen
- An Overview of the Tatami Project \Lambda Joseph Goguen a and Kai Lin a and Grigore Rosu a and Akira Mori b , and Bogdan
- Time, Structure and Emotion in Music Joseph Goguen and Ryoko Goguen
- Representation Engineering
- What is a Logic? Till Mossakowski, Joseph Goguen, Razvan Diaconescu and Andrzej
- Interactive Schema Matching With Semantic Functions Guilian Wang1
- Time, Structure and Emotion in Music Joseph Goguen and Ryoko Goguen
- Ontology, Society, and Ontotheology Joseph A. Goguen
- ! #"%$& '(&) 0 1&243' 0 '65738$ 9 @BABC DE1F ($GAH5 IP3Q24@&R3B S T &"U2V&W@5X2V&R"
- To appear in Proceedings, Conference on Semigroups and Algebraic Engineering, edited by Chrysto pher Nehaniv (University of Aizu, Aizu--Wakamatsu, Japan, 24--26 March 1997).
- Information Integration in Institutions Joseph Goguen
- Distributed Cooperative Formal Methods Tools \Lambda Joseph Goguen, Kai Lin, Akira Mori, Grigore Rosu, and Akiyoshi Sato
- Signs and Representations: Semiotics for User Interface Design
- Parameterized Programming and Software Architecture \Lambda Joseph A. Goguen y
- Higher Order Functions Considered Unnecessary for Higher Order Programming \Lambda
- Style as a Choice of Blending Principles Joseph A. Goguen and D. Fox Harrell
- Are Agents an Answer or a Question? Joseph A. Goguen
- An Implementation-Oriented Semantics for Module Composition
- Reality and Human Values in Mathematics Joseph A. Goguen
- Conditional Circular Coinductive Rewriting with Case Analysis
- Published in Bulletin of the European Association for Theoretical Computer Science, Number 36, October 1989, guest column in the `Algebraic Specification Column,' pages 96--102; also, in Current Trends in Theoretical Computer Science: Essays and Tutorials
- Engineering concurrency,
- Abstract Schema Morphisms and Schema Mapping Generation
- Behavioral Verification of Distributed Concurrent Systems with BOBJ Joseph Goguen
- Morphisms and Semantics for Higher Order Parameterized Programming
- Composing Hidden Information Modules over Inclusive Institutions Joseph Goguen 1 and Grigore Rosu 2
- Are Agents an Answer or a Question? Joseph A. Goguen
- Social Issues in Requirements Engineering 1
- More Higher Order Programming in OBJ \Lambda Joseph A. Goguen and Grant Malcolm
- Specifying, Programming and Verifying with Equational Logic
- What is Unification? A Categorical View of Substitution, Equation and Solution \Lambda
- Verifying Design with Proof Scores Kokichi FUTATSUGI 1 , Joseph A. GOGUEN 2 , and Kazuhiro OGATA 3
- Hiding More of Hidden Algebra Joseph Goguen and Grigore Rosu ?