Lecture Notes in Computer Science 4199
|
|
- Marshall Moore
- 5 years ago
- Views:
Transcription
1 Lecture Notes in Computer Science 4199 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Moshe Y. Vardi Rice University, Houston, TX, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany
2 Oscar Nierstrasz Jon Whittle David Harel Gianna Reggio (Eds.) Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006 Genova, Italy, October 1-6, 2006 Proceedings 13
3 Volume Editors Oscar Nierstrasz University of Bern, Institute of Computer Science and Applied Mathematics Neubrückstr. 10, 3012 Bern, Switzerland Jon Whittle George Mason University, Department of Information and Software Engineering Science & Tech II, 4400 University Drive, Fairfax, VA , USA David Harel The Weizmann Institute of Science Department of Computer Science and Applied Mathematics Rehovot 76100, Israel Gianna Reggio University of Genova, DISI, Department of Computer Science Via Dodecaneso 35, Genova, Italy Library of Congress Control Number: CR Subject Classification (1998): D.2, D.3, K.6, I.6 LNCS Sublibrary: SL 2 Programming and Software Engineering ISSN ISBN Springer Berlin Heidelberg New York ISBN Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com Springer-Verlag Berlin Heidelberg 2006 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: /
4 Preface MoDELS/UML 2006 was the ninth incarnation of this series of conferences on Model Driven Engineering Languages and Systems. The conference was held in Genoa, Italy during the week of October 1-6, The local arrangements were provided by DISI, the Department of Computer and Information Science at the University of Genoa. This volume contains the final versions of the papers accepted for presentation at the conference, as well as two invited papers by the keynote speakers, Hassan Gomaa (George Mason University, USA) and Irun Cohen (The Weizmann Institute of Science, Israel). We received 178 full paper submissions for review from 34 different countries. Of these, 24 papers were submitted with authors from more than one country. The top three countries submitting papers were Germany (25), USA (23) and France (20). A total of 51 papers were accepted for inclusion in the proceedings, including six experience papers. This reflects an acceptance rate of 29%, a rate comparable to those of previous MoDELS/UML conferences. Each paper was reviewed by at least three Program Committee members. Reviewing was thorough, and authors received, in most cases, detailed comments on their submissions. Conflicts of interest were taken very seriously. No one participated in any way in the decision process of any paper where a conflict of interest was identified. In particular, PC members who submitted papers did not have access to any information concerning the reviewing of their papers. (The acceptance rate for PC papers was similar to the overall acceptance rate.) We would like to thank everyone who submitted papers as well as proposals for workshops and tutorials. We would also like to thank the large number of volunteers who contributed to the success of the conference, including the PC members, the additional reviewers who supported the review process, the members of the local Organizing Committee, the volunteers who helped with the local organization, and the two invited speakers. We would also like to thank Richard van de Stadt for his prompt and gracious service in supporting special requests for CyberChairPRO, the conference management system used to manage papers submissions and the virtual PC meeting. Finally, we would like to thank our sponsors, ACM, IEEE Computer Society and DISI, for their support of the MoDELS/UML 2006 conference. October 2006 Oscar Nierstrasz Jon Whittle David Harel Gianna Reggio
5 Organization Organizing Committee General Chair Conference Chair Program Chair Experience Track Chair Workshop Chair Tutorial Chair Panel Chair Doctoral Symposium Chair Educators Symposium Chair Poster Chair Local Arrangements Chair Tool Exhibition Chair Web Chairs Publicity Chairs David Harel (Weizmann Institute of Science, Israel) Gianna Reggio (U. of Genoa, Italy) Oscar Nierstrasz (U. of Bern, Switzerland) Jon Whittle (George Mason U., USA) Thomas Kühne (Darmstadt U. of Tech., Germany) Egidio Astesiano (U. of Genoa, Italy) Douglas C. Schmidt (Vanderbilt U., USA) Robert G. Pettit (The Aerospace Corporation, USA) Ludwik Kuzniarz (Bleking Inst. of Tech., Sweden) Eda Marchetti (ISTI-CNR, Italy) Maura Cerioli (U. of Genoa, Italy) Walter Cazzola (U. of Milan, Italy) Andrea Baresi (U. of Genoa, Italy) Emanuele Crivello (U. of Genoa, Italy) Emanuel Grant (U. of North Dakota, USA) Laurence Tratt (King s College, London, UK) Program Committee Gabriela Beatriz Arévalo (Argentina) Colin Atkinson (Germany) Thomas Baar (Switzerland) Paul Baker (UK) Antonia Bertolino (Italy) Jean Bézivin (France) Francis Bordeleau (Canada) Lionel Briand (Norway) Shigeru Chiba (Japan) Siobhán Clarke (Ireland) Pascal Costanza (Belgium) Krzysztof Czarnecki (Canada) Serge Demeyer (Belgium) Christophe Dony (France) Stéphane Ducasse (France) Gregor Engels (Germany) Jean-Marie Favre (France) Harald Gall (Switzerland) Geri Georg (USA) Sudipto Ghosh (USA) Martin Gogolla (Germany) Hassan Gomaa (USA) Susanne Graf (France) Øystein Haugen (Norway) Robert Hirschfeld (Germany) Seongsoo Hong (Korea) Paola Inverardi (Italy) Jean-Marc Jézéquel (France)
6 VIII Organization Jörg Kienzle (Canada) Thomas Kühne (Germany) Michele Lanza (Switzerland) Timothy C. Lethbridge (Canada) Radu Marinescu (Romania) Tom Mens (Belgium) Hafedh Mili (Canada) Dragan Milicev (Serbia) Pierre-Alain Muller (France) Robert G. Pettit IV (USA) Alexander Pretschner (Switzerland) Bernhard Rumpe (Germany) Douglas C. Schmidt (USA) Jean-Guy Schneider (Australia) Bran Selic (Canada) Juha-Pekka Tolvanen (Finland) Ellen Van Paesschen (Belgium) Alain Wegmann (Switzerland) Thomas Weigert (USA) Claudia Maria Lima Werner (Brazil) Jon Whittle (USA) Clay E. Williams (USA) Alan Cameron Wills (UK) Steering Committee Thomas Baar (Switzerland) Jean Bézivin (France) Lionel Briand (Norway) Steve Cook (UK) Andy Evans (UK) Robert France (USA) Geri Georg (USA) Martin Gogolla (Germany) Heinrich Hussmann (Germany) Jean-Marc Jézéquel (France) Stuart Kent (UK) Cris Kobryn (USA) Ana Moreira (Portugal) Pierre-Alain Muller (France) Oscar Nierstrasz (Switzerland) Gianna Reggio (Italy) David Rosenblum (UK) Bernhard Rumpe (Germany) Bran Selic (Canada) Perdita Stevens (UK) Jon Whittle (USA) Sponsors DISI, Dipartimento di Informatica e Scienze dell Informazione, Università digenova ( ACM Special Interest Group on Software Engineering ( IEEE Computer Society ( CyberChairPRO Operation and Support Richard van de Stadt, Borbala Online Conference Services
7 Organization IX Additional Referees Ilham Alloui Carsten Amelunxen Paul Ammann Dave Arnold Marco Autili Olivier Barais Benoit Baudry Hanna Bauerdick Alexandre Bergel Christian Berger Kirsten Berkenkötter Ana Paula Terra Bacelo Blois Conrad Bock Elisa Gonzalez Boix Antonio Bucchiarone Fabian Büttner Thomas Cleenewerck Olivier Constant Steve Cook Alexandre Luis Correa Jean-Pierre Corriveau Guglielmo De Angelis JoseDiegodelaCruz Maja D Hondt Alexandre Ribeiro Dantas Jessie Dedecker Marcus Denker Wolfgang De Meuter Coen De Roover Dirk Deridder Brecht Desmet Antinisca Di Marco Jürgen Doser Cédric Dumoulin Peter Ebraert Ghizlaine El-Boussaidi Maged Elaasar Taewook Eom Johan Fabry Micheal Fischer Franck Fleurey Beat Fluri Lars Frantzen Vahid Garousi Sofie Goderis Vincenzo Grassi Hans Groenniger Yann-Gaël Guéhéneuc Kris Gybels Baris Gühldali Jun Han Ulrich Hannemann Michel Hassenforder Michael Haupt Jan Hendrik Hausmann Berthold Hoffmann Eckhardt Holz Duwon Hong Marianne Huchard Marc-Philippe Huget Karsten Hölscher Andrew Jackson Eshref Januzaj Andy Kellens Stuart Kent Ismail Khriss Dae-Kyoo Kim Soyeon Kim Anneke Kleppe Holger Krahn Jochen Kuester Adrian Kuhn Thomas Lambolais Lam-Son Le Jaesoo Lee Eric Lefebvre Lingling Liao Jonas Lindholm Arne Lindow Marc Lohmann Marco Alexandre Lopes Marco Aurélio Mangan Eda Marchetti Slaviša Marković Isabel Michiels Raffaela Mirandola
8 X Organization Stijn Mostinckx Henry Muccini Olaf Muliawan Leonardo Gresta Paulino Murta Sadaf Mustafiz Clémentine Nebut Johann Oberleitner Erika Olimpiew Francesco Parisi-Presicce Jiyong Park Patrizio Pelliccione Jean-Marc Perronne Jean-François Perrot Paulo Pires Andrea Polini Damien Pollet Claudia Pons Juha Pärssinen Gil Regev Gerald Reif Matthias Rieger Dirk Riehle Romain Robbes Irina Rychkova Antonino Sabetta Murat Sahingöz Stefan Sauer Tim Schattkowsky Martin Schindler Hans Schippers Andy Schürr Karsten Sohr Mike Sowka Jim Steel Julie A. Street Bernard Thirion Laurent Thiry Yves Le Traon Guy Tremblay Christelle Urtado Jorge Vallejos Tom Van Cutsem Ragnhild Van Der Straeten Niels Van Eetvelde Pieter Van Gorp Bart Van Rompaey Filip Van Rysselberghe Hans Vangheluwe Sylvain Vauttier German Vega Herve Verjus Steven Voelkel Hendrik Voigt Didier Vojtisek Dennis Wagelaar Seungmin We Duminda Wijesekera Jonghun Yoo Wooseok Yoo Sergio Yovine Tao Yue Tewfik Ziadi
9 Table of Contents Keynote 1 A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines... 1 Hassan Gomaa Evaluating UML Uses and Abuses of the Stereotype Mechanism in UML 1.x and Brian Henderson-Sellers, Cesar Gonzalez-Perez An Experimental Investigation of UML Modeling Conventions Christian F.J. Lange, Bart Du Bois, Michel R.V. Chaudron, Serge Demeyer Improving the Definition of UML Greg O Keefe MDA in Software Development Adopting Model Driven Software Development in Industry A Case Study at Two Companies Miroslaw Staron Use Case Driven Iterative Development: Hurdles and Solutions Santiago Ceria, Juan José Cukier Model-Driven Development with SDL Process, Tools, and Experiences Thomas Kuhn, Reinhard Gotzhein, Christian Webel Concrete Syntax Model-Driven Analysis and Synthesis of Concrete Syntax Pierre-Alain Muller, Franck Fleurey, Frédéric Fondement, Michel Hassenforder, Rémi Schneckenburger, Sébastien Gérard, Jean-Marc Jézéquel Correctly Defined Concrete Syntax for Visual Modeling Languages Thomas Baar
10 XII Table of Contents Applying UML to Interaction and Coordination Compositional MDA Louis van Gool, Teade Punter, Marc Hamilton, Remco van Engelen CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications Jan Van den Bergh, Karin Coninx Aspects Domain Models Are NOT Aspect Free Awais Rashid, Ana Moreira A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects María Agustina Cibrán, Maja D Hondt Model Intergration Package Merge in UML 2: Practice vs. Theory? Alanna Zito, Zinovy Diskin, Juergen Dingel Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis Tom Mens, Ragnhild Van Der Straeten, Maja D Hondt Merging Models with the Epsilon Merging Language (EML) Dimitrios S. Kolovos, Richard F. Paige, Fiona A.C. Polack Formal Semantics of UML Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML Zinovy Diskin, Juergen Dingel Semantic Variations Among UML StateMachines Ali Taleghani, Joanne M. Atlee Facilitating the Definition of General Constraints in UML Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente
11 Table of Contents XIII Security Towards a MOF/QVT-Based Domain Architecture for Model Driven Security Michael Hafner, Muhammad Alam, Ruth Breu MDA-Based Re-engineering with Object-Z Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson A Model Transformation Semantics and Analysis Methodology for SecureUML Achim D. Brucker, Jürgen Doser, Burkhart Wolff Model Transformation Tools and Implementation Incremental Model Transformation for the Evolution of Model-Driven Systems David Hearnden, Michael Lawley, Kerry Raymond A Plugin-Based Language to Experiment with Model Transformation Jesús Sánchez Cuadrado, Jesús García Molina SiTra: Simple Transformations in Java David H. Akehurst, Behzad Bordbar, Michael J. Evans, W. Gareth J. Howells, Klaus D. McDonald-Maier Analyzing Dynamic Models Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models Vahid Garousi, Lionel C. Briand, Yvan Labiche Model Extraction Using Context Information Lucio Mauro Duarte, Jeff Kramer, Sebastian Uchitel Dynamic and Generic Manipulation of Models: From Introspection to Scripting Christophe Tombelle, Gilles Vanwormhoudt Specifying Transformations Model Transformation by Example Dániel Varró
12 XIV Table of Contents Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework Enrico Biermann, Karsten Ehrig, Christian Köhler, Günter Kuhns, Gabriele Taentzer, Eduard Weiss Model Transformations? Transformation Models! Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow MOF A Mapping Language from Models to DI Diagrams Marcus Alanen, Torbjörn Lundkvist, Ivan Porres Basic Operations over Models Containing Subset and Union Properties Marcus Alanen, Ivan Porres A Metamodeling Approach to Pattern Specification Maged Elaasar, Lionel C. Briand, Yvan Labiche Keynote 2 Immune System Computation and the Immunological Homunculus Irun R. Cohen Bridging Models Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach Gabriela Arévalo, Jean-Rémi Falleri, Marianne Huchard, Clémentine Nebut Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages Gerti Kappel, Elisabeth Kapsammer, Horst Kargl, Gerhard Kramler, Thomas Reiter, Werner Retschitzegger, Wieland Schwinger, Manuel Wimmer Incremental Model Synchronization with Triple Graph Grammars Holger Giese, Robert Wagner
13 Table of Contents XV Risk, Trust and Dependability Model-Driven Assessment of Use Cases for Dependable Systems Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe A Graphical Approach to Risk Identification, Motivated by Empirical Investigations Ida Hogganvik, Ketil Stølen Reusable MDA Components: A Testing-for-Trust Approach Jean-Marie Mottu, Benoit Baudry, Yves Le Traon Tool Environments Using Smalltalk as a Reflective Executable Meta-language Stéphane Ducasse, Tudor Gîrba UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI Björn Lundell, Brian Lings, Anna Persson, Anders Mattsson Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gervais OCL An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE Claudia Pons, Diego Garcia An OCL Semantics Specified with QVT Slaviša Marković, Thomas Baar Specification of Invariability in OCL Piotr Kosiuczenko Roundtrip Engineering Framework-Specific Modeling Languages with Round-Trip Engineering Micha l Antkiewicz, Krzysztof Czarnecki
14 XVI Table of Contents A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems Heather Goldsby, Betty H.C. Cheng, Sascha Konrad, Stephane Kamdoum Layered Class Diagrams: Supporting the Design Process Scott Hendrickson, Bryan Jett, André van der Hoek Real Time and Embedded Systems Using UML Activities for System-on-Chip Design and Synthesis Tim Schattkowsky, Jan Hendrik Hausmann, Gregor Engels Modeling and Early Performance Estimation for Network Processor Applications Antonia Bertolino, Alvise Bonivento, Guglielmo De Angelis, Alberto Sangiovanni-Vincentelli A Formal Semantics of UML-RT Michael von der Beeck Workshops, Tutorials and Panels Workshops and Symposia at MoDELS Thomas Kühne Tutorials at MoDELS Egidio Astesiano Panels at MoDELS Douglas C. Schmidt Author Index
Lecture Notes in Computer Science 4409
Lecture Notes in Computer Science 4409 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7007
Lecture Notes in Computer Science 7007 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 3511
Lecture Notes in Computer Science 3511 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationPreface. Lionel Briand, Geri Georg, Stuart Kent, Ezra Mugisa, Clay Williams
Preface The MoDELS (Model Driven Engineering, Languages, and Systems) conference is a continuation of the successful series of UML conferences. This volume contains the final versions of the technical
More informationLecture Notes in Computer Science 4454
Lecture Notes in Computer Science 4454 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4735
Lecture Notes in Computer Science 4735 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4401
Lecture Notes in Computer Science 4401 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4728
Lecture Notes in Computer Science 4728 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 3819
Lecture Notes in Computer Science 3819 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4214
Lecture Notes in Computer Science 4214 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Artificial Intelligence 3176
Lecture Notes in Artificial Intelligence 3176 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science Olivier Bousquet Ulrike von Luxburg Gunnar Rätsch (Eds.) Advanced
More informationLecture Notes in Computer Science 7480
Lecture Notes in Computer Science 7480 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Artificial Intelligence 2155
Lecture Notes in Artificial Intelligence 2155 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis,
More informationOCL th International Workshop on OCL and Textual Modeling
ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems October 2 October 7, 2016 Saint-Malo (France) OCL 2016 16th International Workshop on OCL and Textual Modeling Workshop
More informationLecture Notes in Computer Science 4066
Lecture Notes in Computer Science 4066 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 2863 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2863 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo Perdita Stevens Jon Whittle Grady Booch (Eds.)
More informationLecture Notes in Computer Science 3713
Lecture Notes in Computer Science 3713 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 5004
Lecture Notes in Computer Science 5004 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationNon-functional Properties in Modeling: Analysis, Languages and Processes
Simona Bernardi Marko Bošković José Merseguer Non-functional Properties in Modeling: Analysis, Languages and Processes 5th International Workshop NiM-ALP 2013 Miami, FL, USA, 29 September 2013 Proceedings
More informationLecture Notes in Computer Science 6705
Lecture Notes in Computer Science 6705 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationOrganization. Stephen J. Mellor (Mentor Graphics, USA) João Araújo (New University of Lisbon, Portugal)
Preface This volume comprises the final versions of the technical papers presented at the UML 2004 conference held in Lisbon (, October 11 15, 2004. UML 2004 was the seventh conference in a series of annual
More informationLecture Notes in Computer Science 3527
Lecture Notes in Computer Science 3527 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 6663
Lecture Notes in Computer Science 6663 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationResearch Reports ESPRIT
Research Reports ESPRIT Project 393. ACORD. Vol. 1 Edited in cooperation with the Commission of the European Communities G. G. Bes T. Guillotin (Eds.) A Natural Language and Graphics Interface Resu Its
More informationLecture Notes in Computer Science 4797
Lecture Notes in Computer Science 4797 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 2386 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2386 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Eerke A. Boiten Bernhard M ller (Eds.)
More informationLecture Notes in Computer Science 2497 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2497 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Enrico Gregori Giuseppe Anastasi Stefano
More informationUML The Unified Modeling Language. Modeling Languages, Concepts, and Tools
Lecture Notes in Computer Science 2185 UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings Bearbeitet
More informationSpringer Berlin Heidelberg NewYork Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo
The Mathematical World ofwalter Noll Springer Berlin Heidelberg NewYork Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo Yurie A.Ignatieff The Mathematical World of Walter Noll
More informationACM/IEEE 12 th Annual International Conference on Model Driven Engineering Languages and Systems MODELS Denver, Colorado, USA October 4 9, 2009
ACM/IEEE 12 th Annual International Conference on Model Driven Engineering Languages and Systems MODELS 2009 Denver, Colorado, USA October 4 9, 2009 Photograph courtesy of Denver Metro Convention Visitors
More informationLecture Notes in Computer Science 6707
Lecture Notes in Computer Science 6707 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationProceedings & Companion WikiSym 07, ISMM 07, HPC-GECO/CompFrame 07, DLS 07
Montréal, Canada 2007 Proceedings & Companion WikiSym 07, ISMM 07, HPC-GECO/CompFrame 07, DLS 07 Palais des congrès de Montréal October 21 25 SIGPLAN ISBN 978-1-59593-858-9 Order # 548075 OOPSLA 2007,
More informationLecture Notes in Computer Science 6037
Lecture Notes in Computer Science 6037 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Artificial Intelligence 4327
Lecture Notes in Artificial Intelligence 4327 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science (Eds.) Declarative Agent Languages and Technologies IV 4th International
More informationLecture Notes in Computer Science 5671
Lecture Notes in Computer Science 5671 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7342
Lecture Notes in Computer Science 7342 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 5581
Lecture Notes in Computer Science 5581 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationCESAM Certified Members
A. Franck 15/12/2016 CESAM Confirmed System Architect A. Julien 22/01/2015 CESAM Confirmed System Architect A. Cyrille 14/12/2017 CESAM Confirmed System Architect A. Eva 13/06/2017 CESAM Confirmed System
More informationLecture Notes in Computer Science 9804
Lecture Notes in Computer Science 9804 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison, UK Josef Kittler,
More informationUlrik M. Nyman - Curriculum Vitæ
Ulrik M. Nyman - Curriculum Vitæ Personal Information Education Ulrik Mathias Nyman Phone: 40 89 21 56 Doravej 45 st. th. Email: ulrik@cs.aau.dk 9000 Aalborg Born: 2nd of December 1978 Married to Tina,
More informationWelcome to Workshop Designing Collaborative Interactive Spaces for e Creativity, e Science and e Learning AVI 2012, Capri, Italy, May 25 th.
Welcome to Workshop Designing Collaborative Interactive Spaces for e Creativity, e Science and e Learning AVI 2012, Capri, Italy, May 25 th. 1 Raimund Dachselt TU Dresden, Germany Organizers Gerhard Fischer
More informationInternational Conference on Image and Signal Processing. July 2-4, 2018, Cherbourg, France
International Conference on Image and Signal Processing July 2-4, 2018, Cherbourg, France ICISP in numbers Stats. From 122 records (full papers), Each paper has been reviewed at least by 2 experts 58 papers
More informationLecture Notes in Computer Science 10644
Lecture Notes in Computer Science 10644 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4449
Lecture Notes in Computer Science 4449 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 3507
Lecture Notes in Computer Science 3507 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 5083
Lecture Notes in Computer Science 5083 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 5474
Lecture Notes in Computer Science 5474 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationIWPSE-EVOL 2009 Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE)
Welcome to IWPSE-EVOL 2009 Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE) 24-25 August, Amsterdam, The Netherlands Organisers Program
More informationLecture Notes in Computer Science 4883
Lecture Notes in Computer Science 4883 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7744
Lecture Notes in Computer Science 7744 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 3273
Lecture Notes in Computer Science 3273 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 8036
Lecture Notes in Computer Science 8036 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison, UK Josef Kittler,
More informationLecture Notes in Computer Science 3061
Lecture Notes in Computer Science 3061 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board Takeo Kanade Carnegie Mellon
More informationLecture Notes in Computer Science 5587
Lecture Notes in Computer Science 5587 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationDetection of Intrusions and Malware, and Vulnerability Assessment
Ulrich Flegel Evangelos Markatos William Robertson (Eds.) LNCS 7591 Detection of Intrusions and Malware, and Vulnerability Assessment 9th International Conference, DIMVA 2012 Heraklion, Crete, Greece,
More informationHenry Muccini. Pisa, March , workshop on Architecture-based Testing: Moving Research into Practice
Università degli Studi dell Aquila Henry Muccini Dipartimento di Informatica www.henrymuccini.com University of L Aquila - Italy henry.muccini@di.univaq.it Pisa, March 29-30 2011, workshop on Architecture-based
More informationMay 6, 2015 Montréal, QC, Canada. Proceedings of the 1st International Workshop on
May 6, 2015 Montréal, QC, Canada CobRA 15 Proceedings of the 1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures Sponsored by: ACM SIGSOFT Supported
More informationCoPDA Barbara Rita Barricelli Ali Gheitasy Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.)
Barbara Rita Barricelli Stefano Valtolina (Eds.) CoPDA 2014 2nd International Workshop on Cultures of Participation in the Digital Age: Social computing for Working, Learning, and Living CoPDA 2014 Como,
More informationSTUDIES IN ORGANIZED CRIME
Women and the Mafia STUDIES IN ORGANIZED CRIME Volume 5 Series Editor: Frank Bovenkerk, University of Utrecht, Willem Pompe Institute, The Netherlands Editorial Board: Maria Los, University of Ottowa,
More informationLecture Notes in Computer Science 4006
Lecture Notes in Computer Science 4006 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7149
Lecture Notes in Computer Science 7149 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 6092
Lecture Notes in Computer Science 6092 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationStudies in Epistemology, Logic, Methodology, and Philosophy of Science
Synthese Library Studies in Epistemology, Logic, Methodology, and Philosophy of Science Volume 373 Editor-in-Chief Otávio Bueno, University of Miami, Department of Philosophy, USA Editors Dirk van Dalen,
More informationLecture Notes in Computer Science 5438
Lecture Notes in Computer Science 5438 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationJosé M. Álvarez, Tony Clark, Andy Evans, and Paul Sammut. An action semantics for MML. In Martin Gogolla and Cris Kobryn, editors, UML
References [AA00] [AA01] [AAB + 03] [Aag98] [AAK + 04] [AAM99] Ambrosio Toval Alvarez and Jose Luis Fernandez Aleman. Formally modeling UML and its evolution: A holistic approach. In Scott F. Smith and
More informationCoPDA Barbara Rita Barricelli Gerhard Fischer Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.)
Barbara Rita Barricelli Stefano Valtolina (Eds.) CoPDA 2015 3rd International Workshop on Cultures of Participation in the Digital Age: Coping with Information, Participation, and Collaboration Overload
More informationLecture Notes in Computer Science 8341
Lecture Notes in Computer Science 8341 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationFractals and Chaos. A.J. Crilly R.A. Earnshaw H. Jones Editors. With 146 Figures in 173 Parts, 57 in Color
Fractals and Chaos A.J. Crilly R.A. Earnshaw H. Jones Editors Fractals and Chaos With 146 Figures in 173 Parts, 57 in Color Springer-Verlag New York Berlin Heidelberg London Paris Tokyo Hong Kong Barcelona
More informationLecture Notes in Computer Science 3714
Lecture Notes in Computer Science 3714 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationArild Stubhaug. Gösta Mittag-Leffler. AManofConviction. Translated by Tiina Nunnally
Gösta Mittag-Leffler Arild Stubhaug Gösta Mittag-Leffler AManofConviction Translated by Tiina Nunnally Arild Stubhaug Department of Mathematics University of Oslo Blindern Oslo Norway arilds@math.uio.no
More informationLecture Notes in Computer Science 3925
Lecture Notes in Computer Science 3925 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationCurriculum Vitae Person Education Professional career
Curriculum Vitae 1 Person Name Dr. Horst O. Bunke, Prof. Em. Date of birth July 30, 1949 Place of birth Langenzenn, Germany Citizenship Swiss and German 2 Education 1974 Dipl.-Inf. Degree from the University
More information19th IEEE International Requirements Engineering Conference. August 29 th September 2 nd, 2011 Trento, Italy
19th IEEE International Requirements Engineering Conference August 29 th September 2 nd, 2011 Trento, Italy 19th IEEE International Requirements Engineering Conference August 29 th September 2 nd, 2011
More informationLecture Notes in Computer Science 7137
Lecture Notes in Computer Science 7137 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationThomas Schroepfer. Professor, Co-Director <SUTD-JTC I3 Centre> and Founding. Associate Head of Pillar <ASD> Research Interests. . Telephone.
1 Thomas Schroepfer Professor, Co-Director and Founding Associate Head of Pillar Research Interests Email Telephone Web Environmental strategies in architecture and urban design,
More informationPersoonlijke kopie van ()
BRUSSELS II BIS EUROPEAN FAMILY LAW SERIES Published by the Organising Committee of the Commission on European Family Law Prof. Katharina Boele-Woelki (Utrecht) Prof. Frédérique Ferrand (Lyon) Prof. Cristina
More informationLecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence 835 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis
More information9.0 SCOR-RELATED MEETINGS
9.0 SCOR-RELATED MEETINGS 9.1 SCOR Annual Meetings 9.1.1 2007 Executive Committee Meeting Bergen, Norway, p. 9-1 Sundby 9.1.2 2008 General Meeting SCOR 50 th Anniversary Woods Hole, USA, p. 9-1 Labeyrie
More informationIntelligent Primary School Project in Italy
Please cite this paper as: Ponti, G. (2007), Intelligent Primary School Project in Italy, PEB Exchange, Programme on Educational Building, 2007/02, OECD Publishing, Paris. http://dx.doi.org/10.1787/255378247044
More informationLecture Notes in Computer Science 6084
Lecture Notes in Computer Science 6084 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationThe Archaeology of Anxiety
The Archaeology of Anxiety Jeffrey Fleisher Neil Norman Editors The Archaeology of Anxiety The Materiality of Anxiousness, Worry, and Fear Editors Jeffrey Fleisher Department of Anthropology Rice University
More informationLecture Notes in Computer Science 5301
Lecture Notes in Computer Science 5301 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationGerman Yearbook on Business History 1986
German Yearbook on Business History 1986 German Yearbook on Business History 1986 Edited by the German Society for Business History, Cologne in Cooperation with the Institute for Bank-Historical Research,
More informationEstablishing a Global Footprint: Inbound, Outbound & in your Neighborhood
Establishing a Global Footprint: Inbound, Outbound & in your Neighborhood Global real estate is a mind set Cindy Fauth Spend more money $477,462 (average purchase price) Pay in cash 50% of international
More informationAs Paradigm? PROGRAM. International Symposium in Honor of 50 years The Social Construction of Reality April 2016 University of Vienna
As Paradigm? International Symposium in Honor of 50 years The Social Construction of Reality 28 30 April 2016 University of Vienna Fakultät für Sozial wissenschaften Institut für Soziologie PROGRAM Welcome
More informationProceedings of the Eighth International Conference on Probabilistic Graphical Models
Proceedings of the Eighth International Conference on Probabilistic Graphical Models Volume 52 of the JMLR Workshop and Conference Proceedings: PGM 2016, Lugano, 6 9 September 2016 Conference Organization
More informationCONTEMPORARY MATHEMATICS
CONTEMPORARY MATHEMATICS 328 Function Spaces Fourth Conference on Function Spaces May 14-19,2002 Southern Illinois University at Edwardsville Krzysztof Jarosz Editor http://dx.doi.org/10.1090/conm/328
More informationLecture Notes in Computer Science 8031
Lecture Notes in Computer Science 8031 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4355
Lecture Notes in Computer Science 4355 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationSOFTWARE ARCHITECTURE. Semester II (Computer Engineering) SUB CODE: MECE202. Evaluation Scheme L T P Total Credit Theory Mid Sem Exam
TEACHING SCHEME (Credits and Hours): Teaching scheme SOFTWARE ARCHITECTURE Semester II (Computer Engineering) SUB CODE: MECE202 Total Evaluation Scheme L T P Total Credit Theory Mid Sem Exam CIA Pract.
More informationAtlas of Virtual Colonoscopy
Atlas of Virtual Colonoscopy Dachman, Abraham H. MD ISBN-13: 9781441958518 Table of Contents Virtual Colonoscopy: From concept to implementation.-global implementation of CTC. Normal Anatomy à  Austria:
More information4 th Workshop on Emotions and Personality in Personalized Systems (EMPIRE) Proceedings
4 th Workshop on Emotions and Personality in Personalized Systems (EMPIRE) 2016 Boston, MA, USA, September 16 th, 2016 Proceedings edited by Marko Tkalčič Berardina de Carolis Marco de Gemmis Andrej Košir
More informationCurriculum Vitae for Marlis Buchman
Curriculum Vitae for Marlis Buchman AREAS OF SPECIALIZATION Sociology of the Life Course (including Sociology of Youth) Social Change Social Stratification and Mobility Sociology of Work, Occupations,
More informationLecture Notes in Computer Science 6035
Lecture Notes in Computer Science 6035 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationArchitecture: Non-Functional Properties. in Service Oriented. Requirements, Models and. Methods REFERENCE. Berlin, Germany.
Berlin, NonFunctional Properties in Service Oriented Architecture: Requirements, Models and Methods Nikola Milanovic Model Labs Germany INFORMATION SCIENCE REFERENCE REFERENCE Hershey New York La La Table
More informationLecture Notes in Computer Science 7896
Lecture Notes in Computer Science 7896 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationHuman Rights and Intellectual Property: From Concepts to Practice
14th EIPIN Congress Human Rights and Intellectual Property: From Concepts to Practice Strasbourg, 5-7 April 2013 Hosted and organised by CEIPI European Court of Human Rights Maison Interuniversitaire des
More informationCollege of Business and Economics California State University, Fullerton present
DR. TAMMY DREZNER College of Business and Economics, California State University, Fullerton, Fullerton, CA 92834. (714) 278-8318 tdrezner@fullerton.edu. ACADEMIC POSITIONS College of Business and Economics
More informationBruno Castro da Silva
Bruno Castro da Silva Department of Computer Science 140 Governor s Drive Amherst, MA 01003-9264 phone +1 413 559 1697 bsilva@cs.umass.edu Education PhD, Computer Science Advisor: Prof. Dr. Andrew Barto
More informationEmotional Engineering Volume 5
Emotional Engineering Volume 5 Editor Emotional Engineering Volume 5 123 Editor Keio University Minato, Tokyo Japan ISBN 978-3-319-53194-6 ISBN 978-3-319-53195-3 (ebook) DOI 10.1007/978-3-319-53195-3 Library
More information