Integrating obstacles in goal-driven requirements engineering

This publication has 19 references indexed in Scilit:

• Classification of research efforts in requirements engineering
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Elements of style
  Published by Association for Computing Machinery (ACM) ,1996
• STeP: Deductive-algorithmic verification of reactive and real-time systems
  Published by Springer Nature ,1996
• Towards a derivational style of distributed system design ? An example
  Automated Software Engineering, 1994
• Goal-directed requirements acquisition
  Science of Computer Programming, 1993
• Representing and using nonfunctional requirements: a process-oriented approach
  IEEE Transactions on Software Engineering, 1992
• Knowledge representation and reasoning in the design of composite systems
  IEEE Transactions on Software Engineering, 1992
• Integrating multiple specifications using domain goals
  Published by Association for Computing Machinery (ACM) ,1989
• Language support for the specification and development of composite systems
  ACM Transactions on Programming Languages and Systems, 1987
• Hierarchical ordering of sequential processes
  Acta Informatica, 1971