Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
evaluation programming » evaluating programming, evolution programming, variation programming
programming contracts » programming contract, programming constructs, programming constraints
services evaluation » services utilization
https » http
programming programming » programming programmed, programming program
evaluation programming » evaluating programming, evolution programming, variation programming
programming contracts » programming contract, programming constructs, programming constraints
services evaluation » services utilization
https » http
1
Published 2013
Table of Contents:
“... with Relational Features for Drug Design -- Pairwise Markov Logic -- Evaluating Inference Algorithms...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
3
Published 2011
Table of Contents:
“... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... System for the Genome-Wide Genetic Analysis of Alzheimer's Disease -- Optimizing a Cloud Contract...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... and the Join Calculus -- Dynamic Constraint-Based Invocation of Web Services -- A Formal Account of Contracts...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... -- Lazy Contract Checking for Immutable Data Structures -- The Reduceron: Widening the von Neumann...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Service Compatibility: A Step beyond the Boolean Approaches -- Consistency Benchmarking: Evaluating...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... -- Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations -- Optimizing...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... and Fault-Tolerant Restful Service Consumption.- Contract Compliance Monitoring of Web Services.- Service...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...Invited Papers -- Automatic Requirement Extraction from Test Cases -- Code Contracts for .NET...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Evaluation -- Secret Ninja Formal Methods -- Specification and Checking of Software Contracts for Conditional...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“...: Building a Transaction Framework for Contract-Driven, Service-Oriented Business Processes -- Securing Web...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“...Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“...Modelling, Analyzing and Programming Organizations -- A Coordination Framework Based...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“...-Based Equality with Lazy Evaluation -- Progressive Reasoning for Complex Dialogues among Agents...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”View full text
Electronic
eBook