A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
The Role of Domain Expenence in Software Design
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Understanding and Automating Algorithm Design
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A survey and classification of some program transformation approaches and techniques
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
PLEASE:Predictable Logic based ExecutAble SpeCifications
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
The operational versus the conventional approach to software development
Communications of the ACM
The Evolution of Programs
Structured Analysis and System Specification
Structured Analysis and System Specification
A logic of action for supporting goal-oriented elaborations of requirements
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Building an evolution transformation library
ICSE '90 Proceedings of the 12th international conference on Software engineering
Automatic Derivation of Formal Software Specifications from Informal Descriptions
IEEE Transactions on Software Engineering
Applying domain and design knowledge to requirements engineering
ACM SIGOIS Bulletin - Special issue on information system design support tools
Representation and Presentation of Requirements Knowledge
IEEE Transactions on Software Engineering
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Connecting viewpoints by shared phenomena
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
ICSE '91 Proceedings of the 13th international conference on Software engineering
Classification of research efforts in requirements engineering
ACM Computing Surveys (CSUR)
KBRA: A New Paradigm for Requirements Engineering
IEEE Expert: Intelligent Systems and Their Applications
Problem frame transformations: deriving specifications from requirements
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Hi-index | 0.00 |
Specification-based software development makes software easier to validate and maintain. Yet specifications of large systems are themselves large, making understanding and validation difficult. One cause for this problem is that specifications and requirements are kept distinct. This paper describes an approach to specification development in which the specification arises naturally through the requirements analysis process. The emerging specification is developed into a complete system description using formal transformations called high-level editing commands. Automated support for this development process within the Knowledge-Based Specification Assistant will be described. This support involves applying high-level editing commands, assisting in the choice of editing commands, and tracking the effects of these commands.