000 | 04018nam a22005055i 4500 | ||
---|---|---|---|
001 | u374630 | ||
003 | SIRSI | ||
005 | 20160812084244.0 | ||
007 | cr nn 008mamaa | ||
008 | 100629s2010 gw | s |||| 0|eng d | ||
020 |
_a9783642139536 _9978-3-642-13953-6 |
||
040 | _cMX-MeUAM | ||
050 | 4 | _aQA76.758 | |
082 | 0 | 4 |
_a005.1 _223 |
100 | 1 |
_aVitek, Jan. _eeditor. |
|
245 | 1 | 0 |
_aObjects, Models, Components, Patterns _h[recurso electrónico] : _b48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings / _cedited by Jan Vitek. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010. |
|
300 |
_a316p. 103 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6141 |
|
505 | 0 | _aDeep 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. | |
520 | _aIt 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. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aComputer Communication Networks. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aLogic design. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aLogics and Meanings of Programs. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
650 | 2 | 4 | _aProgramming Techniques. |
650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
650 | 2 | 4 | _aComputer Communication Networks. |
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783642139529 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6141 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-13953-6 |
596 | _a19 | ||
942 | _cLIBRO_ELEC | ||
999 |
_c202510 _d202510 |