Rapid prototyping of control systems using high level Petri nets
ICSE '85 Proceedings of the 8th international conference on Software engineering
Communication - Nets for the specification of operator dialogs
CHI '82 Proceedings of the 1982 Conference on Human Factors in Computing Systems
A Task Allocation Model for Distributed Computing Systems
IEEE Transactions on Computers
Software management issues for new system designs
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
A software requirements analysis and definition methodology for business data processing
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Development tools for bus controller software
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
Automating the software development process
IBM Systems Journal
Analytical verification of information system requirements using petri net properties
Information and Software Technology
Brief paper: Invariants in the application-oriented specification of control systems
Automatica (Journal of IFAC)
A practical approach to specification technology selection
Journal of Systems and Software
ASSET: A life cycle verification and visibility system
Journal of Systems and Software
Functional testing and design abstractions
Journal of Systems and Software
Software development for reliable software systems
Journal of Systems and Software
Seven basic principles of software engineering
Journal of Systems and Software
Software requirements and specifications: A survey of needs and languages
Journal of Systems and Software
Hi-index | 0.01 |
This paper describes a methodology for the generation of software requirements for large, real-time unmanned weapons systems. It describes what needs to be done, how to evaluate the intermediate products, and how to use automated aids to improve the quality of the product. An example is provided to illustrate the methodology steps and their products and the benefits. The results of some experimental applications are summarized.