Some Other Publications
This page lists some publications older than those in the What's New and Selected Publications
pages.
- Tools for Distributed Cooperative
Engineering, by Joseph Goguen, Kai Lin, Akira Mori and Grigore
Rosu. Describes how the Kumo website editor/proof assistant integrates
formal and informal methods for software development, in a distributed
cooperative environment. A verification step can be the scan of an envelope
back, a diagram or applet, as well as a fully formal subproof. In
Proceedings, CafeOBJ Symposium (26-29 April 1998, Kyoto, Japan).
- Hidden Algebraic Engineering, in
Algebraic Engineering, edited by Chrystopher Nehaniv and Masami Ito,
World Scientific, 1999, pages 17-36; also UCSD Technical Report CS97-569,
December 1997, and preliminary version in Proceedings, Conference on
Semigroups and Algebraic Engineering, edited by Chrystopher Nehaniv
(Aizu-Wakamatsu, Japan, 24-26 Mar 1997). This is a gentle introduction to
hidden algebra, with some examples and much motivation.
- Circular Coinduction, by Grigore Rosu and Joseph Goguen.
Dept. Computer Science & Engineering, Univ. of California at San Diego,
Technical Report CSE2000-0647; completed October 1999. Further
generalizations of coinduction and the underlying hidden algebra framework.
- Distributed Cooperative Formal Methods
Tools, by Joseph Goguen, Kai Lin, Akira Mori, Grigore
Rosu and Akiyoshi Sato. Overview of Tatami project tools and methods,
including hidden algebra and algebraic semiotics, with examples.
Proceedings, Automated Software Engineering (Lake Tahoe NV, 3-5 Nov
1997) IEEE, pages 55-62.
- Algebraic Semiotics, ProofWebs and
Distributed Cooperative Proving, with Akira Mori and Kai Lin. Describes the ProofWeb data structure and the
Kumo proof assistant and website generator system, plus methods from semiotics
used in their design, with examples. In Proceedings, User Interfaces for
Theorem Provers (Sophia Antipolis, France, 1-2 Sept 1997) pages 25-34.
- Memories of ADJ. Some
history of the early days of algebraic specification, especially the "ADJ
group." 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, World Scientific,
1993, pages 76-81.
Back to publications index page
Maintained by Joseph Goguen
Last modified: Thu Sep 29 04:11:40 PDT 2005