Rezultaty - programs method program evolution java https

1

Java Closures and Lambda

od Fischer, Robert., Fischer, Robert.
Wydane 2015

Hasła przedmiotowe: “...Java (Computer program language)....”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Genetic Programming Theory and Practice VIII

Wydane 2011

Spis treści: “...FINCH: A System for Evolving Java (Bytecode) -- Towards Practical Autoconstructive Evolution: Self...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

ECOOP 2008 - Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings /

Wydane 2008

Spis treści: “... -- On Validity of Program Transformations in the Java Memory Model -- Safe Cross-Language Inheritance -- Session...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Wydane 2010

Hasła przedmiotowe: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

Wydane 2005

Spis treści: “...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

Wydane 2014

Spis treści: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Transactions on Aspect-Oriented Software Development XI

Wydane 2014

Spis treści: “...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

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

Wydane 2008

Spis treści: “... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... -- Software Evolution -- Are Popular Classes More Defect Prone? -- Operation-Based, Fine-Grained Version...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

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

Wydane 2007

Spis treści: “... Development -- Evolution and Agents -- EQ-Mine: Predicting Short-Term Defects for Software Evolution...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

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

Wydane 2010

Spis treści: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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

Wydane 2008

Spis treści: “... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

Wydane 2010

Spis treści: “... of Agile Releases -- A Method to Measure Productivity Trends during Software Evolution -- Design Pattern...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

Wydane 2008

Spis treści: “... Model Synchronization -- An Invariant-Based Method for the Analysis of Declarative Model-to-Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

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

Wydane 2010

Spis treści: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Advanced Techniques in Computing Sciences and Software Engineering

Wydane 2010

Spis treści: “... or Class Size#x003F; -- An Empirical Study of #x201C;Removed#x201D; Classes in Java Open-Source Systems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

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

Wydane 2008

Spis treści: “... Heritage Collections -- End-User Assisted Ontology Evolution in Uncertain Domains -- Learning Methods...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

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

Wydane 2008

Spis treści: “...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

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

Wydane 2007

Spis treści: “... from Global Optimizing Evolution in a Multi-agent System -- A Hybrid Econometric-AI Ensemble Learning...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Wydane 2006

Spis treści: “... -- Slicing JavaTM Programs Using the JPDA and Dynamic Object Relationship Diagrams with XML...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty