Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Principles of Program Design
Structured Analysis and System Specification
Structured Analysis and System Specification
Viewpoint analysis: a case study
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Requirements Validation Through Viewpoint Resolution
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
Using formal methods for teaching software engineering: a tool-based approach
Annals of Software Engineering - Special issue on software engineering education
Requirements and Specification Exemplars
Automated Software Engineering
Object-Oriented Program Comprehension: Effect of Expertise, Task and Phase
Empirical Software Engineering
Visualization of Formal Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
How Modeling Methods Affect the Process of Architectural Design Decisions: A Comparative Study
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Case study, interrupted: the paucity of subject systems that span the requirements-architecture gap
Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
Hi-index | 0.00 |
The author studies twelve specifications for a seemingly simple database problem and demonstrates many approaches for classifying informally stated problem requirements. She compares the specifications according to how they address problems of the library example to illustrate the imprecision of natural-language specifications and how twelve different approaches to the same set of informal requirements reveal many of the same problems. The comparison suggests which issues should be addressed in refining an informal set of requirements and shows how these issues are resolved in different specification approaches.