Trace Specifications: Methodology and Models
IEEE Transactions on Software Engineering
Functional documents for computer systems
Science of Computer Programming
Tabular representations in relational documents
Relational methods in computer science
A technique for software module specification with examples
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Software fundamentals: collected papers by David L. Parnas
Software fundamentals: collected papers by David L. Parnas
Software Specification Techniques (International Computer Science Series)
Software Specification Techniques (International Computer Science Series)
Predicate Logic for Software Engineering
IEEE Transactions on Software Engineering
Algebraic specifications: some old history and new thoughts
Nordic Journal of Computing
A procedure for designing abstract interfaces for device interface modules
ICSE '81 Proceedings of the 5th international conference on Software engineering
Specifying and simulating the externally observable behavior of modules
Specifying and simulating the externally observable behavior of modules
Disciplined Methods of Software Specification: A Case Study
ITCC '05 Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'05) - Volume II - Volume 02
Specifying Software Requirements for Complex Systems: New Techniques and Their Application
IEEE Transactions on Software Engineering
The Modular Structure of Complex Systems
IEEE Transactions on Software Engineering
Software engineering: multi-person development of multi-version programs
Dependable and Historic Computing
Hi-index | 0.00 |
For at least 4 decades, managers, customers, and anyone else who wanted to acquire software, has bemoaned our inability to specify exactly what is required when we want software built. Those who maintain software or use software complain about the lack of a precise description of what it does. Numerous specification methods, none of which have been found to be satisfactory have been proposed. This paper discusses documentation methods,why we need one and what a good one might be like.