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 :
بازگشت