A graph-theoretic approach for timing analysis and its implementation
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Using Ada 95 for the design of distributed real-time systems
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Validating Requirements for Fault Tolerant Systems using Model Checking
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
On the concurrent behaviour of SCR specifications
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Applying Practical Formal Methods to the Specification and Analysis of Security Properties
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
Safety Analysis Techniques for Validating Formal Models During Verification
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Applicability of Non-Specification-Based Approaches to Logic Testing for Software
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
A requirement model for the 5th generation
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
An experiment to assess cost-benefits of inspection meetings and their alternatives: a pilot study
METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
Using the SCR* Toolset to Specify Software Requirements
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Specification and Analysis of System Level Inter-Component Communication
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A Generic Approach to the Formal Specification of Requirements
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Requirements definition and its interface to the SARA design methodology for computer-based systems
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Document based rational software development
Knowledge-Based Systems
Quantitative assessment of enterprise resource planning software customisation
International Journal of Information Systems and Change Management
Component Interface Documentation: What do we Need and Why do we Need it?
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Provably Correct Code Generation: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Flexible and extensible notations for modeling languages
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Coverage criteria for state based specifications
Formal methods and testing
Defining the meaning of tabular mathematical expressions
Science of Computer Programming
From Requirements to Architecture
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
On the Toyota's Throttle Control Problem
GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
A formal library of set relations and its application to synchronous languages
Theoretical Computer Science
The use of mathematics in software quality assurance
Frontiers of Computer Science in China
Deriving implementation-level policies for usage control enforcement
Proceedings of the second ACM conference on Data and Application Security and Privacy
Computing refactorings of behavior models
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Towards provably correct code generation via horn logical continuation semantics
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Practical limits on software dependability: a case study
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
On software certification: we need product-focused approaches
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Software engineering: multi-person development of multi-version programs
Dependable and Historic Computing
Embedded system design with ada as the system design language
Journal of Systems and Software
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
| Hi-index | 0.00 |
This paper concerns new techniques for making requirements specifications precise, concise, unambiguous, and easy to check for completeness and consistency. The techniques are well-suited for complex real-time software systems; they were developed to document the requirements of existing flight software for the Navy's A-7 aircraft. The paper outlines the information that belongs in a requirements document and discusses the objectives behind the techniques. Each technique is described and illustrated with examples from the A-7 document. The purpose of the paper is to introduce the A-7 document as a model of a disciplined approach to requirements specification; the document is available to anyone who wishes to see a fully worked-out example of the approach.