Výsledky vyhledávání - interactions composition programs program java https

1

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /

Vydáno 2005

Obsah: “...Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition...”
Získat plný text

Elektronický zdroj E-kniha

2

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Vydáno 2010

Obsah: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
Získat plný text

Elektronický zdroj E-kniha

3

Genetic Programming Theory and Practice VIII

Vydáno 2011

Obsah: “...FINCH: A System for Evolving Java (Bytecode) -- Towards Practical Autoconstructive Evolution: Self...”
Získat plný text

Elektronický zdroj E-kniha

4

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Vydáno 2010

Obsah: “... Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java...”
Získat plný text

Elektronický zdroj E-kniha

5

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /

Vydáno 2006

Obsah: “... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”
Získat plný text

Elektronický zdroj E-kniha

6

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Vydáno 2008

Obsah: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
Získat plný text

Elektronický zdroj E-kniha

7

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Vydáno 2010

Obsah: “... -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a...”
Získat plný text

Elektronický zdroj E-kniha

8

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Vydáno 2005

Obsah: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
Získat plný text

Elektronický zdroj E-kniha

9

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings /

Vydáno 2008

Obsah: “... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...”
Získat plný text

Elektronický zdroj E-kniha

10

Practical OCaml

Autor Smith, Joshua B., Smith, Joshua B.
Vydáno 2007

Obsah: “...Why Objective Caml (OCaml)? -- Interacting with OCaml: The Toplevel -- Syntax and Semantics...”
Získat plný text

Elektronický zdroj E-kniha

11

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Vydáno 2006

Obsah: “... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”
Získat plný text

Elektronický zdroj E-kniha

12

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conference, ENASE 2008 / 2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10,...

Vydáno 2010

Obsah: “... Error Detection -- Language Support for Service Interactions in Service-Oriented Architecture...”
Získat plný text

Elektronický zdroj E-kniha

13

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Vydáno 2008

Obsah: “... Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns...”
Získat plný text

Elektronický zdroj E-kniha

14

Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings /

Vydáno 2010

Obsah: “... for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow...”
Získat plný text

Elektronický zdroj E-kniha

15

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Vydáno 2008

Obsah: “... Checking Component Interactions -- Formal Definition of MOF 2.0 Metamodel Components and Composition...”
Získat plný text

Elektronický zdroj E-kniha

16

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Vydáno 2005

Obsah: “...–Enabled Web Services -- Automatic Composition and Selection of Semantic Web Services -- Grid Application...”
Získat plný text

Elektronický zdroj E-kniha

17

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings /

Vydáno 2008

Obsah: “... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...”
Získat plný text

Elektronický zdroj E-kniha

18

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Vydáno 2010

Obsah: “... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...”
Získat plný text

Elektronický zdroj E-kniha

19

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Vydáno 2014

Obsah: “... for GAP -- SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups...”
Získat plný text

Elektronický zdroj E-kniha

20

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Vydáno 2007

Obsah: “... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání