ICSE '76 Proceedings of the 2nd international conference on Software engineering
The Software Development System
ICSE '76 Proceedings of the 2nd international conference on Software engineering
ACM SIGSIM Simulation Digest
GMSS graphic modelling and simulation system
ANSS '83 Proceedings of the 16th annual symposium on Simulation
Computer aided design of software systems
ICSE '79 Proceedings of the 4th international conference on Software engineering
The establishment and use of measures to evaluate the quality of software designs
Proceedings of the software quality assurance workshop on Functional and performance issues
Scenario-based prototyping for requirements identification
Proceedings of the workshop on Rapid prototyping
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
Hi-index | 0.00 |
The DAS is an automated system that supports design verification with the goal of improved software quality and reduced life cycle costs. The integral use of a system engineering language for requirements and design specification, automatic simulation model generation, and user-oriented features are key to the comprehensive approach. This paper briefly describes DAS' components and its intended application.