Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications
Requirements acquisition is one of the most important and least well supported parts of the software development process. The Requirements Apprentice (RA) will assist a human analyst in the creation and modification of software requirements. Unlike current requirements analysis tools, which a...
| Main Authors: | , |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.3/5516 |
| _version_ | 1826200635399208960 |
|---|---|
| author | Rich, Charles Waters, Richard C. |
| author_facet | Rich, Charles Waters, Richard C. |
| author_sort | Rich, Charles |
| collection | MIT |
| description | Requirements acquisition is one of the most important and least well supported parts of the software development process. The Requirements Apprentice (RA) will assist a human analyst in the creation and modification of software requirements. Unlike current requirements analysis tools, which assume a formal description language, the focus of the RA is on the boundary between informal and formal specifications. The RA is intended to support the earliest phases of creating a requirement, in which incompleteness, ambiguity, and contradiction are inevitable features. From an artificial intelligence perspective, the central problem the RA faces is one of knowledge acquisition. It has to develop a coherent internal representation from an initial set of disorganized statements. To do so, the RA will rely on a variety of techniques, including dependency-directed reasoning, hybrid knowledge representation, and the reuse of common forms (clich鳩. The Requirements Apprentice is being developed in the context of the Programmer's Apprentice project, whose overall goal is the creation of an intelligent assistant for all aspects of software development. |
| first_indexed | 2024-09-23T11:39:29Z |
| id | mit-1721.1/5516 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T11:39:29Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/55162019-04-12T07:24:05Z Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications Rich, Charles Waters, Richard C. Programmer's Apprentice knowledge acquisition srequirements clich'es informality specification Requirements acquisition is one of the most important and least well supported parts of the software development process. The Requirements Apprentice (RA) will assist a human analyst in the creation and modification of software requirements. Unlike current requirements analysis tools, which assume a formal description language, the focus of the RA is on the boundary between informal and formal specifications. The RA is intended to support the earliest phases of creating a requirement, in which incompleteness, ambiguity, and contradiction are inevitable features. From an artificial intelligence perspective, the central problem the RA faces is one of knowledge acquisition. It has to develop a coherent internal representation from an initial set of disorganized statements. To do so, the RA will rely on a variety of techniques, including dependency-directed reasoning, hybrid knowledge representation, and the reuse of common forms (clich鳩. The Requirements Apprentice is being developed in the context of the Programmer's Apprentice project, whose overall goal is the creation of an intelligent assistant for all aspects of software development. 2004-08-31T18:12:11Z 2004-08-31T18:12:11Z 1986-07-01 AIM-907 http://hdl.handle.net/1721.3/5516 en_US AIM-907 25 p. 4256761 bytes 1671074 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Programmer's Apprentice knowledge acquisition srequirements clich'es informality specification Rich, Charles Waters, Richard C. Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications |
| title | Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications |
| title_full | Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications |
| title_fullStr | Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications |
| title_full_unstemmed | Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications |
| title_short | Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications |
| title_sort | toward a requirements apprentice on the boundary between informal and formal specifications |
| topic | Programmer's Apprentice knowledge acquisition srequirements clich'es informality specification |
| url | http://hdl.handle.net/1721.3/5516 |
| work_keys_str_mv | AT richcharles towardarequirementsapprenticeontheboundarybetweeninformalandformalspecifications AT watersrichardc towardarequirementsapprenticeontheboundarybetweeninformalandformalspecifications |