BEHAVIOR SPECIFICATION IN A SOFTWARE-DESIGN SYSTEM

Authors

JC Wileden
JH SAYLER
WE RIDDLE
AR SEGAL
AM STAVELY

Publication Date

1983

Journal or Book Title

JOURNAL OF SYSTEMS AND SOFTWARE

Pages

123-135

Volume

3

Issue

2

Recommended Citation

Wileden, JC; SAYLER, JH; RIDDLE, WE; SEGAL, AR; and STAVELY, AM, "BEHAVIOR SPECIFICATION IN A SOFTWARE-DESIGN SYSTEM" (1983). JOURNAL OF SYSTEMS AND SOFTWARE. 1289.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/1289