A tool to support design automation in batch manufacturing
DAC '80 Proceedings of the 17th Design Automation Conference
Languages for representing software specifications and designs
ACM SIGSOFT Software Engineering Notes
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
| Hi-index | 0.00 |
The development of a computer system requires the definition of a precise set of properties or constraints that the system must satisfy with maximum economy and efficiency. This definition process requires a significant amount of communication between the requestor and the developer of the system. In recent years, several methodologies and tools have been proposed to improve this communication process. This paper establishes a framework for examining the methodologies and techniques, charting the progress made, and identifying opportunities to improve the communication capabilities of a requirements engineering tool.