Origins of Software Performance Engineering: Highlights and Outstanding Problems
Performance Engineering, State of the Art and Current Trends
Origins of Software Performance Engineering: Highlights and Outstanding Problems
Performance Engineering, State of the Art and Current Trends
Requirements definition and its interface to the SARA design methodology for computer-based systems
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Planning for software tool implementation: experience with Schemacode
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Introduction to software performance engineering: origins and outstanding problems
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
An approach to software system modelling and analysis
Computer Languages
Behavior specification in a software design system
Journal of Systems and Software
Modeling and projection in software development
Journal of Systems and Software
Hi-index | 0.00 |
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.