 | 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 |
