DocumentCode
1888344
Title
On formal requirements modeling languages: RML revisited
Author
Greenspan, Sol ; Mylopoulos, John ; Borgida, Alex
Author_Institution
GTE Labs. Inc., Waltham, MA, USA
fYear
1994
fDate
16-21 May 1994
Firstpage
135
Lastpage
147
Abstract
Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the time it was first proposed at the Sixth International Conference on Software Engineering (ICSE-6) to the present - ten ICSEs later. We note that the central theme of “Capturing More World Knowledge” in the original RML proposal is becoming increasingly important in requirements engineering. The paper highlights key ideas and research issues that have driven RML and its peers, evaluates them retrospectively in the context of experience and more recent developments, and points out significant remaining problems and directions for requirements modeling research
Keywords
formal specification; software engineering; specification languages; RML; formal requirements modeling languages; functional specification; requirements modeling; requirements modeling research; Computer science; Context modeling; Educational institutions; Error correction; Information analysis; Knowledge engineering; Laboratories; Proposals; Shape; Software engineering;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1994. Proceedings. ICSE-16., 16th International Conference on
Conference_Location
Sorrento
ISSN
0270-5257
Print_ISBN
0-8186-5855-X
Type
conf
DOI
10.1109/ICSE.1994.296773
Filename
296773
Link To Document