Sign in
Traceability and SysML design slices to support safety inspections: A controlled experiment.
Lionel C. Briand
Davide Falessi
Shiva Nejati
Mehrdad Sabetzadeh
Tao Yue
Published in:
ACM Trans. Softw. Eng. Methodol. (2014)
Keyphrases
</>
neural network
case study
formal methods
knowledge based systems
computer aided
design process
life cycle
design tools
object oriented
software architecture
modeling language
experimental design
support systems
user centered