2 papers
cs.SE2025
A Systematic Mapping Study on Software Architecture for AI-based Mobility Systems
Amra Ramic, Stefan Kugele
Background: Due to their diversity, complexity, and above all importance, safety-critical and dependable systems must be developed with special diligence. Criticality increases as…
cs.SE2025
A Systematic Mapping Study on Contract-based Software Design for Dependable Systems
Fazli Faruk Okumus, Amra Ramic, Stefan Kugele
Background: Contract-based Design (CbD) is a valuable methodology for software design that allows annotation of code and architectural components with contracts, thereby enhancing…