Behavior specification in a software design system

Jack C. Wileden, John H. Sayler, William E. Riddle, Alan R. Segal, Allan M. Stavely. Behavior specification in a software design system. Journal of Systems and Software, 3(2):123-135, 1983. [doi]

Authors

Jack C. Wileden

This author has not been identified. Look up 'Jack C. Wileden' in Google

John H. Sayler

This author has not been identified. Look up 'John H. Sayler' in Google

William E. Riddle

This author has not been identified. Look up 'William E. Riddle' in Google

Alan R. Segal

This author has not been identified. Look up 'Alan R. Segal' in Google

Allan M. Stavely

This author has not been identified. Look up 'Allan M. Stavely' in Google