A proposed perspective shift: viewing specification design as a planning problem

This publication has 6 references indexed in Scilit:

• Integrating multiple specifications using domain goals
  Published by Association for Computing Machinery (ACM) ,1989
• Constructing specifications by combining parallel elaborations
  IEEE Transactions on Software Engineering, 1989
• Adaptive Planning
  Cognitive Science, 1988
• Language support for the specification and development of composite systems
  ACM Transactions on Programming Languages and Systems, 1987
• Counterplanning: A strategy-based model of adversary planning in real-world situations
  Artificial Intelligence, 1981
• Planning and Acting*
  Cognitive Science, 1978