On Formal Requirements Modeling Languages: RML Revisited.

Sol J. Greenspan John Mylopoulos Alexander Borgida

Published in: ICSE (1994)

Keyphrases

modeling language
formal methods
metamodel
software development process
requirements specification
computer interpretable
requirements engineering
control flow
databases
petri net
formal specification
business process modeling