Ataru T. Nakagawa

According to our database, Ataru T. Nakagawa authored at least 9 papers between 1988 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1999

Algebra-Coalgebra Structures and Bialgebras.

Ataru T. Nakagawa

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

1997

An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks.

Kokichi Futatsugi, Ataru T. Nakagawa

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1994

Formalizing humans in software processes.

Ataru T. Nakagawa, Kokichi Futatsugi

Proceedings of the Ninth International Software Process Workshop (ISPW '94), 1994

1992

Process Versus Product, Abstraction and Formalism: A Personal Perspective.

Ataru T. Nakagawa

Proceedings of the Software Process Technology, Second European Workshop, 1992

1991

Propagating changes in algebraic specifications.

Ataru T. Nakagawa, Kokichi Futatsugi

Softw. Eng. J., 1991

1990

Software Process à la Algebra: OBJ for OBJ.

Ataru T. Nakagawa, Kokichi Futatsugi

Proceedings of the 12th International Conference on Software Engineering, 1990

1989

Product-based process models.

Ataru T. Nakagawa, Kokichi Futatsugi

Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

Stepwise Refinement Process with Modularity: An Algebraic Approach.

Ataru T. Nakagawa, Kokichi Futatsugi

Proceedings of the 11th International Conference on Software Engineering, 1989

1988

Algebraic Specification of Macintosh's Quickdraw Using OBJ2.

Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu

Proceedings of the Proceedings, 1988