1
Table of Contents: ... -- Functional Test Generation -- Future Directions -- Conclusions....
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Satisfaction Approach for Programmable Logic Detailed Placement -- Minimizing Models for Tseitin-Encoded SAT...
View full text
Electronic eBook
4
Table of Contents: ...Numerical series -- Series of functions and power series -- Fourier series -- Functions between...
View full text
Electronic eBook
5
by Hamlet, Dick., Hamlet, Dick.
Published 2010
Table of Contents: ... -- Implications for Software Testing -- Unit vs. System Testing -- Functional vs. Non-functional Properties...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... in PISA-2006 Items: An Application of the Theory of Test Translation Error: Guillermo Solano-Flores, Luis...
View full text
Electronic eBook
7
Table of Contents: ...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Control Systems Using Hybrid Petri Nets -- Implementation of Discrete-Event Systems in Programmable Logic...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... ASSURANCE -- ADVANCED MRI APPLICATIONS -- PHYSIOLOGICAL AND FUNCTIONAL MRI -- APPLICATIONS OF CLINICAL...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... and Functional Networks -- Synchronous motions across the instrumental climate record -- Application of random...
View full text
Electronic eBook
13
... with significant sensory deficits, but have not been thoroughly tested for LBP. This study aimed to examine...
View full text
Article
14
Published 2008
Table of Contents: ...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... -- Testing, Profiling, and Empirical Studies -- What Programmers Do with Inheritance in Java -- Is This a Bug...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... -- On the Choice of the Kernel Function in Kernel Discriminant Analysis Using Information Complexity -- Growing...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ...- and ANBDmem-Encoding: Detecting Hardware Errors in Software -- Session 5 -- Field Test Methods for a Co...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... -- HyperNEAT for Locomotion Control in Modular Robots -- Session 5: Test, Repair and Reconfiguration Using...
View full text
Electronic eBook