Joseph A. Goguen

Ann. Softw. Eng., 2001

2000

A hidden agenda.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

Hidden algebra and concurrent distributed software.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

On Equational Craig Interpolation.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2000

Behavioral and Coinductive Rewriting.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Web-based Multimedia Support for Distributed Cooperative Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Symposium on Multimedia Software Engineering, 2000

Circular Coinductive Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1999

Hidden coinduction: behavioural correctness proofs for objects.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1999

Social and Semiotic Analyses for Theorem Prover User Interface Design 1.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1999

A protocol for distributed cooperative work.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Distributed Systems, 1999

Hiding More of Hidden Algebra.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

Signs and Representations: Semiotics for User Interface Design.

[BibT_eX]

[DOI]

Proceedings of the Visual Representations and Interpretations, 1999

1998

A Hidden Herbrand Theorem.

[BibT_eX]

[DOI]

Tom Kemp

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Hidden Congruent Deduction.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998

1997

Formal Methods: Promises And Problems.

[BibT_eX]

[DOI]

Luqi

IEEE Softw., 1997

Distributed Cooperative Formal Methods Tools.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

1996

An Object-Oriented Tool for Tracing Requirements.

[BibT_eX]

[DOI]

Francisco A. C. Pinheiro

IEEE Softw., 1996

Software Component Search.

[BibT_eX]

[DOI]

J. Syst. Integr., 1996

Parameterized programming and software architecture.

[BibT_eX]

[DOI]

Proceedings of Fourth IEEE International Conference on Software Reuse, 1996

Formality and Informality in Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Requirements Engineering, 1996

Algebraic semantics of imperative programs.

[BibT_eX]

Foundations of computing series, MIT Press, ISBN: 978-0-262-07172-7, 1996

1995

Module Composition and System Design for the Object Paradigm.

[BibT_eX]

Adolfo Socorro

J. Object Oriented Program., 1995

Formal Methods and Social Context in Software Development.

[BibT_eX]

[DOI]

Luqi

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Semantics of Non-terminating Rewrite Systems Using Minimal Coverings.

[BibT_eX]

[DOI]

José Barros

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

An Introduction to Category-based Equational Logic.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

An Oxford Survey of Order Sorted Algebra.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1994

Suggestions for progress in software analysis, synthesis and certification.

[BibT_eX]

Luqi

Proceedings of the SEKE'94, 1994

Towards a Provably Correct Compiler for OBJ3.

[BibT_eX]

[DOI]

Lutz H. Hamel

Proceedings of the Programming Language Implementation and Logic Programming, 1994

1993

Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems

[BibT_eX]

[DOI]

Inf. Comput., March, 1993

A Short Oxford Survey of Order Sorted Algebra.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

Memories of ADJ.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

Keynote: On Notation.

[BibT_eX]

Proceedings of the TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, 1993

Techniques for requirements elicitation.

[BibT_eX]

[DOI]

Charlotte Linde

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

Social issues in requirements engineering.

[BibT_eX]

[DOI]

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

Introduction.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Systems Engineering, 1993

1992

Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability.

[BibT_eX]

[DOI]

Lawrence S. Moss

Theor. Comput. Sci., 1992

Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

Sheaf Semantics for Concurrent Interacting Objects.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1992

Institutions: Abstract Model Theory for Specification and Programming.

[BibT_eX]

[DOI]

J. ACM, 1992

A short Oxford survey of order sorted algebra..

[BibT_eX]

Bull. EATCS, 1992

OOZE.

[BibT_eX]

Antonio J. Alencar

Proceedings of the Object Orientation in Z, 1992

FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment.

[BibT_eX]

Proceedings of the Theorem Provers in Circuit Design, 1992

The Dry and the Wet.

[BibT_eX]

Proceedings of the Information System Concepts: Improving the Understanding, 1992

Towards an Algebraic Semantics for the Object Paradigm.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1992

1991

Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories.

[BibT_eX]

[DOI]

Andrzej Tarlecki

Theor. Comput. Sci., 1991

A Categorical Manifesto.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1991

A Sheaf Semantics for FOOPS Expressions.

[BibT_eX]

[DOI]

David A. Wolfram

Proceedings of the Object-Based Concurrent Computing, 1991

OOZE: An Object Oriented Z Environment.

[BibT_eX]

[DOI]

Antonio J. Alencar

Proceedings of the ECOOP'91 European Conference on Object-Oriented Programming, 1991

1990

A Categorial Theory of Objects as Observed Processes.

[BibT_eX]

[DOI]

Hans-Dieter Ehrich

Amílcar Sernadas

Proceedings of the Foundations of Object-Oriented Languages, 1990

An Algebraic Approach to Refinement.

[BibT_eX]

[DOI]

Proceedings of the VDM '90, 1990

On Types and FOOPS.

[BibT_eX]

David A. Wolfram

Proceedings of the Object-Oriented Databases: Analysis, 1990

Compiling Concurrent Rewriting onto the Rewrite Rule Machine.

[BibT_eX]

[DOI]

Hitoshi Aida

Proceedings of the Conditional and Typed Rewriting Systems, 1990

Proving and Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Logic Programming, 1990

1989

Order-Sorted Unification.

