Today's requirements engineering approaches focus on notation and techniques for modeling the intended functionality and qualities of a software system. Little attention has ...
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
Thomas Heyman, Riccardo Scandariato, Wouter Joosen
With the advent of UML and MDA, models play an increasingly important role in software development. Hence, the management of the quality of models is of key importance for complet...
Component-based software development has proven effective for systems implementation in well-understood application domains, but is still insufficient for the creation of reusable...