On formal requirements modeling languages: RML revisited

This publication has 33 references indexed in Scilit:

• Goal-directed concept acquisition in requirements elicitation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The software information base: A server for reuse
  The VLDB Journal, 1995
• Goal-directed requirements acquisition
  Science of Computer Programming, 1993
• Representation and presentation of requirements knowledge
  IEEE Transactions on Software Engineering, 1992
• VIEWPOINTS: A FRAMEWORK FOR INTEGRATING MULTIPLE PERSPECTIVES IN SYSTEM DEVELOPMENT
  International Journal of Software Engineering and Knowledge Engineering, 1992
• Critiquing software specifications
  IEEE Software, 1988
• gIBIS: a hypertext tool for exploratory policy discussion
  ACM Transactions on Information Systems, 1988
• Language support for the specification and development of composite systems
  ACM Transactions on Programming Languages and Systems, 1987
• A knowledge representation language for requirements engineering
  Proceedings of the IEEE, 1986
• Knowledge Representation as the Basis for Requirements Specifications
  Computer, 1985