Format:
Table of Contents: “... Bounded Exhaustive Input Generation from Program APIs -- 1 Introduction -- 2 A Motivating Example -- 3...”
Click to View

Format:
Table of Contents: “... is (like?) software development: -- 2.2.1 Measurement of Laws -- 2.3 Recipes are software -- 2...”
Click to View

Format:
Table of Contents: “... -- 7.1 Foundations -- 7.1.1 Model-Based Software Development and Testing -- 7.1.2 Model-Based Product...”
Click to View

Format:
Table of Contents: “....2 Design View -- 2.3 Program View -- 3 Software Development -- 4 Teamwork -- 5 A Final Wish -- Applications...”
Click to View

Format:
Table of Contents: “...Intro -- Preface -- Contents -- XcalableMP Programming Model and Language -- 1 Introduction -- 1...”
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: “....4 Software Development Life Cycle (SDLC) -- 2.5 Unified Modelling Language (UML) -- 2.6 User Acceptance Test...”
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