Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program foundations » program foundation, problem foundations, program conditions
https functionality » its functionality, bags functionality, cross functionality
functionality test » functionality testing, functionality boost, functional test
foundations https » equations https
test https » net https, east https
program foundations » program foundation, problem foundations, program conditions
https functionality » its functionality, bags functionality, cross functionality
functionality test » functionality testing, functionality boost, functional test
foundations https » equations https
test https » net https, east https
1
Published 2008
Table of Contents:
“...-Logic Programming -- EasyCheck — Test Data for Free....”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications...”View full text
Electronic
eBook
3
4
Table of Contents:
“... for extProlog -- extProlog as Logic Programming Language -- Implementation of extProlog....”
View full text
View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“..., and Computation -- Testing Concurrent Systems: An Interpretation of Intuitionistic Logic -- Proofs of Termination...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... with Different Species -- Computationally Sound Symbolic Secrecy in the Presence of Hash Functions -- Some...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... -- Generating Functions of Timed Languages -- The Robust Set Problem: Parameterized Complexity and Approximation...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... A1. Game Theory -- The Cooperative Game Theory Foundations of Network Bargaining Games...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“...Brzozowski’s and Up-To Algorithms for Must Testing -- Practical Alternating Parity Tree Automata...”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 2008
Table of Contents:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...”View full text
Electronic
eBook