Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https functionality » its functionality, bags functionality, cross functionality
functionality net » functionality test, functionality pt, functionality needs
program testing » programs testing, progeny testing, program trading
testing https » teaching https, being https, writing https
https functionality » its functionality, bags functionality, cross functionality
functionality net » functionality test, functionality pt, functionality needs
program testing » programs testing, progeny testing, program trading
testing https » teaching https, being https, writing https
1
Table of Contents:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
View full text
View full text
Electronic
eBook
2
Table of Contents:
“... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
View full text
View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Model -- Pex–White Box Test Generation for .NET -- Non-termination Checking for Imperative Programs...”View full text
Electronic
eBook
4
Table of Contents:
“... -- JUnit Testing -- Using Code Coverage Tools -- Working with NetBeans Developer Collaboration Tools...”
View full text
View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... -- Session 4-Track A. Graphs, Nets and Optimization -- Inapproximability of Hypergraph Vertex Cover...”View full text
Electronic
eBook
6
Table of Contents:
“...Getting Started with F# and .NET -- Introducing Functional Programming -- Introducing Imperative...”
View full text
View full text
Electronic
eBook
7
Subjects:
“...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...”
View full text
View full text
Electronic
eBook
8
Table of Contents:
“...A Quick Tour of Silverlight 4 Development -- Application Design and Programming Model -- Developing...”
View full text
View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Extensions of Petri Nets -- Session 1. Extensions of Timed Automata and Semantics -- Infinite Runs...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM) -- Improving Functional Testing...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Frontier of Hybrid Automata -- When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Annotation for Program Testing and Verification -- The Static Driver Verifier Research Platform -- Dsolve...”View full text
Electronic
eBook