Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality testing » functionality setting, functional testing, functionality using
foundation https » foundations https, foundations http, foundation html5
function https » functions https, fiction https
testing https » teaching https, being https, writing https
functionality testing » functionality setting, functional testing, functionality using
foundation https » foundations https, foundations http, foundation html5
function https » functions https, fiction https
testing https » teaching https, being https, writing https
1
Published 2008
Table of Contents:
“...-Logic Programming -- EasyCheck — Test Data for Free....”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
3
Published 2011
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
4
Published 2014
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”View full text
Electronic
eBook
5
Table of Contents:
“...Generic Editors for the World Wide Web -- Fully Automatic Testing with Functions as Specifications...”
View full text
View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
9
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
10
Table of Contents:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
View full text
View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications...”View full text
Electronic
eBook
12
Subjects:
“...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
13
14
Published 2010
Table of Contents:
“... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”View full text
Electronic
eBook
15
Table of Contents:
“... for extProlog -- extProlog as Logic Programming Language -- Implementation of extProlog....”
View full text
View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Pairwise for Features Coverage -- Increasing Functional Coverage by Inductive Testing: A Case Study...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“..., and Computation -- Testing Concurrent Systems: An Interpretation of Intuitionistic Logic -- Proofs of Termination...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...”View full text
Electronic
eBook