The SCEAS System
Navigation Menu

Search the dblp DataBase


Ataru T. Nakagawa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ataru T. Nakagawa
    Process Versus Product, Abstraction and Formalism: A Personal Perspective. [Citation Graph (0, 0)][DBLP]
    EWSPT, 1992, pp:146-149 [Conf]
  2. 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]
  3. Ataru T. Nakagawa, Kokichi Futatsugi
    Stepwise Refinement Process with Modularity: An Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    ICSE, 1989, pp:166-177 [Conf]
  4. Ataru T. Nakagawa, Kokichi Futatsugi
    Software Process à la Algebra: OBJ for OBJ. [Citation Graph (0, 0)][DBLP]
    ICSE, 1990, pp:12-23 [Conf]
  5. 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]
  6. Ataru T. Nakagawa, Kokichi Futatsugi
    Product-based process models. [Citation Graph (0, 0)][DBLP]
    ISPW, 1989, pp:101-105 [Conf]
  7. Ataru T. Nakagawa, Kokichi Futatsugi
    Formalizing humans in software processes. [Citation Graph (0, 0)][DBLP]
    ISPW, 1994, pp:60-61 [Conf]
  8. Ataru T. Nakagawa
    Algebra-Coalgebra Structures and Bialgebras. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:329-347 [Conf]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002