Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
composition java » composition a, composition art, composition j.j
method https » methods https
composition java » composition a, composition art, composition j.j
method https » methods https
1
Table of Contents:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
View full text
View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... to Pervasively Verified Applications -- A Compositional Method for Deciding Equivalence and Termination...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”View full text
Electronic
eBook
4
Published 2012
Table of Contents:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Around Advice Composition -- Guaranteeing Resource Bounds for Component Software -- Analysis of Java...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”View full text
Electronic
eBook
10
Published 2011
Table of Contents:
“... Method for Bloat Control in Genetic Programming -- A Survey of Self Modifying Cartesian Genetic...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Control Model for Tree-Based Representation -- A Method for Analyzing Code Homology in Genealogy...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Collaboration Using Goal Sequences -- Adaptive and Fault-Tolerant Service Composition in Peer-to-Peer Systems...”View full text
Electronic
eBook