Advanced Information Systems Engineering
|
|
|
- Malcolm Wilkerson
- 6 years ago
- Views:
Transcription
1 Gerard Wijers Sjaak Brinkkemper Tony Wasserman (Eds.) Advanced Information Systems Engineering 6th International Conference, CAiSE '94 Utrecht, The Netherlands, June 6-10, 1994 Proceedings Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo Hong Kong Barcelona Budapest
2 Series Editors Gerhard Goos Universit~it Karlsruhe Postfach Vincenz-Priessnitz-Strafe 1 D Karlsruhe, Germany Juris Hartmanis Cornell University Department of Computer Science 4130 Upson Hall Ithaca, NY 14853, USA Volume Editors Gerard Wijers ID Research B. V. Kastanjelaan 4, 3833 AN Leusden, The Netherlands Sjaak Brinkkemper Department of Computer Science, University of Twente P. O. Box 217, 7500 AE Enschede, The Netherlands Tony Wasserman Interactive Development Environments Inc. 595 Market Street, 10th Floor, San Francisco, CA 94105, USA CR Subject Classification (1991): H.2, D.2 ISBN Springer-Verlag Berlin Heidelberg New York ISBN Springer-Verlag New York Berlin Heidelberg CIP data applied for 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-Verlag. Violations are liable for prosecution under the German Copyright Law. 9 Springer-Verlag Berlin Heidelberg 1994 Printed in Germany Typesetting: Camera-ready by author SPIN: / Printed on acid-free paper
3 Preface CAiSE,,94 is the sixth International Conference on Advanced Information Systems Engineering. It is hosted in Utrecht, the Netherlands, and extends the tradition of previous years, when CAiSE was held in Stockholm (Sweden), Trondheim (Norway), Manchester (England) and Paris (France). The CAiSE conferences are a platform for researchers and practitioners from academia and industry to discuss and exchange new developments in methods, techniques and tools to realize advanced information systems. These proceedings present 30 papers that were selected by the programme committee. The programme committee was chosen among well reputed international researchers and from key professionals in Dutch industrial and consultancy companies. The programme committee reviewed 130 papers, each paper being reviewed by four referees who were specialists in the relevant topics. The papers were selected on originality, technical quality, relevance and quality of presentation. The authors of the 30 papers selected come from 15 different countries. We would like to acknowledge the efforts of the authors in making an excellent scientific contribution to the field and of the programme committee members and additional referees who carried out the reviewing process in a most thorough manner. The papers presented show an increasing interest in changing, improving and supporting the management of IS development organisations. We have sessions on 'development process support', 'management and quality', 'reuse', and 'method engineering'. In the area of developments in conceptual modelling, three main streams are covered in the three sessions: 'object oriented requirements engineering', 'behaviour modelling', and 'formal IS modelling'. A third key area for the CAiSE.94 conference is advanced technology; we have sessions on 'worldlow management', 'advanced development tools', and 'advanced database engineering'. The conference programme not only includes sessions presenting the papers in these proceedings. It is complemented with keynote speakers, panels, workshops, tutorials, an exhibition, product presentations, poster sessions and demonstrations. Therefore the CAiSE-94 conference offers a complete set of activities for both practitioners and researchers. The CAiSE series has established itself as a truly international event on advanced information systems engineering. April 1994 Gerard Wijers (Programme Chair) Sjaak Brinkkemper (Organising Chair) Tony Wasserman (General Chair)
4 Programme Committee Rudolf Andersen, Norway Frans van Assche, Belgium Alex Borgida, USA Janis Bubenko, Sweden Panos Constantopoulos, Greece Valeria De Antonellis, Italy Jan Dietz, The Netherlands Eric Dubois, Belgium Gregor Engels, The Netherlands Leo Essink, The Netherlands Eckhard Falkenberg, The Netherlands Anthony Finkelstein, United Kingdom Marcel Franckson, France Paul Grefen, The Netherlands Hele-Mai Haav, Estonia Henri Habrias, France Jacques Hagelstein, Belgium Terry Halpin, Australia Michael Hanani, Israel Kees van Hee, The Netherlands Juhani Iivari, Finland Matthias Jarke, Germany Keith Jeffery, United Kingdom Paul Laagland, The Netherlands Michel Leonard, Switzerland Frederick Lochovsky, Hong Kong Pericles Loucopoulos, United Kingdom Kalle Lyytinen, Finland Robert Meersman, The Netherlands John Mylopoulos, Canada Antoni Olive, Spain JamWillem Pauw, The Netherlands Barbara Pernici, Italy Peter Pircher, USA Naveen Prakash, India Reind van de Riet, The Netherlands Daan Rijsenbrij, The Netherlands Colette Rolland, France Gunter Saake, Germany Amilcar Sernadas, Portugal Henk Sol, The Netherlands Arne Solvberg, Norway Stefano Spaccapietra, Switzerland Alistair Sutcliffe, United Kingdom Doaitse Swierstra, The Netherlands Bernhard Thalheim, Germany Costantino Thanos, Italy Babis Theodoulidis, United Kingdom Ron Tolido, The Netherlands Jos Trienekens, The Netherlands George Verheijen, The Netherlands Roland Vonk, The Netherlands Yair Wand, Canada Benkt Wangler, Sweden Richard Welke, USA Roberto Zicari, Germany W.M.P.v.d. Aalst A.T.M. Aerts T. Amble M. Andries A. Auddino H.M. Blanken E.J.W. Boers P.M.E. de Bra Additonal referees A. Ait-Braham P.J. Braspemung Breche S. Brinkkemper T. Bui S. Castano S. Choenni M. Christoforaki S. Conrad R. Darimont G. Denker F. Dignum M. Doerr Y. Dupont R. Engmann T. Estier
5 viii S. Even C. Francalanci M. Freeman J.J. de Graaff L. Groenewegen G. Grosz N. Habra J.L. Hainaut F. Harmsen P. Hartel D. Heddehi A. Heuer A.H.M. ter Hofstede G.J. Houben P. Johannesson S. Joosten P. Katalagarianos T. Khammaci Y. Kokou S. Laurent Lautemann A. Le Grand Sjaak Brinkkemper Eugene Boogaart Rolf Engmann Paul Grefen E. Lindenerona O.I. Lindland Liu P. L0hr-Richter N. Loukopoulos N. Maiden M. Moreno J.L.H. Oei O. Parchet I. Petrounias V. Plihon N. Prat R. Prins N. van der Rijst D. Roelants P. Rosengren H.D. Ruys M. Sakkinen K. Schewe J. Schmitt P.Y. Schobbens A.H. Seltveit Organisation Committee Frank Harmsen Arnold van Ittersum Stef Joosten Sandor Kloos F. Semnek C. Sernadas K.L. Siau S. Sisoid L. Somers W.W. Song I.G. Sprinkhuizen C.N. Taylor O. de Troyer A. Vailly A. Verbraeck E.M. Verharen T.F. Verhoef S. Vhlund M. Voorhoeve Th.P. van der Weide Weigand C. Woo P. Wodon M. Yang X. Ye Han Oei Mirjam Knoll Rob van de Weg
6 Table of Contents Keynote Speech Information Systems Modernization... 1 Anthony I. Wasserman Development Process Support Planning Support for Cooperating Transactions in EPOS... 2 Reider Conradi, Marianne Hagaseth, Chunnian Liu Towards Flexible Process Support with a CASE Shell Pentti Marttiin A Collaborative Process-Centered Environment Kernel Jacques Lonchamp Workflow Management Building Workflow Applications on Top of WooRKS Gang Lu, Alartin Ader Modelling Cooperative Work for Workflow Management Jon Atle Gulla, Odd Ivar Lindland IKUMI: A Groupware Development Support System with Visual Environment Hiroyuki Tarumi, Atsushi Tabuchi, Kenji Yoshifu Management and Quality Consistent Development: Results of a First Empirical Study on the Relation Between Project Scenario and Success Victor van Swede, Hans van Vliet Goal Decomposition and Scenario Analysis in Business Process Reengineering Annie ]. Ant6n, W. Michael McCracken, Colin Potts Reaching out for Quality: Considering Security Requirements in the Design of Information Systems Hubert F Hofmann, Ralph Holbein Object-Oriented Requirements Engineering Capturing Semantics by Object Relativity William Wei Song Automated Support for the Development of Formal Object-Oriented Requirements Specifications Robert B. Jackson, David W. Embley, Scott N. Woodfield
7 Abstraction Forms in Object-Oriented Conceptual Modelling: Localization, Aggregation and Generalization Extensions Corine Cauvet, Farida Semmak Behavioural Modelling Capturing Information Systems Requirements Through Enterprise and Speech Act Modelling... : Christer Nellborn, Peter Hohn Dynamic Modelling with Events Maguelonne Teisseire, Pascal Poncelet, Rosine Cicchetti Representation and Communication in Information Systems - A Speech Act Based Approach Paul Johannesson Advanced Development Tools From Analysis to Code Generation: Experiences from an Inforlnation Engineering Project Using I-CASE Technology Karl Kurbel A Knowledge-Based Program Transformation System P. C-Y. Sheu, S. Yoo Concept Bases: A Support to hfformation Systems Integration Michel Bonjour, Gilles Falquet Reuse Formalisation of Data and Process Model Reuse Using Hierarchic Data Types Dongsu Seo, Pericles Loucopoulos Modelling Multiple Views of Common Features in Software Reengineering for Reuse Stan Jarzabek, Chew Lira Tan A Hypertext-Based Tool for Large Scale Software Reuse Burkhard Freitag Formal IS Modelling An Approach to Schema Integration Based on Transformations and Behaviour Christiaan Thieme, Arno Siebes Deriving Transaction from Deductive Conceptual Models of Information Systems Maria Ribera Sancho, Antoni Oliv~ Utilizing Behavioral Abstractions to Facilitate Maintenance During Class Evolution Linda M Keszenheimer
8 XI Method Engineering A Process View of Methodologies Naveen Prakash Specifying Software Specification and Design Methods Motoshi Saeki, Kuo Wenyin A Generic Approach to Support a Way-of-Working Definition Mario Moreno, Colette Rolland, Carine Souveyet Advanced Database Engineering Designing a User-Oriented Query Modification Facility in Object-Oriented Database Systems K. Aberer, W. Klas, A.L. Furtado Using Visual ER Query Systems in Real World Applications Peter Rosengren Category Classes: Flexible Classification and Evolution in Object-Oriented Databases Erik Odberg
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 772 Advisory Board: W. Brauer D. Giles J. Stoer Brian C. Warboys (Ed.) Software Process Technology Third European Workshop, EWSPT '94
Lecture Notes in Computer Science. Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1487 Volker Gruhn (Ed.) Software Process Technology 6th European Workshop, EWSPT '98 Weybridge, UK, September 16-18,
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1007 Advisory Board: W. Brauer D. Gries J. Stoer Antoon Bosselaers Bart Preneel (Eds.) Integrity Primitives for Secure
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 968 Advisory Board: W. Brauer D. Gries J. Stoer Nachum Dershowitz Naomi Lindenstrauss (Eds.) Conditional and Typed Rewriting
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1528 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Bart Preneel Vincent Rijmen
Lecture Notes in Artificial Intelligence. Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence 897 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 and
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1005 Advisory Board: W. Brauer D. Gries J. Stoer Jacky Estublier (Ed.) Software Configuration Management ICSE SCM-4
Lecture Notes in Computer Science 2599 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2599 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Edel Sherratt (Ed.) Telecommunications
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1019 Advisory Board: W. Brauer D. Gries J. Stoer Springer Berlin Heidelberg New York Barcelona Budapest Hong Kong London
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1143 Advisory Board: W. Brauer D. Gries J. Stoer Terence C. Fogarty (Ed.) Evolutionary Computing AISB Workshop Brighton,
Lecture Notes in Computer Science 2006 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 2006 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Reiner Dumke Alain Abran (Eds.)
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 734 Advisory Board: W. Brauer D. Gries J. Stoer Jens Volkert (Ed.) Parallel Computation Second International ACPC Conference Gmunden,
Data Assimilation: Tools for Modelling the Ocean in a Global Change Perspective
Data Assimilation: Tools for Modelling the Ocean in a Global Change Perspective NATO ASI Series Advanced Science Institutes Series A series presenting the results of activities sponsored by the NA TO Science
Spatio-Temporal Image Processing
Bernd J~ihne Spatio-Temporal Image Processing Theory and Scientific Applications Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo Hong Kong Barcelona Budapest Series Editors Gerhard Goos Universitat
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1481 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Budapest Hong Kong London Milan Paris Singapore Tokyo Ethan V. Munson Charles
Communications in Computer and Information Science 85
Communications in Computer and Information Science 85 Albert Fleischmann Detlef Seese Christian Stary (Eds.) S-BPM ONE Setting the Stage for Subject-Oriented Business Process Management First International
Future-Oriented Technology Analysis
Future-Oriented Technology Analysis Cristiano Cagnin Michael Keenan Ron Johnston Fabiana Scapolo Rémi Barré Editors Future-Oriented Technology Analysis Strategic Intelligence for an Innovative Economy
Lecture Notes in Computer Science 1096 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1096 Edited by G. Goos, J. Hartmanis and J. van Leeuwen Springer Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Thomas Schael Workflow
Lecture Notes in Computer Science. Edited by G. Goos and J. Hartmanis Advisory Board: W. Brauer D. Gries J. Stoer
Lecture Notes in Computer Science 502 Edited by G. Goos and J. Hartmanis Advisory Board: W. Brauer D. Gries J. Stoer g J. Bfirzdin.g D. BjCrner (Eds.) Baltic Computer Science Selected Papers Springer-Verlag
Modeling Manufacturing Systems. From Aggregate Planning to Real-Time Control
Modeling Manufacturing Systems From Aggregate Planning to Real-Time Control Springer-Verlag Berlin Heidelberg GmbH Paolo Brandimarte. Agostino Villa (Eds.) Modeling Manufacturing Systems From Aggregate
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 284 A. KSndig R.E. BShrer J. D&hler (Eds.) Embedded Systems New Approaches to Their Formal Description and Design An Advanced Course
U. Lindemann (Ed.) Human Behaviour in Design
U. Lindemann (Ed.) Human Behaviour in Design Springer-Verlag Berlin Heidelberg GmbH Engineering ONLINE LIBRARY http://www.springer.de/engine/ Udo Lindemann (Ed.) Human Behaviour in Design Individuals,
Enabling Manufacturing Competitiveness and Economic Sustainability
Enabling Manufacturing Competitiveness and Economic Sustainability Hoda A. ElMaraghy Editor Enabling Manufacturing Competitiveness and Economic Sustainability Proceedings of the 4th International Conference
MATLAB Guide to Finite Elements
MATLAB Guide to Finite Elements Peter I. Kattan MATLAB Guide to Finite Elements An Interactive Approach Second Edition With 108 Figures and 25 Tables Peter I. Kattan, PhD P.O. BOX 1392 Amman 11118 Jordan
Lecture Notes in Business Information Processing 89
Lecture Notes in Business Information Processing 89 Series Editors Wil van der Aalst Eindhoven Technical University, The Netherlands John Mylopoulos University of Trento, Italy Michael Rosemann Queensland
Lecture Notes in Computer Science 1500 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1500 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Jean-Claude Derniame Badara
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1789 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Benkt Wangler Lars Bergman
Founding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK
History of Computing Founding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK Series Editor Gerard Alberts, University of Amsterdam, Amsterdam, The Netherlands Advisory Board Jack Copeland,
Lecture Notes in Computer Science. Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1414 Mogens Nielsen Wolfgang Thomas (Eds.) Computer Science Logic 11 th International Workshop, CSL '97 Annual Conference
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1128 Advisory Board: W. Brauer D. Gries J. Stoer Jacques Calmet Carla Limongelli (Eds.) Design and Implementation of
Lecture Notes in Computer Science 2500 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2500 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Erich Grädel Wolfgang Thomas Thomas
Lecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 731 Advisory Board: W. Brauer D. Gries J. Stoer Alexander Schill (Ed.) DCE The OSF Distributed Computing Environment Client/Server Model
ICT for the Next Five Billion People
ICT for the Next Five Billion People Arnold Picot Josef Lorenz Editors ICT for the Next F Five Billion People Information and Communication for Sustainable Development Editors Prof. Dr. Dr. Arnold Picot
Architecture Design and Validation Methods
Architecture Design and Validation Methods Springer-Verlag Berlin Heidelberg GmbH Egon Börger (Ed.) Architecture Design and Validation Methods With 175 Figures, Springer Editor Prof. Dr. Egon Börger Universita
StraBer Wahl Graphics and Robotics
StraBer Wahl Graphics and Robotics Wolfgang StrafSer Friedrich Wahl Editors Graphics and Robotics With 128 Figures, some in Colour, Springer Prof. Dr.-lng. Wolfgang StraBer Wilhelm-Schickard-lnstitut fur
Design for Innovative Value Towards a Sustainable Society
Design for Innovative Value Towards a Sustainable Society Mitsutaka Matsumoto Yasushi Umeda Keijiro Masui Shinichi Fukushige Editors Design for Innovative Value Towards a Sustainable Society Proceedings
POST-CONGRESS REPORT
8 th World Congress on Engineering Asset Management and 3 rd International Conference on Utility Management & Safety A. Introduction and Summary POST-CONGRESS REPORT WCEAM attracts eminent academics, industry
Lecture Notes in Control and Information Sciences 283. Editors: M. Thoma M. Morari
Lecture Notes in Control and Information Sciences 283 Editors: M. Thoma M. Morari Springer Berlin Heidelberg NewYork Barcelona Hong Kong London Milan Paris Tokyo Christopher Fielding, Andras Varga, Samir
Scientific Data Mining and Knowledge Discovery
Scientific Data Mining and Knowledge Discovery Mohamed Medhat Gaber Editor Scientific Data Mining and Knowledge Discovery Principles and Foundations ABC Editor Mohamed Medhat Gaber Caulfield School of
TECHNOLOGY, INNOVATION, and POLICY 3. Series of the Fraunhofer Institute for Systems and Innovation Research (lsi)
TECHNOLOGY, INNOVATION, and POLICY 3 Series of the Fraunhofer Institute for Systems and Innovation Research (lsi) Guido Reger Ulrich Schmoch (Eds.) Organisation of Science and Technology at the Watershed
Simulation by Bondgraphs
Jean U. Thoma Simulation by Bondgraphs Introduction to a Graphical Method Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong 1990 Professor Dr. Jean Ulrich Thoma Dept. of Mechanical
Broadband Networks, Smart Grids and Climate Change
Broadband Networks, Smart Grids and Climate Change Eli M. Noam Lorenzo Maria Pupillo Johann J. Kranz Editors Broadband Networks, Smart Grids and Climate Change Editors Eli M. Noam Columbia Business School
Lecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence 695 Subseries of Lecture Notes in Computer Science Edited by J. Siekmann Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis E. P Klement W. Slany
Technology Roadmapping for Strategy and Innovation
Technology Roadmapping for Strategy and Innovation Martin G. Moehrle, Ralf Isenmann, and Robert Phaal (Eds.) Technology Roadmapping for Strategy and Innovation Charting the Route to Success ABC Editors
Management of Recreation and Nature Based Tourism in European Forests
Management of Recreation and Nature Based Tourism in European Forests Ulrike Pröbstl Veronika Wirth Birgit Elands Simon Bell Editors Management of Recreation and Nature Based Tourism in European Forests
Studies in Empirical Economics
Studies in Empirical Economics Aman Ullah (Ed.) Semiparametric and Nonparametric Econometrics 1989. VII, 172 pp. Hard cover DM 120, ISBN 3-7908-0418-5 Walter Kramer (Ed.) Econometrics of Structural Change
Human-Computer Interaction Series
Human-Computer Interaction Series Editors-in-Chief John Karat Jean Vanderdonckt, Université Catholique de Louvain, Belgium Editorial Board Simone Barbosa, PUC-Rio, Brazil Gaëlle Calvary, LIG-University
Matthias Pilz Susanne Berger Roy Canning (Eds.) Fit for Business. Pre-Vocational Education in European Schools RESEARCH
Fit for Business Matthias Pilz Susanne Berger Roy Canning (Eds.) Fit for Business Pre-Vocational Education in European Schools RESEARCH Editors Matthias Pilz, Susanne Berger, Cologne, Germany Roy Canning
Lecture Notes in Control and Information Sciences
Lecture Notes in Control and Information Sciences Edited by M.Thoma and A.Wyner 167 M. Rao Integrated System for Intelligent Control Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo Hong Kong
COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, May 2016, Trento, Italy
Antonella De Angeli Liam Bannon Patrizia Marti Silvia Bordin Editors COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy COOP
Handbook of Engineering Acoustics
Handbook of Engineering Acoustics . Gerhard M uller Michael M oser Editors Handbook of Engineering Acoustics Editors Prof. Dr. Gerhard M uller Technische Universit at M unchen Lehrstuhl f ur Baumechanik
ZEW Economic Studies. Publication Series of the Centre for European Economic Research (ZEW), Mannheim, Germany
ZEW Economic Studies Publication Series of the Centre for European Economic Research (ZEW), Mannheim, Germany ZEW Economic Studies Vol. 1: O. Hohmeyer, K. Rennings (Eds.) Man-Made Climate Change Economic
Human-Computer Interaction
Leonard J. Bass Juri Gornostaev Claus Unger (Eds.) Human-Computer Interaction Third International Conference, EWHCI '93 Moscow, Russia, August 3-7, 1993 Selected Papers Springer-Verlag Berlin Heidelberg
Cognitive Systems Monographs
Cognitive Systems Monographs Volume 9 Editors: Rüdiger Dillmann Yoshihiko Nakamura Stefan Schaal David Vernon Heiko Hamann Space-Time Continuous Models of Swarm Robotic Systems Supporting Global-to-Local
Better Business Regulation in a Risk Society
Better Business Regulation in a Risk Society Alberto Alemanno Frank den Butter André Nijsen Jacopo Torriti Editors Better Business Regulation in a Risk Society Editors Alberto Alemanno Department of Law
Health Information Technology Standards. Series Editor: Tim Benson
Health Information Technology Standards Series Editor: Tim Benson Tim Benson Principles of Health Interoperability HL7 and SNOMED Second Edition Tim Benson Abies Ltd Hermitage, Thatcham Berkshire UK ISBN
Innovation Policy in a Knowledge-Based Economy
Innovation Policy in a Knowledge-Based Economy Patrick Llerena Mireille Matt Editors Innovation Policy in a Knowledge-Based Economy Theory and Practice With Contributions by Arman Avadikyan Laurent Bach
Requirements Engineering for Digital Health
Requirements Engineering for Digital Health Samuel A. Fricker Christoph Thümmler Anastasius Gavras Editors Requirements Engineering for Digital Health Editors Samuel A. Fricker Blekinge Institute of Technology
Lecture Notes in Artificial Intelligence
Lecture Notes in Artificial Intelligence Subseries of Lecture Notes in Computer Science Edited by J. Siekmann Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis Editorial Artificial Intelligence
Lecture Notes in Artificial Intelligence 3396
Lecture Notes in Artificial Intelligence 3396 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science Rogier M. van Eijk Marc-Philippe Huget Frank Dignum (Eds.) Agent Communication
The Future of Civil Litigation
The Future of Civil Litigation ThiS is a FM Blank Page Laura Ervo Editors The Future of Civil Litigation Access to Courts and Court-annexed Mediation in the Nordic Countries Editors Laura Ervo JPS University
Risk-Based Ship Design
Risk-Based Ship Design Apostolos Papanikolaou (Ed.) Risk-Based Ship Design Methods, Tools and Applications Authored by Carlos Guedes Soares, Andrzej Jasionowski, Jørgen Jensen, Dag McGeorge, Apostolos
3 Forensic Science Progress
3 Forensic Science Progress Forensic Science Progress Volume 3 With Contributions by C. A. Pounds, R. N. Smith With 19 Figures and 7 Tables Springer-Verlag Berlin Heidelberg New York London Paris Tokyo
Advances in Modern Tourism Research
Advances in Modern Tourism Research Álvaro Matias Peter Nijkamp Paulo Neto (Eds.) Advances in Modern Tourism Research Economic Perspectives With 26 Figures and 65 Tables Prof. Dr. Álvaro Matias University
Studies in Economic Ethics and Philosophy
Studies in Economic Ethics and Philosophy Series Editor Peter Koslowski Editorial Board F. Neil Brady George Brenkert Geoffrey Brennan James M. Buchanan Thomas Donaldson Richard De George Jon Elster Amitai
Lecture Notes in Computer Science 1946 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1946 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Philippe Palanque Fabio Paternò
Lecture Notes in Computer Science 1924 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1924 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Walid Taha (Ed.) Semantics,
Computer-Aided Production Management
Asbj0rn Rolstadas (Ed.) Computer-Aided Production Management With 169 Figures Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Professor Dr. Asbjern Ro1stadas Production Engineering Laboratory
Applied Technology and Innovation Management
Applied Technology and Innovation Management Heinrich Arnold Michael Erner Peter Möckel Christopher Schläffer Editors Applied Technology and Innovation Management Insights and Experiences from an Industry-Leading
Explaining Technical Change in a Small Country. The Finnish National Innovation System
Explaining Technical Change in a Small Country The Finnish National Innovation System ETLA - The Research Institute of the Finnish Economy Series B84 The Research Institute ofthe Finnish Economy (ETLA)
Cost Analysis and Estimating
Roland Kankey Editors Jane Robbins Cost Analysis and Estimating Shifting U.S. Priorities With 34 Figures Springer-Verlag New York Berlin Heidelberg London Paris Tokyo Hong Kong Barcelona Roland Kankey
Inside the Smart Home
Inside the Smart Home i Springer London Berlin Heidelberg New York Hong Kong Milan Paris Tokyo ii Richard Harper (Ed.) Inside the Smart Home iii Richard Harper, PhD The Appliance Studio, University Gate
Dao Companion to the Analects
Dao Companion to the Analects Dao Companions to Chinese Philosophy Series Editor HUANG Yong Department of Philosophy The Chinese University of Hong Kong Shatin, New Territories Hong Kong E-mail: yonghuang@cuhk.edu.hk
Acoustic Emission Testing
Acoustic Emission Testing Christian U. Grosse (Eds.) Acoustic Emission Testing 123 Christian U. Grosse Department of Non-destructive Testing and Monitoring Techniques Material Testing Institute MPA University
Hierarchy Process. The Analytic. Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) Applications and Studies
Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) The Analytic Hierarchy Process Applications and Studies With Contributions by 1. M. Alexander, W D. Daniel Jr., 1. G. Dolan, L. P. Fatti, B. L.
CDP-EIF ITAtech Equity Platform
CDP-EIF ITAtech Equity Platform New financial instruments to support technology transfer in Italy TTO Circle Meeting, Oxford June 22nd 2017 June, 2017 ITAtech: the "agent for change" in TT landscape A
Longitudinal Research with Latent Variables
Longitudinal Research with Latent Variables . Kees van Montfort Johan H.L. Oud Albert Satorra Editors Longitudinal Research with Latent Variables ABC Editors Professor Dr. Kees van Montfort Vrije Universiteit
English - Or. English NUCLEAR ENERGY AGENCY COMMITTEE ON THE SAFETY OF NUCLEAR INSTALLATIONS FINAL REPORT AND ANSWERS TO QUESTIONNAIRE
Unclassified NEA/CSNI/R(2003)3 NEA/CSNI/R(2003)3 Unclassified Organisation de Coopération et de Développement Economiques Organisation for Economic Co-operation and Development 04-Feb-2003 English - Or.
6 Forensic Science Progress
6 Forensic Science Progress Forensic Science Progress Volume 6 Shot Range Determination By K. Sellier With 66 Figures Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona Budapest
SpringerBriefs in Space Development
SpringerBriefs in Space Development Series Editor: Joseph N. Pelton, Jr. For further volumes: http://www.springer.com/series/10058 Audrey L. Allison The ITU and Managing Satellite Orbital and Spectrum
Advances in Real-Time Systems
Advances in Real-Time Systems Samarjit Chakraborty Jörg Eberspächer Editors Advances in Real-Time Systems 123 Editors Samarjit Chakraborty TU München LS für RealzeitComputersysteme Arcisstr. 21 80290
B.I. Dundas M. Levine P.A. Østvær O. Röndigs. Motivic Homotopy Theory. Lectures at a Summer School in Nordfjordeid, Norway, August 2002 ABC
B.I. Dundas M. Levine P.A. Østvær O. Röndigs V. Voevodsky Motivic Homotopy Theory Lectures at a Summer School in Nordfjordeid, Norway, August 2002 ABC Bjørn Ian Dundas Department of Mathematics University
2 Forensic Science Progress
2 Forensic Science Progress Forensic Science Progress Volume 2 With Contributions by G. Hellmiss, J. Mathyer, B. Miyake, H. Sato, S. Seta With 58 Figures and 36 Tables Springer-Verlag Berlin Heidelberg
Introduction to Computational Optimization Models for Production Planning in a Supply Chain
Introduction to Computational Optimization Models for Production Planning in a Supply Chain Stefan Voß David L.Woodruff Introduction to Computational Optimization Models for Production Planning in a Supply
Peter Stavroulakis (Ed.) Third Generation Mobile Telecommunication Systems
Peter Stavroulakis (Ed.) Third Generation Mobile Telecommunication Systems Engineering ONLINE LlBRARY http://www.springer.de/engine/ Springer-Verlag Berlin Heidelberg GmbH Peter Stavroulakis (Ed.) Third
Advances in Behavioral Economics
Advances in Behavioral Economics Professor Dr. Horst Todt Friedel Bolle Michael Carlberg (Eds.) Advances in Behavioral Economies Essays in Honor of Horst Todt With 31 Figures and 11 Tables Springer-Verlag
Advances in Computer Vision and Pattern Recognition
Advances in Computer Vision and Pattern Recognition For further volumes: http://www.springer.com/series/4205 Marco Alexander Treiber Optimization for Computer Vision An Introduction to Core Concepts and
Management Models for Corporate Social Responsibility
Management Models for Corporate Social Responsibility Jan Jonker Marco de Witte (Editors) Management Models for Corporate Social Responsibility With 57Figures and 13 Tables 12 Dr. Jan Jonker Radboud University
Realising the Flanders Research Information Space
Realising the Flanders Research Information Space Peter Spyns & Geert Van Grootel published in Meersman R., Dillon T., Herrero P. et al., (Eds.): (eds.), Proceedings of the OTM 2011 Workshops, LNCS 7046,
Lecture Notes in Computer Science 3081
Lecture Notes in Computer Science 3081 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
ACHIEVEMENT AND ASSURANCE OF SAFETY
ACHIEVEMENT AND ASSURANCE OF SAFETY Related titles: Directions in Safety-critical Systems Proceedings of the First Safety-critical Systems Symposium, Bristol 1993 Redmill and Anderson (eds) 3-540-19817-2
Realising the FNH-RI: Roadmap. Karin Zimmermann (Wageningen Economic Research [WUR], NL)
![Realising the FNH-RI: Roadmap. Karin Zimmermann (Wageningen Economic Research [WUR], NL)](/thumbs/88/115047600.jpg "Realising the FNH-RI: Roadmap. Karin Zimmermann (Wageningen Economic Research [WUR], NL)")
Realising the FNH-RI: Roadmap Karin Zimmermann (Wageningen Economic Research [WUR], NL) Three ongoing tracks towards a FNH-RI Design studies EuroDISH: Determinants Intake Status - Health RICHFIELDS: Focus
Lecture Notes in Economics and Mathematical Systems
Lecture Notes in Economics and Mathematical Systems 520 Founding Editors: M. Beckmann H. P. Kiinzi Managing Editors: Prof. Dr. G. Fandel Fachbereich Wirtschaftswissenschaften Fernuniversitat Hagen Feithstr.
Fuzzy Management Methods. Series editors Andreas Meier, Fribourg, Switzerland Witold Pedrycz, Edmonton, Canada Edy Portmann, Bern, Switzerland
Fuzzy Management Methods Series editors Andreas Meier, Fribourg, Switzerland Witold Pedrycz, Edmonton, Canada Edy Portmann, Bern, Switzerland More information about this series at http://www.springer.com/series/11223
Springer Series on. Signals and Communication Technology
Springer Series on Signals and Communication Technology Signals and Communication Technology Functional Structures in Networks AMLn A Language for Model Driven Development of Telecom Systems T. Muth ISBN
Evaluating New Technologies
Evaluating New Technologies The International Library of Ethics, Law and Technology VOLUME 3 Editors Anthony Mark Cutter, Centre for Professional Ethics, University of Central Lancashire, United Kingdom
Lecture Notes in Applied and Computational Mechanics
Lecture Notes in Applied and Computational Mechanics Volume 28 Series Editors Prof. Dr.-Ing. Friedrich Pfeiffer Prof. Dr.-Ing. Peter Wriggers Lecture Notes in Applied and Computational Mechanics Edited
Pierre-Yves Henin (Ed.) Advances in Business Cycle Research
Pierre-Yves Henin (Ed.) Advances in Business Cycle Research Springer-V erlag Berlin Heidelberg GmbH Pierre-Yves Henin (Ed.) Advances in Business Cycle Research With Application to the French and US Economies
The Relations between Defence and Civil Technologies
The Relations between Defence and Civil Technologies NATO ASI Series Advanced Science Institutes Series A Series presenting the results of activities sponsored by the NATO Science Committee. which aims
Advanced Information and Knowledge Processing
Advanced Information and Knowledge Processing Series Editors Professor Lakhmi Jain Lakhmi.jain@unisa.edu.au Professor Xindong Wu xwu@cems.uvm.edu For further volumes: http://www.springer.com/series/4738