The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
Component technology has become a central focus of software engineering in research and development. Reusability is a key factor that contributes to its success. The reuse of comp...
Shengquan Wang, Sangig Rho, Zhibin Mai, Riccardo B...
: Traceability and rationale management are highly important--especially in distributed collaborative software development projects due to a lack of mutual awareness and informal c...
Tobias Hildenbrand, Michael Geisser, Lars Klimpke,...
: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...
Although security inspections have proven to be a very efficient means for assuring software security early in the software development lifecycle, they are not used extensively be...
Frank Elberzhager, Marek Jawurek, Christian Jung, ...