Amanote Research

Amanote Research

    RegisterSign In

Completeness and Consistency in Hierarchical State-Based Requirements

IEEE Transactions on Software Engineering - United States
doi 10.1109/32.508311
Full Text
Open PDF
Abstract

Available in full text

Categories
Software
Date

June 1, 1996

Authors
M.P.E. HeimdahlN.G. Leveson
Publisher

Institute of Electrical and Electronics Engineers (IEEE)


Related search

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

1989English

Hierarchical Composition and Aggregation of State-Based Availability and Performability Models

IEEE Transactions on Reliability
Electronic EngineeringRiskReliabilityElectricalSafetyQuality
2003English

Hierarchical Phrase-Based Translation With Weighted Finite State Transducers

2009English

ADAPTIVE CONTINUOUS HIERARCHICAL MODEL-BASED DECISION MAKING - For Process Modelling With Realistic Requirements

2011English

State-Based Model Checking of Event-Driven System Requirements

IEEE Transactions on Software Engineering
Software
1993English

Managing Consistency Between Textual Requirements, Abstract Interactions and Essential Use Cases

2010English

Fluency and Completeness in Instance-Based Natural Language Generation

2002English

State Candidacy: Requirements, Rights and Remedies

University of Pennsylvania Law Review
Law
1967English

Optimizing Server Placement for QoS Requirements in Hierarchical Grid Environments

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy