Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
program testing » programs testing, progeny testing, program trading
testing https » teaching https, being https, writing https
using https » using http, nursing https, aging https
1
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
2
Beeld op de omslag
Gepubliceerd in 2008
Inhoudsopgave: “...-Logic Programming -- EasyCheck — Test Data for Free....”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
3
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “...: Guessing Formal Specifications Using Testing -- Testing Proofs -- Testing First-Order Logic Axioms...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
4
Beeld op de omslag
Gepubliceerd in 2015
Inhoudsopgave: “... Generation for Concurrent Systems Using Event Structures -- Fast Model-Based Fault Localisation with Test...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
5
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “... Using Random and Search-Based Testing -- Testing Product Generation in Software Product Lines Using...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
6
Beeld op de omslag
Gepubliceerd in 2007
Inhoudsopgave: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
7
Beeld op de omslag
Gepubliceerd in 2012
Inhoudsopgave: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
8
Beeld op de omslag
Gepubliceerd in 2008
Inhoudsopgave: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
9
Beeld op de omslag
Gepubliceerd in 2007
Inhoudsopgave: “...Hardware Verification Track -- Model Checking PSL Using HOL and SMV -- Using Linear Programming...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
10
Beeld op de omslag
door Hunt, John., Hunt, John.
Gepubliceerd in 2014
Inhoudsopgave: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
11
Beeld op de omslag
Gepubliceerd in 2012
Inhoudsopgave: “... for Multithreaded Programs -- Concurrent Small Progress Measures -- Specification and Quantitative Analysis...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
12
Beeld op de omslag
Gepubliceerd in 2014
Inhoudsopgave: “... Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
13
Beeld op de omslag
Gepubliceerd in 2005
Inhoudsopgave: “... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
14
Beeld op de omslag
Gepubliceerd in 2014
Inhoudsopgave: “... Using Uninterpreted Functions -- Synthesizing Finite-State Protocols from Scenarios and Requirements...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
15
Beeld op de omslag
Gepubliceerd in 2013
Inhoudsopgave: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
16
Beeld op de omslag
Gepubliceerd in 2008
Inhoudsopgave: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
17
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “... into Existential 2-HORN -- Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT -- sQueezeBF...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
18
Beeld op de omslag
Gepubliceerd in 2010
Inhoudsopgave: “... Test Battery -- APPLICATIONS IN LARGE-SCALE TESTING PROGRAMS -- Adaptive Tests for Measuring Anxiety...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
19
Beeld op de omslag
Gepubliceerd in 2015
Inhoudsopgave: “... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
20
Beeld op de omslag
Gepubliceerd in 2006
Inhoudsopgave: “...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”
Volledige tekst
Elektronisch E-boek
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen — Sla zoekopdracht op