21 citations · 39 across the 5 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.SE2010★ 6 cited
Formalization and Validation of Safety-Critical Requirements
Alessandro Cimatti, Marco Roveri, Angelo Susi +1
The validation of requirements is a fundamental step in the development process of safety-critical systems. In safety critical applications such as aerospace, avionics and railways…
cs.SE2010★ 5 cited
Theory of Regulatory Compliance for Requirements Engineering
Ivan Jureta, Alberto Siena, John Mylopoulos +2
Regulatory compliance is increasingly being addressed in the practice of requirements engineering as a main stream concern. This paper points out a gap in the theoretical foundatio…