Statecharts: A visual formalism for complex systems
Science of Computer Programming
Completeness, robustness, and safety in real-time software requirements specifications: a logical positivist looks at requirements engineering
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Safeware: system safety and computers
Safeware: system safety and computers
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Intent Specifications: An Approach to Building Human-Centered Specifications
IEEE Transactions on Software Engineering
Using the SCR* Toolset to Specify Software Requirements
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Investigating the readability of state-based formal requirements specification languages
Proceedings of the 24th International Conference on Software Engineering
An Approach to Designing Safe Embedded Software
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Hidden Implementation Dependencies in High Assurance and Critical Computing Systems
IEEE Transactions on Software Engineering
Towards normal design for safety-critical systems
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Integrating prototyping into the SOFL three-step modeling approach
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Safety process improvement with POSE and alloy
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Checking sanity of software requirements
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
| Hi-index | 0.00 |
This paper examines the issue of completeness in specification language design. In the mid-80s we identified a set of 26 formal criteria to identify missing, incorrect, and ambiguous requirements for process-control systems. Experimental validation of the criteria on NASA and NASDA spacecraft systems have supported their usefulness in detecting commonly omitted but important information and engineers have been using them in checklist form on real systems. At the same time, we have extended the criteria and now have over 60. This paper shows how most of the criteria can be embedded in a formal specification language in ways that potentially allow automated checking or assist in manual reviews.