A systematic review of requirement traceability techniques and tools
Requirement Traceability (RT) is a significant method to analyze the effect of changes
among various software development lifecycle artifacts. The RT not only improve the change …
among various software development lifecycle artifacts. The RT not only improve the change …
Web assessment-a model for the evaluation and the assessment of successful electronic commerce applications
D Selz, P Schubert - Proceedings of the Thirty-First Hawaii …, 1998 - ieeexplore.ieee.org
Today many a Website features fancy graphics, well organized content, but rarely induces
the visitor to come back on a regular basis (with exceptions of course). The electronic …
the visitor to come back on a regular basis (with exceptions of course). The electronic …
Evaluating the suitability of state‐based formal methods for industrial deployment
A Mashkoor, F Kossak, A Egyed - Software: Practice and …, 2018 - Wiley Online Library
After a number of success stories in safety‐critical domains, we are starting to witness
applications of formal methods in contemporary systems and software engineering …
applications of formal methods in contemporary systems and software engineering …
Formal modelling of OWL ontologies-based requirements for the development of safe and secure smart city systems
E Alkhammash - Soft Computing, 2020 - Springer
Formal methods are mathematical techniques used for developing reliable and verified
systems. Event-B formal method is proved to be very useful to construct models of systems …
systems. Event-B formal method is proved to be very useful to construct models of systems …
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system
W Su, JR Abrial - International Journal on Software Tools for Technology …, 2017 - Springer
This paper describes the modeling, done using the Event-B notation, of the aircraft landing
gear case study that was proposed in a special track of the ABZ'2014 Conference. In the …
gear case study that was proposed in a special track of the ABZ'2014 Conference. In the …
The rodin platform has turned ten
L Voisin, JR Abrial - Abstract State Machines, Alloy, B, TLA, VDM, and Z …, 2014 - Springer
LNCS 8477 - The Rodin Platform Has Turned Ten Page 1 The Rodin Platform Has Turned Ten
Laurent Voisin1 and Jean-Raymond Abrial2 1 Systerel, Aix-en-Provence, France …
Laurent Voisin1 and Jean-Raymond Abrial2 1 Systerel, Aix-en-Provence, France …
Validation of the ABZ landing gear system using ProB
L Ladenberger, D Hansen, H Wiegard… - International Journal on …, 2017 - Springer
In this article, we present our formalization of the ABZ landing gear case study in Event-B.
The development was carried out using the Rodin platform and mainly used superposition …
The development was carried out using the Rodin platform and mainly used superposition …
Validation-driven development
Formal methods play a fundamental role in asserting the correctness of requirements
specifications. However, historically, formal method experts have primarily focused on …
specifications. However, historically, formal method experts have primarily focused on …
[HTML][HTML] Rapid creation of interactive formal prototypes for validating safety-critical systems
L Ladenberger - 2017 - docserv.uni-duesseldorf.de
Beschreibungen: The application of formal methods to the development of interactive safety-
critical systems usually involves a multidisciplinary team with different roles and expertise …
critical systems usually involves a multidisciplinary team with different roles and expertise …
Toward a formal traceability model for efficient security validation
C Ebert, R Ray - Computer, 2021 - ieeexplore.ieee.org
Toward a Formal Traceability Model for Efficient Security Validation Page 1 COVER FEATURE
CYBERSECURITY AND TRUST 68 COMPUTER PUBLISHED BY THE IEEE COMPUTER …
CYBERSECURITY AND TRUST 68 COMPUTER PUBLISHED BY THE IEEE COMPUTER …