1
Vydáno 2008
Obsah: ... -- On Validity of Program Transformations in the Java Memory Model -- Safe Cross-Language Inheritance -- Session...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2005
Obsah: ... Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2006
Obsah: ... Source Code Queries with Datalog -- Efficient Object Querying for Java -- Automatic Prefetching...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2010
Témata: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Získat plný text
Elektronický zdroj E-kniha
5
Autor Fischer, Robert., Fischer, Robert.
Vydáno 2015
Témata: ...Java (Computer program language)....
Získat plný text
Elektronický zdroj E-kniha
6
Vydáno 2007
Obsah: ... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2008
Obsah: ... for Java-Like Programs -- Roles and Relationships in Object-Oriented Programming, Multiagent Systems...
Získat plný text
Elektronický zdroj E-kniha
8
Vydáno 2011
Obsah: ...FINCH: A System for Evolving Java (Bytecode) -- Towards Practical Autoconstructive Evolution: Self...
Získat plný text
Elektronický zdroj E-kniha
9
Vydáno 2005
Obsah: ...Object Orientation and Web Services -- Practical Problems of Programming in the Large (PPPL) -- 8th...
Získat plný text
Elektronický zdroj E-kniha
10
Vydáno 2014
Obsah: ...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...
Získat plný text
Elektronický zdroj E-kniha
11
Vydáno 2008
Obsah: ... Object Replication for Building a Dependable Version Control System -- Recovery Mechanisms for Semantic...
Získat plný text
Elektronický zdroj E-kniha
12
Vydáno 2010
Obsah: ... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...
Získat plný text
Elektronický zdroj E-kniha
13
Vydáno 2007
Obsah: ... Development -- Evolution and Agents -- EQ-Mine: Predicting Short-Term Defects for Software Evolution...
Získat plný text
Elektronický zdroj E-kniha
14
Vydáno 2006
Obsah: ... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...
Získat plný text
Elektronický zdroj E-kniha
15
Vydáno 2006
Obsah: ...-Based Domain Architecture for Model Driven Security -- MDA-Based Re-engineering with Object-Z -- A Model...
Získat plný text
Elektronický zdroj E-kniha
16
Vydáno 2012
Obsah: ... Theory to Performance -- Dynamic Aspect-Oriented Programming in Java: The HotWave Experience...
Získat plný text
Elektronický zdroj E-kniha
17
Vydáno 2010
Obsah: ... Applications -- The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005...
Získat plný text
Elektronický zdroj E-kniha
18
Vydáno 2005
Obsah: ... Programs -- The Use of Traces for Inlining in Java Programs -- A Practical MHP Information Analysis...
Získat plný text
Elektronický zdroj E-kniha
19
Vydáno 2008
Obsah: ...Keynote I -- The Objects and Arrows of Computational Design -- Algebraic Models for Bidirectional...
Získat plný text
Elektronický zdroj E-kniha
20
Vydáno 2010
Obsah: ... of Agile Releases -- A Method to Measure Productivity Trends during Software Evolution -- Design Pattern...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání