A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
The FAA's Advanced Automation System: Strategies for Future Air Traffic Control Systems
Computer - The FAA's Advanced Automation Program
Report on a knowledge-based software assistant
Readings in artificial intelligence and software engineering
The Z notation: a reference manual
The Z notation: a reference manual
Justification of formal methods for system specification
Software Engineering Journal - Special Section on Z
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The Requirements Apprentice: Automated Assistance for Requirements Acquisition
IEEE Transactions on Software Engineering
Automatic Derivation of Formal Software Specifications from Informal Descriptions
IEEE Transactions on Software Engineering
Representation and Presentation of Requirements Knowledge
IEEE Transactions on Software Engineering
Application and benefits of formal methods in software development
Software Engineering Journal
IEEE Software
Assisting requirement formalization by means of natural language translation
Formal Methods in System Design
Case-based reasoning
Strategies for incorporating formal specifications in software development
Communications of the ACM
Software Engineering
Developing Formal Specifications from Informal Requirements
IEEE Expert: Intelligent Systems and Their Applications
Integrating Structured and Formal Methods: A Visual Approach to VDM
ESEC '91 Proceedings of the 3rd European Software Engineering Conference
The SAZ Project: Integrating SSADM and Z.
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
The analysis of natural language requirements documents
The analysis of natural language requirements documents
An efficient easily adaptable system for interpreting natural language queries
Computational Linguistics
Referring to world objects with text and pictures
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 1
Hi-index | 0.00 |
During the last decade, one important contribution towards requirements engineering has been the advent of formal specification languages. They offer a well‐defined notation that can improve consistency and avoid ambiguity in specifications. However, the process of obtaining formal specifications that are consistent with the requirements is itself a difficult activity. Hence, various researchers are developing systems that aid the transition from informal to formal specifications. The kind of problems tackled and the contributions made by these proposed systems are very diverse. This paper brings these studies together to provide a vision for future architectures that aim to aid the transition from informal to formal specifications. The new architecture, which is based on the strengths of existing studies, tackles a number of key issues in requirements engineering such as identifying ambiguities, incompleteness, and reusability. The paper concludes with a discussion of the research problems that need to be addressed in order to realise the proposed architecture.