Search Results - function evolution evolution developing java https

1

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

Published 2013

Table of Contents: “...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”
View full text

Electronic eBook

2

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

Published 2007

Table of Contents: “... Development -- Evolution and Agents -- EQ-Mine: Predicting Short-Term Defects for Software Evolution...”
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: “... 9001 to Agile Software Development -- Study of the Evolution of an Agile Project Featuring a Web...”
View full text

Electronic eBook

4

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

Published 2007

Table of Contents: “... Motivated by Hardware Evolution -- Contributed Papers -- A Compilation Model for Aspect-Oriented...”
View full text

Electronic eBook

5

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

Published 2006

Table of Contents: “...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”
View full text

Electronic eBook

6

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: “... Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi...”
View full text

Electronic eBook

7

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

8

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
View full text

Electronic eBook

9

Machine Learning and Systems Engineering

Published 2010

Table of Contents: “... Problem -- A Development of Data-Logger for Indoor Environment -- Multiobjective Evolutionary Optimization...”
View full text

Electronic eBook

10

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

11

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

Published 2010

Subjects: “...Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029...”
View full text

Electronic eBook

12

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings /

Published 2006

Table of Contents: “... -- M2E: A Multiple-Input, Multiple-Output Function Extension for RISC-Based Extensible Processors...”
View full text

Electronic eBook

13

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Published 2005

Table of Contents: “... Paths Between XML Documents Using Sequential Patterns -- Web Information Systems Development -- Using...”
View full text

Electronic eBook

14

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

Published 2006

Table of Contents: “...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”
View full text

Electronic eBook

15

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

Published 2007

Table of Contents: “... from Global Optimizing Evolution in a Multi-agent System -- A Hybrid Econometric-AI Ensemble Learning...”
View full text

Electronic eBook

16

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

Published 2005

Table of Contents: “... -- Here’s Your LegoTM Security Kit: How to Give Developers All Protection Mechanisms They Will Ever Need...”
View full text

Electronic eBook

Narrow Search