Format:
Table of Contents: “... and Discussion -- References -- Institutional Logics in Large-Scale Agile Software Development Transformations...”
Click to View

Format:
Table of Contents: “... Bounded Exhaustive Generation from Program APIs -- 3.1 Scope Definition -- 3.2 State Matching -- 3...”
Click to View

Format:
Table of Contents: “...Intro -- Contents -- Ernst Denert Software Engineering Award 2020 -- 1 Introduction -- 2 Overview...”
Click to View

Format:
Table of Contents: “... Hardware and Software -- Power Constraints -- Difficult Development and Debugging -- Typical Architecture...”
Click to View

Format:
Table of Contents: “... -- Programming Guides -- The Intel® Firmware Support Package -- The Uniqueness of Embedded Firmware -- The Choice...”
Click to View

Format:
Table of Contents: “... -- 5.2 State of the Art -- 5.3 Problem Statement and Research Approach -- 5.4 Hardware, Software...”
Click to View

Format:
Table of Contents: “... Assistance with consistent Data Exchange -- 1 Introduction -- 2 State of the art and initial situation -- 2...”
Click to View

Format:
Table of Contents: “... OF GENUS/PHYLA CLASSIFICATION OF METAGENOMIC READS -- GUIDED GENOME HALVING: PROVABLY OPTIMAL SOLUTIONS...”
Click to View

Format:
Table of Contents: “... Safety Components -- 3.2 Development of the Planning, Communication and Verification Software -- 3...”
Click to View

Format:
Table of Contents: “....3.3 Optimization Approach -- 2.3.4 To-Be Modeling -- 2.3.5 Evaluation -- 2.4 Case Study on Strategic Monitoring...”
Click to View

Format:
Table of Contents: “... Termination of C Programs with Lists -- 1 Introduction -- 2 Abstract States for Symbolic Execution -- 3...”
Click to View

Format:
Table of Contents: “... State of the Art -- 3 Software -- 3.1 Programming Environment -- 3.2 Light Fixture Detection -- 3.3 GUI...”
Click to View