Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming methodology » programming methods
functionality testing » functionality setting, functional testing, functionality using
https functionality » its functionality, bags functionality, cross functionality
methodology https » anthropology https, technology https, pathology https
testing https » teaching https, being https, writing https
programming methodology » programming methods
functionality testing » functionality setting, functional testing, functionality using
https functionality » its functionality, bags functionality, cross functionality
methodology https » anthropology https, technology https, pathology https
testing https » teaching https, being https, writing https
1
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“...Testing Methodologies -- A Framework for Genetic Test-Case Generation for WS-BPEL Compositions...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Test Battery -- APPLICATIONS IN LARGE-SCALE TESTING PROGRAMS -- Adaptive Tests for Measuring Anxiety...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... -- Using a Specification Approach to Facilitate Component Testing -- A Methodology of Component Integration...”View full text
Electronic
eBook
8
Subjects:
“...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”View full text
Electronic
eBook
13
Published 2010
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... -- Practical Problems in Equating Test Scores: A Practitioner’s Perspective -- Potential Solutions to Practical...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... into OO Systems -- Programming Languages and Retrieval -- Reconciling Subtyping and Code Reuse in Object...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... -- Verification, Least-Fixpoint Checking, Abstraction -- Combining Tests and Proofs -- Logics -- Propositional...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”View full text
Electronic
eBook
18
Table of Contents:
“... -- Confidence Interval About the Mean Using the TINV Function and Hypothesis Testing -- One-Group t-Test...”
View full text
View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“...) -- Estimating a Rasch Model via Fuzzy Empirical Probability Functions -- Scale Reliability Evaluation for a...”View full text
Electronic
eBook
20
Table of Contents:
“... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
View full text
View full text
Electronic
eBook