Abstract
Abstract : This report defines a ten-year R&D program for requirements engineering. The program will assist in the development of a Requirements Engineering Testbed of tools and methodologies for defining the requirements of planned operational systems and for examining research issues in requirements engineering. The Formal Language Track attempts to formally represent requirements and specifications in the same executable language and to develop analysis tools which provide feedback on the requirements and specifications. Such analysis includes treating the specification as a prototype and determining whether the requirements are satisfied. The Evolutionary Track is based on extending existing requirements and specifications techniques. It emphasizes prototyping with scenario generation and execution capabilities in the near/ midterm, and then selectivity enhancing the associated methods, techniques and tools over the long term. In addition to this research approach, the Evolutionary Track attempts testbed integration through development of a common user interface and database for tools. In the course of its work, panel created a generic model of the requirements engineering process, which proved to be of value in many requirements engineering discussions. The panel also characterized the background and objectives of testbed users and analyzed the possible R&D issues in the two tracks.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
