 | |
References
in the i* thesis | |
|
Formal Requirement Modelling Languages
Formal Modelling Languages were developed to address problems of ambiguity, imprecision, and to help manage the large amount of knowledge that are covered in informal or semi-formal requirements (e.g. graphical notations such as SADT).(p8)
RML
[Greenspan82,84,94]
ERAE
[Dubois86]
|