Search Results - program java processes evolution java https

1

Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004...

Published 2005

Table of Contents: “...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”
View full text

Electronic eBook

2

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Published 2010

Table of Contents: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
View full text

Electronic eBook

3

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

Published 2008

Table of Contents: “...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”
View full text

Electronic eBook

4

Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures /

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

5

Enterprise Systems Integration A Process-Oriented Approach /

by Ferreira, Diogo R., Ferreira, Diogo R.
Published 2013

Table of Contents: “...Part I Introduction -- Evolution of Enterprise Systems -- Introduction to BizTalk Server -- Part II...”
View full text

Electronic eBook

6

Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers /

Published 2006

Table of Contents: “... in Database Applications Evolution -- Modular Name Analysis for Java Using JastAdd -- Techniques...”
View full text

Electronic eBook

7

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

Published 2007

Table of Contents: “...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”
View full text

Electronic eBook

8

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /

Published 2006

Table of Contents: “... the Analytic Hierarchy Process -- From Specification to Experimentation: A Software Component Search Engine...”
View full text

Electronic eBook

9

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

Published 2010

Table of Contents: “... -- Software Evolution -- Are Popular Classes More Defect Prone? -- Operation-Based, Fine-Grained Version...”
View full text

Electronic eBook

10

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

Published 2008

Table of Contents: “... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...”
View full text

Electronic eBook

11

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

Published 2010

Table of Contents: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
View full text

Electronic eBook

12

Object-Oriented Technology.ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports /

Published 2007

Table of Contents: “... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...”
View full text

Electronic eBook

13

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Published 2006

Table of Contents: “... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”
View full text

Electronic eBook

14

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

Published 2006

Table of Contents: “... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...”
View full text

Electronic eBook

15

Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports /

Published 2005

Table of Contents: “...Object Orientation and Web Services -- Practical Problems of Programming in the Large (PPPL) -- 8th...”
View full text

Electronic eBook

16

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers /

Published 2010

Table of Contents: “... Is the Solution, Then What Is the Problem? -- Regular Papers -- Language Evolution in Practice: The History of GMF...”
View full text

Electronic eBook

17

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

Published 2010

Table of Contents: “... an Executable TTCN-3 Markov Chain Usage Model -- Language-Critical Development of Process-Centric Application...”
View full text

Electronic eBook

18

Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers /

Published 2005

Table of Contents: “... -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing...”
View full text

Electronic eBook

19

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

20

Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings /

Published 2005

Table of Contents: “... -- Software Engineering -- Relational Schema Evolution for Program Independency -- Reliability Enhancement...”
View full text

Electronic eBook

Narrow Search