1999 |
8 | | Ataru T. Nakagawa:
Algebra-Coalgebra Structures and Bialgebras.
WADT 1999: 329-347 |
1997 |
7 | | Kokichi Futatsugi,
Ataru T. Nakagawa:
An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks.
ICFEM 1997: 170- |
1994 |
6 | | Ataru T. Nakagawa,
Kokichi Futatsugi:
Formalizing humans in software processes.
ISPW 1994: 60-61 |
1992 |
5 | | Ataru T. Nakagawa:
Process Versus Product, Abstraction and Formalism: A Personal Perspective.
EWSPT 1992: 146-149 |
1990 |
4 | | Ataru T. Nakagawa,
Kokichi Futatsugi:
Software Process à la Algebra: OBJ for OBJ.
ICSE 1990: 12-23 |
1989 |
3 | | Ataru T. Nakagawa,
Kokichi Futatsugi:
Stepwise Refinement Process with Modularity: An Algebraic Approach.
ICSE 1989: 166-177 |
2 | | Ataru T. Nakagawa,
Kokichi Futatsugi:
Product-based process models.
ISPW 1989: 101-105 |
1988 |
1 | | Ataru T. Nakagawa,
Kokichi Futatsugi,
Satoru Tomura,
T. Shimizu:
Algebraic Specification of Macintosh's Quickdraw Using OBJ2.
ICSE 1988: 334-343 |