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

1990 – 1999

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
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)
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

1980 – 1989

see FAQ

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

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.