Suchergebnisse - general composition program program java https

1

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”
Volltext

Elektronisch E-Book

2

Pro React

von de Sousa Antonio, Cassio., de Sousa Antonio, Cassio.
Veröffentlicht 2015

Inhaltsangabe: “...Chapter 1: Getting Started -- Chapter 2: The DOM Abstraction -- Chapter 3: Component Composition...”
Volltext

Elektronisch E-Book

3

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

Veröffentlicht 2010

Inhaltsangabe: “... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”
Volltext

Elektronisch E-Book

4

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
Volltext

Elektronisch E-Book

5

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

Veröffentlicht 2010

Inhaltsangabe: “... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...”
Volltext

Elektronisch E-Book

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...

Veröffentlicht 2008

Inhaltsangabe: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
Volltext

Elektronisch E-Book

7

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Veröffentlicht 2007

Inhaltsangabe: “... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...”
Volltext

Elektronisch E-Book

8

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”
Volltext

Elektronisch E-Book

9

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

Veröffentlicht 2006

Inhaltsangabe: “... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”
Volltext

Elektronisch E-Book

10

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”
Volltext

Elektronisch E-Book

11

Testing: Academic and Industrial Conference - Practice and Research Techniques 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking...”
Volltext

Elektronisch E-Book

12

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...

Veröffentlicht 2005

Inhaltsangabe: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
Volltext

Elektronisch E-Book

13

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /

Veröffentlicht 2013

Inhaltsangabe: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Volltext

Elektronisch E-Book

14

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Interpretation of the Quasi-synchronous Composition of Synchronous Programs -- Termination of Polynomial Programs...”
Volltext

Elektronisch E-Book

15

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /

Veröffentlicht 2008

Inhaltsangabe: “...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”
Volltext

Elektronisch E-Book

16

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Around Advice Composition -- Guaranteeing Resource Bounds for Component Software -- Analysis of Java...”
Volltext

Elektronisch E-Book

17

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

Veröffentlicht 2006

Inhaltsangabe: “... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”
Volltext

Elektronisch E-Book

18

Middleware 2006 ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... -- Non-intrusive Performance Management for Computer Services -- Composition -- True and Transparent...”
Volltext

Elektronisch E-Book

19

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April...

Veröffentlicht 2014

Inhaltsangabe: “...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”
Volltext

Elektronisch E-Book

20

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

Veröffentlicht 2008

Inhaltsangabe: “... Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic...”
Volltext

Elektronisch E-Book

Suche einschränken