1
Published 2014
Table of Contents: ... Approaches for Minimizing Adaptive Distinguishing Sequences -- Plan It! Automated Security Testing Based...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Organisation -- An Observational Study of a Distributed Card Based Planning Environment -- Agile Testing...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...
View full text
Electronic eBook
9
by Daggett, Mark E., Daggett, Mark E.
Published 2013
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
10
by Rochkind, Marc., Rochkind, Marc.
Published 2013
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... into OO Systems -- Programming Languages and Retrieval -- Reconciling Subtyping and Code Reuse in Object...
View full text
Electronic eBook
12
by Jalote, Pankaj., Jalote, Pankaj.
Published 2005
Table of Contents: ... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ...-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns -- Seamless Model-Driven...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ...Invited Lectures -- Flexible Path Planning Using Corridor Maps -- A Bridging Model for Multi-core...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... in GSM Networks -- Adaptive Local Search for a New Military Frequency Hopping Planning Problem -- SS vs...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ...) -- Estimating a Rasch Model via Fuzzy Empirical Probability Functions -- Scale Reliability Evaluation for a...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... and Decision Tree -- RDFa Ontology-Based Architecture for String-Based Web Attacks: Testing and Evaluation...
View full text
Electronic eBook