Ataru T. Nakagawa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1988–1997
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | ICFEM | An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks. | Kokichi Futatsugi, Ataru T. Nakagawa |
| 1990 | ICSE | Software Process la Algebra: OBJ for OBJ. | Ataru T. Nakagawa, Kokichi Futatsugi |
| 1989 | ICSE | Stepwise Refinement Process with Modularity: An Algebraic Approach. | Ataru T. Nakagawa, Kokichi Futatsugi |
| 1988 | ICSE | Algebraic Specification of Macintosh's Quickdraw Using OBJ2. | Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu |