• 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