A systematic literature review of use case specifications research
Context Use cases have been widely accepted and acknowledged as a specification tool for
specifying the functional requirements of a software system. Many variations of use cases …
specifying the functional requirements of a software system. Many variations of use cases …
A software fault tree analysis technique for formal requirement specifications of nuclear reactor protection systems
S Jung, J Yoo, YJ Lee - Reliability Engineering & System Safety, 2020 - Elsevier
Rigorous safety demonstration of software, as well as systems, is required when develo**
digital reactor protection systems in nuclear power plants. Various safety analysis …
digital reactor protection systems in nuclear power plants. Various safety analysis …
Back suction: Service guarantees for latency-sensitive on-chip networks
Networks-on-chip for future many-core processor platforms face an increasing diversity of
traffic requirements, ranging from streaming traffic with real-time requirements to bursty …
traffic requirements, ranging from streaming traffic with real-time requirements to bursty …
Investigating comprehension and learnability aspects of use cases for software specification problems
Context: Availability of multiple use case templates to document software requirements
inevitably requires their characterization in terms of their relevance, usefulness, and the …
inevitably requires their characterization in terms of their relevance, usefulness, and the …
Automated class diagram elicitation using intermediate use case template
Class diagrams, being more illustrative, provide an easier way of understanding software
requirements compared to use case descriptions. Both manual and automated methods are …
requirements compared to use case descriptions. Both manual and automated methods are …
Linking use cases and associated requirements: a replicated eye tracking study on the impact of linking variants on reading behavior
A wide variety of use case templates supports different variants to link a use case with its
associated requirements. Regardless of the linking, a reader must process the related …
associated requirements. Regardless of the linking, a reader must process the related …
SFTA-Based Approach for Safety/Reliability Analysis of Operational Use-Cases in Cyber-Physical Systems
The software is often responsible for controlling the behavior of mechanical and electrical
components, as well as interactions among these components in cyber-physical systems …
components, as well as interactions among these components in cyber-physical systems …
An approach to generate safety validation test cases from uml activity diagram
A software is associated with certain modes of failure. Occurrence of such failures may be
hazardous for the regular functioning of the software. Majority of these failures occur …
hazardous for the regular functioning of the software. Majority of these failures occur …
Does increasing formalism in the use case template help?
Use case modeling can be used to specify the functional requirements of a software system.
However, the semi-formal nature of the UML use case model has been argued for its …
However, the semi-formal nature of the UML use case model has been argued for its …
A controlled experiment to assess the effectiveness of eight use case templates
Use case models, that include use case diagrams along with their documentations, are
typically used to specify the functional requirements of the software systems. Use cases are …
typically used to specify the functional requirements of the software systems. Use cases are …