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: “... -- Contracts in Architectures -- References -- Formal Methods and Agile Development: Towards a Happy Marriage...”
Click to View

Format:
Table of Contents: “... Behaviours -- 3.3 TSP Is a Learning and Development Scheme -- 3.4 The Skills Inventory -- 3.5 Program Member...”
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: “... Research Goal, Data, and Method -- 4 Results: How Does Pair Programming Work? -- 4.1 Fluency...”
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: “...3.1 Overview -- 3.2 YML -- 3.3 OmniRPC-MPI -- 4 Application Development in the mSPMD Programming...”
Click to View

Format:
Table of Contents: “....1 Survey Instrument -- 4.2 Data Collection -- 4.3 Selection of Methods and Software -- 4.4 Measurement...”
Click to View

Format:
Table of Contents: “... into reworking -- 4.1 Scope of functions within the Virtual Environment -- 4.2 Development and setup of a...”
Click to View

Format:
Table of Contents: “... Materials and Method -- 2.1 Cobalt-Carbon Electrode Development -- 2.2 Measurement of Cobalt Levels...”
Click to View

Format:
Table of Contents: “... Concepts for Robot Cells -- 2 Materials and Methods -- 3 Results -- 3.1 Development of a Method to Verify...”
Click to View

Format:
Table of Contents: “... Method of Parametric Semiology -- 2.1 Background -- 2.2 TO Software and Its Potential to Achieve Tower...”
Click to View