|
|||||
|
|
Behavior specification in a software design system |
|
| Authors: | Jack C Wileden John H Sayler William E Riddle Alan R Segal Allan M Stavely |
| Affiliation: | 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. |
| 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. |
| Keywords: | Address correspondence to Professor Jack C Wileden Computer and Information Science Department University of Massachusetts Amherst MA 01003 |
| 本文献已被 ScienceDirect 等数据库收录！ | |