The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July (1978 vol.4)
pp: 283-292
W.E. Riddle , Department of Computer Science, University of Colorado
ABSTRACT
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
CITATION
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
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool