Ataru T. Nakagawa

Publication Activity (10 Years)

Years Active: 1988-1999
Publications (10 Years): 0

Publications

Ataru T. Nakagawa
Algebra-Coalgebra Structures and Bialgebras. WADT (1999)
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)
Ataru T. Nakagawa, Kokichi Futatsugi
Formalizing humans in software processes. ISPW (1994)
Ataru T. Nakagawa
Process Versus Product, Abstraction and Formalism: A Personal Perspective. EWSPT (1992)
Ataru T. Nakagawa, Kokichi Futatsugi
Propagating changes in algebraic specifications. Softw. Eng. J. 6 (6) (1991)
Ataru T. Nakagawa, Kokichi Futatsugi
Software Process à la Algebra: OBJ for OBJ. ICSE (1990)
Ataru T. Nakagawa, Kokichi Futatsugi
Stepwise Refinement Process with Modularity: An Algebraic Approach. ICSE (1989)
Ataru T. Nakagawa, Kokichi Futatsugi
Product-based process models. ISPW (1989)
Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu
Algebraic Specification of Macintosh's Quickdraw Using OBJ2. ICSE (1988)