Format:
Table of Contents: “...-View Programming Model -- 3.1 Communications Using Coarray -- 3.2 Performance on the K Computer -- 4...”
Click to View

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: “... 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