Rezultati - program state https evolution java https*

1

Genetic Programming Theory and Practice VIII

Izdano 2011

Kazalo: “...FINCH: A System for Evolving Java (Bytecode) -- Towards Practical Autoconstructive Evolution: Self...”
Polni tekst

Elektronski eKnjiga

2

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

Izdano 2008

Kazalo: “... -- On Validity of Program Transformations in the Java Memory Model -- Safe Cross-Language Inheritance -- Session...”
Polni tekst

Elektronski eKnjiga

3

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

Izdano 2005

Kazalo: “... Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces...”
Polni tekst

Elektronski eKnjiga

4

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

Izdano 2008

Kazalo: “... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...”
Polni tekst

Elektronski eKnjiga

5

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

Izdano 2013

Kazalo: “...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”
Polni tekst

Elektronski eKnjiga

6

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

Izdano 2006

Kazalo: “... Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System...”
Polni tekst

Elektronski eKnjiga

7

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

Izdano 2010

Teme: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Polni tekst

Elektronski eKnjiga

8

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

Izdano 2007

Kazalo: “... Development -- Evolution and Agents -- EQ-Mine: Predicting Short-Term Defects for Software Evolution...”
Polni tekst

Elektronski eKnjiga

9

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

Izdano 2010

Kazalo: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
Polni tekst

Elektronski eKnjiga

10

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

Izdano 2010

Kazalo: “... -- Program Verification in SPARK and ACSL: A Comparative Case Study -- Static Versioning of Global State...”
Polni tekst

Elektronski eKnjiga

11

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

Izdano 2006

Kazalo: “... StateMachines -- Facilitating the Definition of General Constraints in UML -- Security -- Towards a MOF/QVT...”
Polni tekst

Elektronski eKnjiga

12

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

Izdano 2008

Kazalo: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Polni tekst

Elektronski eKnjiga

13

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

Izdano 2010

Kazalo: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Polni tekst

Elektronski eKnjiga

14

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

Izdano 2014

Kazalo: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Polni tekst

Elektronski eKnjiga

15

Advanced Techniques in Computing Sciences and Software Engineering

Izdano 2010

Kazalo: “... or Class Size#x003F; -- An Empirical Study of #x201C;Removed#x201D; Classes in Java Open-Source Systems...”
Polni tekst

Elektronski eKnjiga

16

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

Izdano 2007

Kazalo: “... -- Exploration of TCM Masters Knowledge Mining -- A Numerical Trip to Social Psychology: Long-Living States...”
Polni tekst

Elektronski eKnjiga

17

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

Izdano 2006

Kazalo: “... -- Slicing JavaTM Programs Using the JPDA and Dynamic Object Relationship Diagrams with XML...”
Polni tekst

Elektronski eKnjiga

18

Enterprise Systems Integration A Process-Oriented Approach /

od Ferreira, Diogo R., Ferreira, Diogo R.
Izdano 2013

Kazalo: “...Part I Introduction -- Evolution of Enterprise Systems -- Introduction to BizTalk Server -- Part II...”
Polni tekst

Elektronski eKnjiga

19

Advances in Wireless Networks and Information Systems

Izdano 2010

Kazalo: “... on Wireless Information Networks and Pinning Control -- Dynamic Evolution in System Modeling of Knowledge...”
Polni tekst

Elektronski eKnjiga

20

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

Izdano 2007

Kazalo: “... Routing Algorithm Using Evolution Program for Multiple Shortest Paths in DRGS -- Particle Swarm...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje