Objects, Models, Components, Patterns
Vitek, Jan.
Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings / [recurso electrónico] : edited by Jan Vitek. - 316p. 103 illus. online resource. - Lecture Notes in Computer Science, 6141 0302-9743 ; . - Lecture Notes in Computer Science, 6141 .
Deep Meta-modelling with MetaDepth -- A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks -- Understanding the Impact of Collection Contracts on Design -- Reasoning about Function Objects -- Welterweight Java -- Read-Only Execution for Dynamic Languages -- Optimizing Aspect-Oriented Mechanisms for Embedded Applications -- Contract-Driven Testing of JavaScript Code -- Late Binding of AspectJ Advice -- EriLex: An Embedded Domain Specific Language Generator -- Domain-Specific Program Checking -- Revisiting Parametric Types and Virtual Classes -- Moles: Tool-Assisted Environment Isolation with Closures -- Encoding Ownership Types in Java -- Visualizing Dynamic Metrics with Profiling Blueprints.
It is a pleasure to present the proceedings of the 48th TOOLS Europe Conf- ence (TOOLS 2010) held in M´ alaga, Spain. The conference continues to serve a broad object-oriented community with a technical program spanning theory and practice. The program was rounded out with keynotes by Oege De Moor, Ivar Jacobson and Bertrand Meyer, and a banquet speech by Jean Bzivin. The proceedings include 16 papers selected from 60 submissions. The papers were reviewed in a single-blind process with 4-7 reviews per paper. The Program Committee (PC) discussions followed Oscar Nierstrasz’ Champion pattern. PC papers had additional reviews and were held at a higher standard. For the ?rst time this year, TOOLS had a PC meeting which combined in-person discussions and electronic presence. TOOLS owes is success to the e?orts of many. I would like to thank the authors for their submissions, the PC members and their subreviewers for their reviews, our General Chair Bertrand Meyer, Antonio Vallecillo for the overall organization; Richard van de Stadt for his invaluable help with Cyberchair, and Bertrand Meyer and Peter Muller ¨ for hosting the PC meeting at the ETHZ. April 2010 Jan Vitek Organization The TOOLS 2010 conferences were organized by the Department of Computer Science of the University of M´ alaga, in co-operation with the ETH, Zur ¨ ich.
9783642139536
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Mathematical Logic and Formal Languages.
Computer Communication Networks.
QA76.758
005.1
Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings / [recurso electrónico] : edited by Jan Vitek. - 316p. 103 illus. online resource. - Lecture Notes in Computer Science, 6141 0302-9743 ; . - Lecture Notes in Computer Science, 6141 .
Deep Meta-modelling with MetaDepth -- A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks -- Understanding the Impact of Collection Contracts on Design -- Reasoning about Function Objects -- Welterweight Java -- Read-Only Execution for Dynamic Languages -- Optimizing Aspect-Oriented Mechanisms for Embedded Applications -- Contract-Driven Testing of JavaScript Code -- Late Binding of AspectJ Advice -- EriLex: An Embedded Domain Specific Language Generator -- Domain-Specific Program Checking -- Revisiting Parametric Types and Virtual Classes -- Moles: Tool-Assisted Environment Isolation with Closures -- Encoding Ownership Types in Java -- Visualizing Dynamic Metrics with Profiling Blueprints.
It is a pleasure to present the proceedings of the 48th TOOLS Europe Conf- ence (TOOLS 2010) held in M´ alaga, Spain. The conference continues to serve a broad object-oriented community with a technical program spanning theory and practice. The program was rounded out with keynotes by Oege De Moor, Ivar Jacobson and Bertrand Meyer, and a banquet speech by Jean Bzivin. The proceedings include 16 papers selected from 60 submissions. The papers were reviewed in a single-blind process with 4-7 reviews per paper. The Program Committee (PC) discussions followed Oscar Nierstrasz’ Champion pattern. PC papers had additional reviews and were held at a higher standard. For the ?rst time this year, TOOLS had a PC meeting which combined in-person discussions and electronic presence. TOOLS owes is success to the e?orts of many. I would like to thank the authors for their submissions, the PC members and their subreviewers for their reviews, our General Chair Bertrand Meyer, Antonio Vallecillo for the overall organization; Richard van de Stadt for his invaluable help with Cyberchair, and Bertrand Meyer and Peter Muller ¨ for hosting the PC meeting at the ETHZ. April 2010 Jan Vitek Organization The TOOLS 2010 conferences were organized by the Department of Computer Science of the University of M´ alaga, in co-operation with the ETH, Zur ¨ ich.
9783642139536
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Mathematical Logic and Formal Languages.
Computer Communication Networks.
QA76.758
005.1
