Format:
Table of Contents: “... -- 2.1 Introduction -- 2.2 Software Systems -- 2.2.1 Application Domains -- 2.2.2 Scopes...”
Click to View

Format:
Table of Contents: “... -- 4 Learning Program Features -- 4.1 Extracting Features from Programs -- 4.2 Data Features -- 4...”
Click to View

Format:
Table of Contents: “... and Adaptation -- 3 Achieving Self-adaptive Software -- 4 Supporting Dependable Evolution -- 5 Towards a Unified...”
Click to View

Format:
Table of Contents: “... and concurrency -- 5.3 Soundness and program extraction -- 6 Application -- 7 Implementation -- 8 Conclusion -- 8...”
Click to View

Format:
Table of Contents: “... -- Getting an Overview of Scalability and Performance -- Learning Application Behavior -- Example 2: Mini...”
Click to View

Format:
Table of Contents: “... Program Analysis -- 2.2 Second Phase: Numerical Kernel Analysis -- 2.3 Soundness Guarantees -- 3 First...”
Click to View

Format:
Table of Contents: “... of Bioimage Analysis -- 1.1 Introduction -- 1.2 Types of Bioimage Analysis Software -- Bibliography -- 2...”
Click to View

Format:
Table of Contents: “... -- Nominal Techniques for Software Specification and Verification -- How Can We Trust AI? -- Contents...”
Click to View