Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programme computation » programming computation, programming computations, programme formulation
functionality testing » functionality setting, functional testing, functionality using
https functionality » its functionality, bags functionality, cross functionality
computation https » computing https
testing https » teaching https, being https, writing https
programme computation » programming computation, programming computations, programme formulation
functionality testing » functionality setting, functional testing, functionality using
https functionality » its functionality, bags functionality, cross functionality
computation https » computing https
testing https » teaching https, being https, writing https
1
Table of Contents:
“... -- Functional Test Generation -- Future Directions -- Conclusions....”
View full text
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
Table of Contents:
“... -- Implications for Software Testing -- Unit vs. System Testing -- Functional vs. Non-functional Properties...”
View full text
View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“...-algebraic Proofs -- Turing’s Computable Real Numbers and Why They Are Still Important Today...”View full text
Electronic
eBook
5
Table of Contents:
“... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
View full text
View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”View full text
Electronic
eBook
7
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
8
Published 2010
Table of Contents:
“... for On-Board Satellite Software -- Computational Concerns in the Integration of Unmanned Airborne Systems...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models...”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
Table of Contents:
“...Numerical series -- Series of functions and power series -- Fourier series -- Functions between...”
View full text
View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Accelerated Vision System -- Systemic Computation Using Graphics Processors -- Session 4: Implementations...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...”View full text
Electronic
eBook
16
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
17
Published 2005
Table of Contents:
“...Invited Paper -- Palpable Computing and the Role of Agent Technology -- Research Papers -- A...”View full text
Electronic
eBook
18
Table of Contents:
“...Principles and Philosophy -- Advanced Basics -- Functions -- Classes -- Common Protocols -- Object...”
View full text
View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... in Field Programmable Gate Arrays -- Security Evaluation and Testing — Past, Present and Future...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”View full text
Electronic
eBook