Behavior specification in a software design system

Authors:
Jack C. Wileden;John H. Sayler;William E. Riddle;Alan R. Segal;Allan M. Stavely
Affiliations:
University of Massachusetts U.S.A.;University of Michigan U.S.A.;software design & analysis, inc. U.S.A.;NBI, Inc. U.S.A.;New Mexico Institute of Mining and Technology U.S.A.
Venue:
Journal of Systems and Software
Year:
1983

Citing 5
Cited 0

A language for formal problem specification

Communications of the ACM
DREAM - an approach to designing large scale, concurrent software systems

ACM '79 Proceedings of the 1979 annual conference
Behavior Modeling During Software Design

IEEE Transactions on Software Engineering
Software Descriptions with Flow Expressions

IEEE Transactions on Software Engineering
An approach to software system behavior description

Computer Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

A technique for software system behavior specification appropriate for use in designing systems with concurrency is presented. The technique is based upon a generalized ability to define events, or significant occurrences in a software system, and then indicate whatever constraints the designer might wish to see imposed upon the ordering or simultaneity of those events. Constructs implementing this technique in the DREAM software design system are presented and illustrated. The relationship of this technique to other behavior specification techniques is also discussed.