Automating the Transformational Development of Software
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
The Programmer's Apprentice: A Session with KBEmacs
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Two-dimensional program design
IEEE Transactions on Software Engineering
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program developments: formal explanations of implementations
Communications of the ACM
On the inevitable intertwining of specification and implementation
Communications of the ACM
Software Specification Techniques (International Computer Science Series)
Software Specification Techniques (International Computer Science Series)
A Relational Data Base Foundation for Process Specification
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Deriving specifications from requirements
ICSE '88 Proceedings of the 10th international conference on Software engineering
A logic of action for supporting goal-oriented elaborations of requirements
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Detecting interference when merging specification evolutions
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A proposed perspective shift: viewing specification design as a planning problem
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Integrating multiple specifications using domain goals
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Building an evolution transformation library
ICSE '90 Proceedings of the 12th international conference on Software engineering
Negotiation behavior during requirements specification
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
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
IEEE Transactions on Software Engineering - Special issue on software maintenance
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Software requirements negotiation and renegotiation aids
Proceedings of the 17th international conference on Software engineering
EVA: A Flexible Programming Method for Evolving Systems
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
New Approach to Requirements Trade-Off Analysis for Complex Systems
IEEE Transactions on Knowledge and Data Engineering
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Requirements interaction management
ACM Computing Surveys (CSUR)
A "Coming and Going" Approach to Specification Construction: A Scenario
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Seven (plus or minus two) challenges for requirements research
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Hi-index | 0.00 |
An incremental approach to construction is proposed, with the virtue of offering considerable opportunity for mechanized support. Following this approach one builds a specification through a series of elaborations that incrementally adjust a simple initial specification. Elaborations perform both refinements, adding further detail, and adaptations, retracting oversimplifications and tailoring approximations to the specifics of the task. It is anticipated that the vast majority of elaborations can be concisely described to a mechanism that will then perform them automatically. When elaborations are independent, they can be applied in parallel, leading to diverging specifications that must later be recombined. The approach is intended to facilitate comprehension and maintenance of specifications, as well as their initial construction.