Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
developing computing » developing competent, developing computer, developing coping
program developing » programs developing, programme developing, programmes developing
function testing » function tests, function test, mutation testing
testing program » writing program, training program, learning program
https » http
developing computing » developing competent, developing computer, developing coping
program developing » programs developing, programme developing, programmes developing
function testing » function tests, function test, mutation testing
testing program » writing program, training program, learning program
https » http
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 2005
Table of Contents:
“... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... -- An Open Source Simulation Model of Software Development and Testing -- Software Testing Track -- ExpliSAT...”View full text
Electronic
eBook
4
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”View full text
Electronic
eBook
6
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
7
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“...Testing Components Context-Independently -- Testing Polymorphic Behavior of Framework Components...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“...Brzozowski’s and Up-To Algorithms for Must Testing -- Practical Alternating Parity Tree Automata...”View full text
Electronic
eBook
11
Table of Contents:
“...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...”
View full text
View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level...”View full text
Electronic
eBook
13
Table of Contents:
“...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
View full text
View full text
Electronic
eBook
14
Table of Contents:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
View full text
View full text
Electronic
eBook
15
Table of Contents:
“... and the Cart -- Test-Driven Development and Impostors -- Everybody Needs Feedback -- Databases -- Web Testing...”
View full text
View full text
Electronic
eBook
16
Table of Contents:
“... Components and Component-based Development -- CBSD in Practice and Theory -- Software Testing: Practice...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
View full text
View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Annotation for Program Testing and Verification -- The Static Driver Verifier Research Platform -- Dsolve...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
20
Table of Contents:
“... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
View full text
View full text
Electronic
eBook