الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
verification programming » specification programming, identification programming, verification program
integrated verification » integration verification, integrating verification, integrated specification
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
https » http
verification programming » specification programming, identification programming, verification program
integrated verification » integration verification, integrating verification, integrated specification
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
https » http
1
منشور في 2008
جدول المحتويات:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
منشور في 2013
جدول المحتويات:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2013
جدول المحتويات:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2010
جدول المحتويات:
“... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2014
جدول المحتويات:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2007
جدول المحتويات:
“... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2007
جدول المحتويات:
“... and Expanding Deadlines? -- Quality of Service, Runtime Verification and Monitoring -- Performance Assessment...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2006
جدول المحتويات:
“... Composability -- Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems -- Enforcing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2006
جدول المحتويات:
“...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2011
جدول المحتويات:
“... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2015
جدول المحتويات:
“...Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2013
جدول المحتويات:
“... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2010
جدول المحتويات:
“... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2014
جدول المحتويات:
“... Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2014
جدول المحتويات:
“... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2005
جدول المحتويات:
“... -- Tools for Programming, Code Generation, and Design -- Tools for Verification and Validation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2014
جدول المحتويات:
“... Thirty Years from Now -- Formal Semantics, Specification and Verification -- Verifying Compilation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2013
جدول المحتويات:
“... Nets and Contracts -- On Efficiency Preorders -- Compiling Cooperative Task Management to Continuations...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2008
جدول المحتويات:
“... Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2008
جدول المحتويات:
“... Will Rule -- Rule Engineering -- Development and Verification of Rule Based Systems — A Survey of Developers...”احصل على النص الكامل
الكتروني
كتاب الكتروني