1
Published 2005
Table of Contents: ...Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...
View full text
Electronic eBook
3
Published 2011
Table of Contents: ...FINCH: A System for Evolving Java (Bytecode) -- Towards Practical Autoconstructive Evolution: Self...
View full text
Electronic eBook
4
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
5
Published 2006
Table of Contents: ... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...
View full text
Electronic eBook
10
by Smith, Joshua B., Smith, Joshua B.
Published 2007
Table of Contents: ...Why Objective Caml (OCaml)? -- Interacting with OCaml: The Toplevel -- Syntax and Semantics...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Error Detection -- Language Support for Service Interactions in Service-Oriented Architecture...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Checking Component Interactions -- Formal Definition of MOF 2.0 Metamodel Components and Composition...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ...–Enabled Web Services -- Automatic Composition and Selection of Semantic Web Services -- Grid Application...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... for GAP -- SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...
View full text
Electronic eBook