Cover Image
Read Now

21
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Technology -- An Integrated Performance Visualizer for MPI/OpenMP Programs -- A Dynamic Tracing Mechanism...”
Cover Image
Read Now

22
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Little Engines of Proof -- Automated Boundary Testing from Z and B -- Improvements in Coverability...”
Cover Image
Read Now

23
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- Logic Programming -- Analysis of Normal Logic Programs -- The Correctness of Set-Sharing -- Deriving...”
Cover Image
Read Now

24
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Static Program Analyzer for Safety-Critical Real-Time Embedded Software -- Meta-circular Abstract...”
Cover Image
Read Now

25
Published 2024
Springer International Publishing
Table of Contents: “... and Combinations -- Tools for Program Understanding -- Combinations of Analyses -- Numerical Accuracy Analysis...”
Cover Image
Read Now

26
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Interface for Promela -- Events in Property Patterns -- Assume-Guarantee Model Checking of Software: A...”
Cover Image
Read Now

27
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... for Software Product Line Engineering -- Using First-Order Logic for Product Line Model Validation -- Product...”
Cover Image
Read Now

28
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Engines -- CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving -- Programming Deep Concurrent...”
Cover Image
Read Now

29
by Selvaraj, Sivaraj
Published 2024
Apress
Subjects: “...Software engineering / Management...”
Cover Image
Read Now

30
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... in Distributed Environment -- Performance Prediction Methodology for Parallel Programs with MPI in NOW...”
Cover Image
Read Now

31
Published 2000
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

32
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Abstract Verification and Debugging of Constraint Logic Programs -- CGRASS: A System...”
Cover Image
Read Now

33
by Seemann, Mark
Published 2024
Orairī Japan
Subjects: “...Computer programming / http://id.loc.gov/authorities/subjects/sh85107310...”
Cover Image
Read Now

34
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- An Introduction to Decidability of DPDA Equivalence -- Semidefinite Programming Based Approximation Algorithms...”
Cover Image
Read Now

35
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... in Semiconductors - Part II -- Advanced Programming Environments for Scientific Computations -- IC2D: Interactive...”
Cover Image
Read Now

36 Table of Contents: “... with GitHub Actions -- Chapter 11: Secure Software Development Lifecycle through GitHub Advanced Security...”
Cover Image
Read Now

37
by Dooley, John, Kazakova, Vera A.
Published 2024
Apress
Table of Contents: “... -- Preface -- Chapter 1: Introduction to Software Development -- What We're Doing -- So, How to Develop...”
Cover Image
Read Now

38
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... of Networked Applications for Mobile Computers -- Crawlets: Agents for High Performance Web Search Engines...”
Cover Image
Read Now

39
by Liu, Shaoying
Published 2024
Springer Nature Singapore
Subjects: “...Software engineering...”
Cover Image
Read Now

40
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- An Assembly Process Model for Method Engineering -- Process Reuse Architecture -- Using a Metadata Software...”