Amanote Research

Amanote Research

    RegisterSign In

Completeness, Robustness, and Safety in Real-Time Software Requirements Specification

doi 10.1145/74587.74628
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 1989

Authors
M. S. JaffeN. G. Leveson
Publisher

ACM Press


Related search

Software Requirements Analysis for Real-Time Process-Control Systems

IEEE Transactions on Software Engineering
Software
1991English

Requirements Variability Specification for Data Intensive Software

International Journal of Software Engineering & Applications
2019English

Test Case Generation for Real-Time System Software Using Specification Diagram

International Journal of Intelligent Engineering and Systems
EngineeringComputer Science
2017English

The SIGNAL Software Environment for Real-Time System Specification, Design, and Implementation

English

Light Duty Utility Arm Software Requirements Specification

1995English

Solid Waste Information and Tracking System (SWITS) Software Requirements Specification

2000English

Real-Time Software Use in Nuclear Materials Handling Criticality Safety Control

1997English

Specification of Advanced Safety Modeling Requirements (Rev. 0).

2008English

Normalization of Requirements Specification Document on Software Project Management

Journal of Software
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy