Search Results - integration section programming program java https

1

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Published 2013

Table of Contents: “...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”
View full text

Electronic eBook

2

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Published 2012

Table of Contents: “... -- Simulation of Flexible Objects in Robotics -- Continuous Integration for Iterative Validation of Simulated...”
View full text

Electronic eBook

3

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Published 2014

Table of Contents: “... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”
View full text

Electronic eBook

4

Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers /

Published 2008

Table of Contents: “... as an Integration Concept -- Engineering Object and Agent Methodologies -- I: Programming Languages -- From Static...”
View full text

Electronic eBook

5

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

Published 2008

Table of Contents: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
View full text

Electronic eBook

6

The Definitive Guide to JasperReports

by Danciu, Teodor., Danciu, Teodor., Chirita, Lucian.
Published 2007

Table of Contents: “... Sections -- Report Elements -- Subreports -- Datasets -- Charts -- Crosstabs -- Scriptlets...”
View full text

Electronic eBook

7

Introduction to Computer Graphics Using Java 2D and 3D /

by Klawonn, Frank., Klawonn, Frank.
Published 2008

Subjects: “...Computer Applications. https://scigraph.springernature.com/ontologies/product-market-codes/I23001...”
View full text

Electronic eBook

8

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-2...

Published 2013

Table of Contents: “...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”
View full text

Electronic eBook

9

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

Published 2008

Table of Contents: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
View full text

Electronic eBook

10

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

Published 2014

Table of Contents: “... Taint Analysis for Java Web Applications -- Mining the Categorized Software Repositories to Improve...”
View full text

Electronic eBook

11

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /

Published 2008

Table of Contents: “... by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration...”
View full text

Electronic eBook

12

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

Published 2008

Table of Contents: “... Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First...”
View full text

Electronic eBook

13

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

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

14

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Published 2013

Table of Contents: “... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”
View full text

Electronic eBook

15

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

Published 2013

Table of Contents: “... Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs -- Discovering Branching...”
View full text

Electronic eBook

16

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Published 2014

Table of Contents: “... -- An Evaluation of the Effectiveness of the Atomic Section Model -- Model Transformation 1 -- Parsing in a Broad...”
View full text

Electronic eBook

17

Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings /

Published 2008

Table of Contents: “...-to-End Integrity Protection in Signed PGP Mail -- Unclonable Lightweight Authentication Scheme -- Threat...”
View full text

Electronic eBook

18

Ajax in Oracle JDeveloper

by Vohra, Deepak., Vohra, Deepak.
Published 2008

Table of Contents: “...What is Ajax? -- Developing an Ajax Web Application -- Less JavaScript with Prototype -- Ajax...”
View full text

Electronic eBook

19

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Published 2008

Table of Contents: “...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...”
View full text

Electronic eBook

20

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

Published 2014

Table of Contents: “... -- Approximating Generators for Integral Arithmetic Groups -- Software for Groups: Theory and Practice...”
View full text

Electronic eBook

Narrow Search