Deriving specification from requirements

This publication has 10 references indexed in Scilit:

• Constructing specifications by combining parallel elaborations
  IEEE Transactions on Software Engineering, 1989
• Language support for the specification and development of composite systems
  ACM Transactions on Programming Languages and Systems, 1987
• PLEASE:Predictable Logic based ExecutAble SpeCifications
  Published by Association for Computing Machinery (ACM) ,1986
• Understanding and Automating Algorithm Design
  IEEE Transactions on Software Engineering, 1985
• The Role of Domain Expenence in Software Design
  IEEE Transactions on Software Engineering, 1985
• A 15 Year Perspective on Automatic Programming
  IEEE Transactions on Software Engineering, 1985
• The operational versus the conventional approach to software development
  Communications of the ACM, 1984
• The Evolution of Programs
  Published by Springer Nature ,1983
• Synthesis: Dreams → Programs
  IEEE Transactions on Software Engineering, 1979
• PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems
  IEEE Transactions on Software Engineering, 1977