This Article 
 Bibliographic References 
 Add to: 
Behavior Modeling During Software Design
July 1978 (vol. 4 no. 4)
pp. 283-292
W.E. Riddle, Department of Computer Science, University of Colorado
A modeling scheme is presented which provides a medium for the rigorous, formal, and abstract specification of large-scale software system components. The scheme allows the description of component behavior without revealing or requiring the description of a component's internal operation. Both collections of sequential processes and the data objects which they share may be described. The scheme is of particular value during the early stages of software system design, when the system's modules are being delineated and their interactions designed, and when rigorous, well-defined specification of undesigned components allows formal and informal arguments concerning the design's correctness to be formulated.
Index Terms:
software system behavior modeling, Desired behavior specification, DREAM, event-based models, message transfer models, nonprocedural specification, software design analysis, software design languages
W.E. Riddle, J.C. Wileden, J.H. Sayler, A.R. Segal, A.M. Stavely, "Behavior Modeling During Software Design," IEEE Transactions on Software Engineering, vol. 4, no. 4, pp. 283-292, July 1978, doi:10.1109/TSE.1978.231513
Usage of this product signifies your acceptance of the Terms of Use.