[BibT_eX]

[DOI]

J. Symb. Comput., 1989

Momories of ADJ.

[BibT_eX]

Bull. EATCS, 1989

Semantic Specifications for the Rewrite Rule Machine.

[BibT_eX]

[DOI]

Proceedings of the Concurrency: Theory, 1989

1988

Modular Algebraic Specification of Some Basic Geometrical Constructions.

[BibT_eX]

[DOI]

Artif. Intell., 1988

Cell and Ensemble Architecture for the Rewrite Rule Machine.

[BibT_eX]

Sany Leinwand

Timothy C. Winkler

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Software for the Rewrite Rule Machine.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

Remarks on Remarks on Many-Sorted Equational Logic.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1987

Formalization in Programming Environments.

[BibT_eX]

[DOI]

Mark Moriconi

Computer, 1987

Models and Equality for Logical Programming.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

Order-Sorted Algebra solves the Constructor-Selector, Multiple

[BibT_eX]

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

Parameterized Programming in OBJ2.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

An Introduction to OBJ 3.

[BibT_eX]

[DOI]

Proceedings of the Conditional Term Rewriting Systems, 1987

Parameterization Pitfalls and Potentials.

[BibT_eX]

Proceedings of the COMPCON'87, 1987

Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics.

[BibT_eX]

Proceedings of the Research Directions in Object-Oriented Programming, 1987

1986

Foundations and extensions of object-oriented programming (abstract only).

[BibT_eX]

[DOI]

Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

Extensions and foundations of object-oriented programming.

[BibT_eX]

[DOI]

Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

Remarks on remarks on many-sorted algebras with possibly emtpay carrier sets.

[BibT_eX]

Bull. EATCS, 1986

Reusing and Interconneccting Software Components.

[BibT_eX]

[DOI]

Computer, 1986

One, None, A Hundred Thousand Specification Languages (Invited Paper).

[BibT_eX]

Proceedings of the Information Processing 86, 1986

Concurrent term rewriting as a model of computation.

[BibT_eX]

[DOI]

Claude Kirchner

Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

EQLOG: Equality, Types, and Generic Modules For Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1985

Principles of OBJ2.

[BibT_eX]

[DOI]

Kokichi Futatsugi

Jean-Pierre Jouannaud

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

Operational Semantics for Order-Sorted Algebra.

[BibT_eX]

[DOI]

Jean-Pierre Jouannaud

Proceedings of the Automata, 1985

A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Programming, 1985

1984

Parameterized Programming.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1984

Some Fundamental Algebraic Tools for the Semantics of Computation. Part II: Signed and Abstract Theories.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1984

Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1984

Equality, Types, Modules, and (Why not ?) Generics for Logic Programming.

[BibT_eX]

[DOI]

J. Log. Program., 1984

Unwinding and Inference Control.

[BibT_eX]

[DOI]

Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 29, 1984

Equality, Types, Modules and Generics for Logic Programming.

[BibT_eX]

Proceedings of the Second International Logic Programming Conference, 1984

1983

Correctness of Recursive Parallel Nondeterministic Flow Programs.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1983

Reasoning and Natural Explanation.

[BibT_eX]

[DOI]

J. L. Weiner

Charlotte Linde

Int. J. Man Mach. Stud., 1983

Introducing Institutions.

[BibT_eX]

[DOI]

Proceedings of the Logics of Programs, 1983

1982

Completeness of many-sorted equational logic.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1982

Security Policies and Security Models.

[BibT_eX]

[DOI]

Proceedings of the 1982 IEEE Symposium on Security and Privacy, 1982

Rapid prototyping: in the OBJ executable specification language.

[BibT_eX]

[DOI]

Proceedings of the workshop on Rapid Prototyping, 1982

Universal Realization, Persistent Interconnection and Implementation of Abstract Modules.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1982

1981

More thoughts on specification and verification.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1981

Algebraic Denotational Semantics Using Parameterized Abstract Modules.

[BibT_eX]

[DOI]

Jørgen Steensgaard-Madsen

Kamran Parsaye-Ghomi

Proceedings of the Formalization of Programming Concepts, 1981

KWIC-index generation.

[BibT_eX]

[DOI]

Leif Sandegaard Nielsen

Proceedings of the Program Specification, 1981

Geometrical Constructions.

[BibT_eX]

[DOI]

Jørgen Staunstrup

Proceedings of the Program Specification, 1981

1980

How to Prove Algebraic Inductive Hypotheses Without Induction.

[BibT_eX]

[DOI]

Proceedings of the 5th Conference on Automated Deduction, 1980

On the Independence of Discourse Structure and Semantic Domain.

[BibT_eX]

[DOI]

Charlotte Linde

Proceedings of the 18th Annual Meeting of the Association for Computational Linguistics, 1980

1979

The Semantics of CLEAR, A Specification Language.

[BibT_eX]

[DOI]

Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979

1978

Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Studies of Information Processing, 1978

1977

Initial Algebra Semantics and Continuous Algebras.

[BibT_eX]

[DOI]

J. ACM, 1977

Correctness of Recursive Flow Diagram Programs.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

Putting Theories Together to Make Specifications.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Abstract Errors for Abstract Data Types.

[BibT_eX]