Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integrating transformation » integrating transportation, interactions transformation, integrating information
transformation programming » transformations programming, transformation programme, transformation programmed
programming programming » programming programmed, programming program
programming contract » programming contracts, programming constructs, programming constraint
contract https » control https, conflict https, contract nets
integrating transformation » integrating transportation, interactions transformation, integrating information
transformation programming » transformations programming, transformation programme, transformation programmed
programming programming » programming programmed, programming program
programming contract » programming contracts, programming constructs, programming constraint
contract https » control https, conflict https, contract nets
1
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... Verification for Weak Memory via Program Transformation -- Checking and Enforcing Robustness against TSO...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Aspects Implement Contracts? -- Aspects-Classes Integration Testing Strategy: An Incremental Approach...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”View full text
Electronic
eBook
8
Published 2011
Table of Contents:
“... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... with Formal Analysis, Transformation and Dynamicity -- Safety and Response-Time Analysis of an Automotive...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... Bytecode Programs -- Verifying Class Invariants in Concurrent Programs -- Automatic Program Repair...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“...Model Transformation -- Bidirectional Model Transformations in QVT: Semantic Issues and Open...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Independence -- Non-Classical Logics Finitary S5-Theories -- Efficient Program Transformers for Translating LCC...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... -- An Evaluation of the Effectiveness of the Atomic Section Model -- Model Transformation 1 -- Parsing in a Broad...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...-functions of Quasi-selfadjoint Contractions -- A Class of Abstract Boundary Value Problems with Locally...”View full text
Electronic
eBook