Kokichi Futatsugi

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Name

Homepage

E-Mail

Address

JAIST (Japan Advanced Institute of Science and Technology)
1-1 Asahidai, Tatsunokuchi
Ishikawa, Japan
923-1292
Voice: +81-761-51-1255
Fax: + 81-761-51-1149

Institution

Publications

1994:
/Nakagawa, 1994/ Formalizing humans in software processes

1990:
/Futatsugi, 1990/ Product-centered process description = algebraic specification of environment + SCRIPT
/Nakagawa, 1990/ Software Process à la Algebra: OBJ for OBJ

1989:
/Nakagawa, 1989/ Product-based process models

Also in

GDPA Online Last Updated 01.May.2002 Updated by Webmaster Last Revised 01.May.2002 Revised by Webmaster