Sökresultat - program _ https evolution java https*

1

Java Closures and Lambda

av Fischer, Robert., Fischer, Robert.
Publicerad 2015

Ämnen: “...Java (Computer program language)....”
Hämta fulltext

Elektronisk E-bok

2

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

Publicerad 2005

Innehållsförteckning: “...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”
Hämta fulltext

Elektronisk E-bok

3

Windows 8 Apps Revealed Using HTML5 and JavaScript Using HTML5 and JavaScript /

av Freeman, Adam., Freeman, Adam.
Publicerad 2012

Ämnen: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hämta fulltext

Elektronisk E-bok

4

Genetic Programming Theory and Practice VIII

Publicerad 2011

Innehållsförteckning: “...FINCH: A System for Evolving Java (Bytecode) -- Towards Practical Autoconstructive Evolution: Self...”
Hämta fulltext

Elektronisk E-bok

5

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

Publicerad 2008

Innehållsförteckning: “... -- On Validity of Program Transformations in the Java Memory Model -- Safe Cross-Language Inheritance -- Session...”
Hämta fulltext

Elektronisk E-bok

6

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /

Publicerad 2005

Innehållsförteckning: “... Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces...”
Hämta fulltext

Elektronisk E-bok

7

ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”
Hämta fulltext

Elektronisk E-bok

8

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

Publicerad 2008

Innehållsförteckning: “... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...”
Hämta fulltext

Elektronisk E-bok

9

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”
Hämta fulltext

Elektronisk E-bok

10

Transactions on Aspect-Oriented Software Development XI

Publicerad 2014

Innehållsförteckning: “...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...”
Hämta fulltext

Elektronisk E-bok

11

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Publicerad 2013

Innehållsförteckning: “... Assignment for Featherweight Java: (To Rinus Plasmeijer, in Honour of His 61st Birthday) -- Verifying...”
Hämta fulltext

Elektronisk E-bok

12

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

Publicerad 2007

Innehållsförteckning: “...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”
Hämta fulltext

Elektronisk E-bok

13

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

Publicerad 2010

Innehållsförteckning: “... -- Software Evolution -- Are Popular Classes More Defect Prone? -- Operation-Based, Fine-Grained Version...”
Hämta fulltext

Elektronisk E-bok

14

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

Publicerad 2006

Innehållsförteckning: “... Quality-Oriented Assistance in Component-Based Software Evolution -- Components Have Test Buddies -- Short...”
Hämta fulltext

Elektronisk E-bok

15

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

Publicerad 2010

Ämnen: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hämta fulltext

Elektronisk E-bok

16

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

Publicerad 2007

Innehållsförteckning: “... Development -- Evolution and Agents -- EQ-Mine: Predicting Short-Term Defects for Software Evolution...”
Hämta fulltext

Elektronisk E-bok

17

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

Publicerad 2010

Innehållsförteckning: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
Hämta fulltext

Elektronisk E-bok

18

Transactions on Aspect-Oriented Software Development IX

Publicerad 2012

Innehållsförteckning: “... Theory to Performance -- Dynamic Aspect-Oriented Programming in Java: The HotWave Experience...”
Hämta fulltext

Elektronisk E-bok

19

Reliable Software Technologies - Ada-Europe 2010 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... Applications -- The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005...”
Hämta fulltext

Elektronisk E-bok

20

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

Publicerad 2008

Innehållsförteckning: “... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen