default search action

combined dblp search
author search
venue search
publication search

ask others

Ataru T. Nakagawa

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

1991
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/NakagawaF91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/NakagawaF91
Ataru T. Nakagawa, Kokichi Futatsugi:
Propagating changes in algebraic specifications. Softw. Eng. J. 6(6): 476-486 (1991)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/Nakagawa99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/Nakagawa99
Ataru T. Nakagawa:
Algebra-Coalgebra Structures and Bialgebras. WADT 1999: 329-347
1997
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/FutatsugiN97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/FutatsugiN97
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: 170-182
1994
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ispw/NakagawaF94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/NakagawaF94
Ataru T. Nakagawa, Kokichi Futatsugi:
Formalizing humans in software processes. ISPW 1994: 60-61
1992
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ewspt/Nakagawa92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewspt/Nakagawa92
Ataru T. Nakagawa:
Process Versus Product, Abstraction and Formalism: A Personal Perspective. EWSPT 1992: 146-149
1990
[c4]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/icse/NakagawaF90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NakagawaF90
Ataru T. Nakagawa, Kokichi Futatsugi:
Software Process à la Algebra: OBJ for OBJ. ICSE 1990: 12-23
1989
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NakagawaF89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NakagawaF89
Ataru T. Nakagawa, Kokichi Futatsugi:
Stepwise Refinement Process with Modularity: An Algebraic Approach. ICSE 1989: 166-177
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ispw/NakagawaF89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/NakagawaF89
Ataru T. Nakagawa, Kokichi Futatsugi:
Product-based process models. ISPW 1989: 101-105
1988
[c1]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/icse/NakagawaFTS88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NakagawaFTS88
Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu:
Algebraic Specification of Macintosh's Quickdraw Using OBJ2. ICSE 1988: 334-343

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.