Search the dblp DataBase
Ataru T. Nakagawa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Ataru T. Nakagawa
Process Versus Product, Abstraction and Formalism: A Personal Perspective. [Citation Graph (0, 0)][DBLP]
EWSPT, 1992, pp:146-149 [Conf] - Kokichi Futatsugi, Ataru T. Nakagawa
An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks. [Citation Graph (0, 0)][DBLP]
ICFEM, 1997, pp:170-0 [Conf] - Ataru T. Nakagawa, Kokichi Futatsugi
Stepwise Refinement Process with Modularity: An Algebraic Approach. [Citation Graph (0, 0)][DBLP]
ICSE, 1989, pp:166-177 [Conf] - Ataru T. Nakagawa, Kokichi Futatsugi
Software Process à la Algebra: OBJ for OBJ. [Citation Graph (0, 0)][DBLP]
ICSE, 1990, pp:12-23 [Conf] - Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu
Algebraic Specification of Macintosh's Quickdraw Using OBJ2. [Citation Graph (0, 0)][DBLP]
ICSE, 1988, pp:334-343 [Conf] - Ataru T. Nakagawa, Kokichi Futatsugi
Product-based process models. [Citation Graph (0, 0)][DBLP]
ISPW, 1989, pp:101-105 [Conf] - Ataru T. Nakagawa, Kokichi Futatsugi
Formalizing humans in software processes. [Citation Graph (0, 0)][DBLP]
ISPW, 1994, pp:60-61 [Conf] - Ataru T. Nakagawa
Algebra-Coalgebra Structures and Bialgebras. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:329-347 [Conf]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002