1
Publicado 2005
Tabla de Contenidos: ...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...
Enlace del recurso
Electrónico eBook
2
Publicado 2010
Tabla de Contenidos: ... Applications -- The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005...
Enlace del recurso
Electrónico eBook
3
Publicado 2007
Tabla de Contenidos: ... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...
Enlace del recurso
Electrónico eBook
4
Publicado 2008
Tabla de Contenidos: ... for Java-Like Programs -- Roles and Relationships in Object-Oriented Programming, Multiagent Systems...
Enlace del recurso
Electrónico eBook
5
Publicado 2005
Tabla de Contenidos: ...Object Orientation and Web Services -- Practical Problems of Programming in the Large (PPPL) -- 8th...
Enlace del recurso
Electrónico eBook
6
Publicado 2005
Tabla de Contenidos: ... -- Software Engineering -- Relational Schema Evolution for Program Independency -- Reliability Enhancement...
Enlace del recurso
Electrónico eBook
7
Publicado 2008
Tabla de Contenidos: ... -- On Validity of Program Transformations in the Java Memory Model -- Safe Cross-Language Inheritance -- Session...
Enlace del recurso
Electrónico eBook
8
Publicado 2005
Tabla de Contenidos: ... Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces...
Enlace del recurso
Electrónico eBook
9
Publicado 2006
Tabla de Contenidos: ...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...
Enlace del recurso
Electrónico eBook
10
Publicado 2007
Tabla de Contenidos: ... Routing Algorithm Using Evolution Program for Multiple Shortest Paths in DRGS -- Particle Swarm...
Enlace del recurso
Electrónico eBook
11
Publicado 2008
Tabla de Contenidos: ... -- Software Manipulation with Annotations in Java -- Zero-Overhead Composable Aspects for .NET -- Technologies...
Enlace del recurso
Electrónico eBook
12
Publicado 2006
Tabla de Contenidos: ... Quality-Oriented Assistance in Component-Based Software Evolution -- Components Have Test Buddies -- Short...
Enlace del recurso
Electrónico eBook
13
Publicado 2006
Tabla de Contenidos: ... in Database Applications Evolution -- Modular Name Analysis for Java Using JastAdd -- Techniques...
Enlace del recurso
Electrónico eBook
14
Publicado 2006
Tabla de Contenidos: ... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...
Enlace del recurso
Electrónico eBook
15
Publicado 2005
Tabla de Contenidos: ... -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing...
Enlace del recurso
Electrónico eBook
16
Publicado 2010
Tabla de Contenidos: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
Enlace del recurso
Electrónico eBook
17
Publicado 2014
Tabla de Contenidos: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Enlace del recurso
Electrónico eBook
18
Publicado 2006
Tabla de Contenidos: ... -- Slicing JavaTM Programs Using the JPDA and Dynamic Object Relationship Diagrams with XML...
Enlace del recurso
Electrónico eBook
19
Publicado 2008
Tabla de Contenidos: ... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...
Enlace del recurso
Electrónico eBook
20
Publicado 2008
Tabla de Contenidos: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Enlace del recurso
Electrónico eBook