H ? « ‹ ← → › »

Language peer sets for RML:
Canada↑
Canada/1984↑
Designed 1984 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑

RML(ID:2944/rml001)

Requirements Modelling Language 

alternate simple view
Country: Canada
Designed 1984

Requirements Modelling Language
Greenspan et al University of Toronto

Formal specification language based on possible worlds semantics

Places
Related languages
RML → CML   Evolution of
References:
  • Greenspan, S., Requirements Modelling: A Knowledge (1984) Greenspan, S., Requirements Modelling: A Knowledge Representation Approach to Requirements Definition, Ph.D. thesis, Department of Computer Science, University of Toronto, 1984.
  • Borgida, A.; Greenspan, S.,; and Mylopoulos, J. (1985) Borgida, A.; Greenspan, S.,; and Mylopoulos, J. "Knowledge representation as the basis for requirements specifications" IEEE Comput. 18, 4 (Apr. 1985), 82-91
  • Tuzhilin, Alexander (1995) Tuzhilin, Alexander "Templar: a knowledge-based language for software specifications using temporal logic" ACM Transactions on Information Systems (TOIS) 13(03) July 1995 pp269-304 Extract: RML
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder