RAPID-WS (Requirements Process in Design for Weapon Systems) is an advanced research and development project conducted by the Air Force Armstrong Laboratory, Logistics Research Division RAPID-WS prototypes and demonstrates decision support system tools and supporting methodologies to improve requirements determination and analysis in a concurrent collaborative environment
Air Force Instruction 10-601. U.S. Air Force, 16 February 1993. Operational Requirements. Mission Needs and Operational Requirements Guidance and Procedures.
2.
Air Force Policy Directive 10-6. U.S. Air Force , 19 January 1993. Mission Needs and Operational Requirements .
3.
Bell, T.E., D.C. Bixler and M.E. Dyer.1977. "An Extendable Approach to Computer-Aided Software Requirements Engineering," IEEE Transactions of Software Engineering, SE-3:849-860.
4.
Bhasker. J.1992. A VHDL PrimerNew York: Prentice Hall.
5.
Bird. J.1993. "Loh: AF Didn't Intend to Deceive Congress on B-1 ," Air Force Times, 12 July.
6.
Borgida, A., S. Greenspan and J. Mylopoulos.1985. "Knowledge Representation as the Basis for Requirements Specification" IEEE Computer, 18:82-91.
7.
Carlson, L. and S. Nirenburg.1990. "World Modeling for NLP," Technical Report CMU-CMT-90-121, Center for Machine Translation at CMU.
8.
Bull 991.Charme Pro Manual, BULL S.A., France.
9.
Czuchry, A.J. and D.R. Harris.1988. "KBRA: A New Paradigm for Requirements Engineering," IEEE Expert, 3:21-35.
10.
Davis, A.M.1988. "A Comparison of Techniques for the Specification of External System Behaviour," Communications of the ACM,31:1098-1115.
11.
Fox, M.S.1986. "Observations on the Role of Constraints in Problem Solving ," in Proceedings of the Annual Conference of the Canadian Society for Computational Studies of Intelligence, Montreal, Quebec, May.
12.
Hagelstein, J.1988. "Declarative Approach to Information System Requirements," Knowledge Based Systems , 1:211-220.
13.
Hill, R.1991. "Decision Support Environment for Concurrent Engineering Requirements," Technical Report AFHRL-TP-90-89, Air Force Human Resources Laboratory, Brooks AFB, TX.
14.
Hill, R.1991. "Improving the Requirements Process in Acquisition ," Proceedings of 1991 Acquisition Research Symposium June.
15.
Knowledge Based Systems, Inc.1992. "Information Systems Constraint Language (ISyCL)-Draft," Technical Report KBSI-IICE-STR-01-0992-02, Knowledge Based Systems, Inc.
16.
Kent, G.A.1989. A Framework for Defense Planning. Santa Monica, CA: Rand.
17.
Genersereth, M.R. and R.E. Fikes.1992. "Knowledge Interchange Format, Version 3.0 Reference Manual," Technical Report Logic-92-1, Computer Science Dept., Stanford University, Palo Alto, CA.
18.
Neches, R., R. Fikes, T. Finin, T. Gruber, R. Patil, T. Senator and W.R. Swartout.1991. "Enabling Technology for Knowledge Sharing ," AI Magazine, 12(3):36-56, Fall.
Kott, A., G. Agin and D. Fawcett.1992. "Configuration Tree Solver. A Technology for Automated Design and Configuration," ASME Journal of Mechnical Design , 114(1):187-195, March.
21.
Kott, A., C. Kollar and A. Cederquist.1992. "The Role of Product Modeling in Concurrent Engineering Environments," International Journal of Systems Automation: Research and Applications, 2(1):1-16.
22.
Guttag, J.V. , J.J. Homing and J.M. Wing.1985. " The Larch Family of Specification Languages," IEEE Software , (September):24-36.
23.
Lee, J.1991. "Extending the Potts and Bruns Model for Recording Design Rationale," in Proceedings of the 13th International Conference on Software Engineering, IEEE, Austin, TX, March, pp. 114-124.
24.
Lyons, J.1977. Semantics, Volume 2, Cambridge : Cambridge University Press.
25.
Military Standard. Systems Engineering. Draft of May 6, 1992. MIL-STD-499B.
26.
Nirenburg, S. and C. Defrise.1992. "Application-Oriented Computational Semantics," Studies in NL Processing. Computational Linguistics and Formal Semantics, Cambridge: Cambridge University Press.
27.
Menzel, Christoper P. and Richard J. Mayer.1991. "Theoretical Foundations for Information Representation and Constraint Specification," Technical Report AL-TP-1991-0044, Human Resources Directorate, WPAFB, 1991.
28.
Ilog.1993. Pecos C++ Reference Manual, Gentilly, France: ILOG.
29.
Naft, J., M. Palmer, B. Newsom and R. Kissh.1992. "Unified Life Cycle Engineering Evaluation of Electronics Designs," Technical Report WL-TR-92-8040, Wright Laboratory.
30.
Reubenstein, H. and R. Waters.1989. "The Requirements Apprentice : An Initial Scenario," Transactions of the ACM , 305(1):211-218.
31.
ROCK Documentation Set. Available from Carnegie Group, Inc., Pittsburgh, PA.
32.
Spivey, J.M.1989. The Z Notation. New York: Prentice Hall.
33.
Stokes, D.A.1991. "Requirements Analysis," in Software Engineer's Reference Book, J. McDermid, ed., Boca Raton, FL: CRC Press, Inc., pp. 16/3-16/21.
34.
Tong, C. and A. Gomory.1993. "A Knowledge-Based Computer Environment for the Conceptual Design of Small Electromechanical Appliances," Computer, 26(1):69-71, Janaury.
35.
1993. Using Formal Description Techniques. An Introduction to Estelle, Lotos, and SDL, Turner, ed., New York: John Wiley & Sons.
36.
Weiner, T.1993. "Military Is Accused of Lying on Arms for Decade ," New York Times, 28, June.
37.
Wing, J.M.1988. "A Study of 12 Specifications of the Library Problem ," IEEE Software (July):66-76.
