בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
https composition » hops composition, states composition, status composition
composition java » composition a, composition art, composition j.j
program method » programs method, program mentor, programming method
method https » methods https
https composition » hops composition, states composition, status composition
composition java » composition a, composition art, composition j.j
program method » programs method, program mentor, programming method
method https » methods https
1
יצא לאור 2010
תוכן הענינים:
“... to Pervasively Verified Applications -- A Compositional Method for Deciding Equivalence and Termination...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2006
תוכן הענינים:
“... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2012
תוכן הענינים:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2006
תוכן הענינים:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים:
“... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
תוכן הענינים:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2005
תוכן הענינים:
“... Around Advice Composition -- Guaranteeing Resource Bounds for Component Software -- Analysis of Java...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2011
תוכן הענינים:
“... Method for Bloat Control in Genetic Programming -- A Survey of Self Modifying Cartesian Genetic...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2014
תוכן הענינים:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2008
תוכן הענינים:
“... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2014
תוכן הענינים:
“...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2010
תוכן הענינים:
“... Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2010
תוכן הענינים:
“... Control Model for Tree-Based Representation -- A Method for Analyzing Code Homology in Genealogy...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2008
תוכן הענינים:
“... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2010
תוכן הענינים:
“... -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2007
תוכן הענינים:
“...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2008
תוכן הענינים:
“... Collaboration Using Goal Sequences -- Adaptive and Fault-Tolerant Service Composition in Peer-to-Peer Systems...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים:
“... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני