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