1 paper · 1 filter
Steffen Herbold, Christoph Knieke, Andreas Rausch +1
Formal analysis to ensure adherence of software to defined architectural constraints is not yet broadly used within software development, due to the effort involved in defining for…