Lecture Notes in Computer Science. Edited by G. Goos, J. Hartmanis and J. van Leeuwen

Size: px
Start display at page:

Download "Lecture Notes in Computer Science. Edited by G. Goos, J. Hartmanis and J. van Leeuwen"

Transcription

1 Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1487

2 Volker Gruhn (Ed.) Software Process Technology 6th European Workshop, EWSPT '98 Weybridge, UK, September 16-18, 1998 Proceedings ~ Springer

3 Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editor Volker Gruhn Universitgt Dortmund Fachbereich Informatik: Software Technologie D Dortmund, Germany Is. 10.informatik.uni-dortmund.de Cataloging-in-Publication data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Soltware process technology : 6th European workshop ; proceedings / EWSPT '98, Weybridge, UK, September 16-18, Volker Grulm (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, 1998 (Lecture notes in computer science ; Vol. 1487) ISBN CR Subject Classification (1991): D.2, K.6, K.4.2 ISSN ISBN Springer-Verlag 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-Verlag, Violations are liable for prosecution under the German Copyright Law. O Springer-Verlag Berlin Heidelberg 1998 Printed in Germany Typesetting: Camera-ready by author SPIN Printed on acid-free paper

4 PREFACE For more than ten years, Software Processes Technology has been an area of active research. Since a few years ago, research results have begun to impact the industrial practice of software development. This finding is the starting point for the 6 ~ European Workshop on Software Process Technology, which is an event sponsored in context of the Basic Research Action Working Group PROMOTER (Process Modeling Techniques Basic Research). Even more than in previous workshops, we have tried to bring together researchers from the scientific software process community and practitioners who have cared for efficient and effective industrial software processes. Technology transfer is one of the key goals of this year's workshop. The structure of this year's workshop has been changed with respect to types of sessions, types of papers accepted, and keynote presentations invited. For the first time, we have a few sessions which are directed at stimulating discussions between researchers and practitioners: (i) a fishbowl session, (ii) a divide and conquer session, and (iii) a project presentation session. We distinguished between four types of papers: industrial papers describing realworld experience in organizing software processes (first section of the proceedings), research papers covering particular aspects of software processes in depth (second section), position papers stating a clear and focused position with respect to software processes (third section), and descriptions of major process modeling projects (fourth section). We received more than 40 submissions from Asia, Australia, Europe, and North America. The Programme Committee accepted only 16 of these papers (three industrial papers, three research papers, and ten position papers), thus maintaining the high quality standards of the European Workshops on Software Process Technology. For all the preparatory work, I am particularly grateful to the members of the Programme Committee: Nacer Boudjlida, Jean-Claude Demiame, Gregor Engels, Alfonso Fuggetta, Bertil Haack, Carlo Montangero, Bashar Nuseibeh, Lee Osterweil, Brian Warboys, Vincent Wiegel, Alex Wolf. My special thanks are due to General Chair Bashar Nuseibeh, who did a splendid job on the local organization and suggested several of the new elements of this year's workshop, and to Gregor Engels, who took care of the project descriptions. I also would like to acknowledge the professional and patient support from Springer-Verlag, who are publishing these proceedings again. June 1998 Volker Gruhn Programme Committee Chair

5 Contents SECTION 1: INDUSTRIAL EXPERIENCE PAPERS Software Process Improvement in a Small Organization: Difficulties and Suggestions O. Demirors, E. Demirors Developing a Customizable Process Modelling Environment: Lessons Learnt and Future Prospects M.Koskinen, P. Marttiin A Practical Approach to Software Process Modelling Language Engineering S.Rossi, T. Sitlander SECTION 2: RESEARCH PAPERS Fuzzy Indicators for Monitoring Software Processes S. Cfmpan, F. Oquendo User Interfaces Supporting the Software Process H.-U. Kobialka, C Lewerentz Improving Cooperation Support in the EPOS CM System A,L Wang, J.-O. Larsen, R, Conradi, B.P. Munch SECTION 3: POSITION PAPERS Managing Consistency in Cooperating Software Processes L Alloui, F. Oquendo Six Theses on Software Process Research R. Conradi, A. Fuggetta, M.L, Jaccheri Process Technology Implications of Procurement Processes: Some Initial Observations E, Ellmer, W. Emmerich, A, Finkelstein Requirements on Software Process Technology from the Viewpoint of Commercial Software Development: Recommendations for Research Directions R. Kneuper On Project Management Scheduling where Human Resource is a Critical Variable V. Ptekhanova Fuzzy Dynamics in Software Project Simulanon and Support J.Ferndndez Ramil, M,M. Lehman Programming Process Coordination in Little-JIL B. Staudt Lerner, LJ. Osterweil, M. Sutton Jr., A. Wise

6 VIII Modelling the Federation of Process Sensitive Engineering Environments: Basic Concepts and Perspectives P.F. Tiako Instances and Connectors: Issues for a Second Generation Process Language B.C. Warboys, D. Balasubramaniam, R.M, Greenwood, G.N.C Kirby, K. Mayes, g. Morrison, 1). Munro Issues on Supporting Distributed Software Processes E Yang SECTION 4: PROJECT DESCRIFFIONS A Notation Based on Process Product Unification E. Demirors, O. Demirors Assistance to Develop Indigenous Software Industry O. Demirors, H.N. Ozguven FEAST - Feedback, Evolution and Software Technology M.M. Lehman Formalization of the Software Process Modeling Language SOCCA G. Engels, L. Groenewegen, R. Dassen JIL and Little-/IL Process Programming Languages L,J. Osterweil PCIS-II Project: Process Component Infrastructure Architecture Specification Z-C. Derniame, P.F. Tiako Promoter 2 Process Modeling Techniques Z-C, Derniame Process Instance Evolution - PIE P.- Y. Cunin i48 I I i55 Author Index 157

Lecture Notes in Computer Science

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

More information

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 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

More information

Lecture Notes in Computer Science

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

More information

Lecture Notes in Computer Science

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

More information

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 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

More information

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 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

More information

Lecture Notes in Computer Science

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,

More information

Lecture Notes in Computer Science

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

More information

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 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.)

More information

Lecture Notes in Computer Science

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

More information

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 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

More information

Lecture Notes in Artificial Intelligence. Lecture Notes in Computer Science

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

More information

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 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

More information

Lecture Notes in Computer Science

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

More information

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 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

More information

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 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

More information

Modeling Manufacturing Systems. From Aggregate Planning to Real-Time Control

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

More information

Data Assimilation: Tools for Modelling the Ocean in a Global Change Perspective

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

More information

Lecture Notes in Computer Science

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,

More information

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 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

More information

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) 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

More information

Lecture Notes in Computer Science

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

More information

Spatio-Temporal Image Processing

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

More information

Lecture Notes in Economics and Mathematical Systems

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.

More information

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 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

More information

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 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,

More information

Communications in Computer and Information Science 85

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

More information

Computer-Aided Production Management

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

More information

MATLAB Guide to Finite Elements

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

More information

Lecture Notes in Artificial Intelligence

Lecture Notes in Artificial Intelligence Lecture Notes in Artificial Intelligence 1152 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 information

Lecture Notes in Artificial Intelligence

Lecture Notes in Artificial Intelligence Lecture Notes in Artificial Intelligence 1188 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 information

Future-Oriented Technology Analysis

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

More information

Design for Innovative Value Towards a Sustainable Society

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

More information

U. Lindemann (Ed.) Human Behaviour in Design

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,

More information

Founding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK

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,

More information

ICT for the Next Five Billion People

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

More information

3 Forensic Science Progress

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

More information

Architecture Design and Validation Methods

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

More information

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 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ò

More information

Enabling Manufacturing Competitiveness and Economic Sustainability

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

More information

Technology Roadmapping for Strategy and Innovation

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

More information

2 Forensic Science Progress

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

More information

StraBer Wahl Graphics and Robotics

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

More information

Hierarchy Process. The Analytic. Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) Applications and Studies

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.

More information

Lecture Notes in Economics and Mathematical Systems

Lecture Notes in Economics and Mathematical Systems Lecture Notes in Economics and Mathematical Systems 494 Founding Editors: M. Beckmann H. P. KOnzi Co-Editors: C. D. Aliprantis, Dan Kovenock Editorial Board: P. Bardsley, A. Basile, M.R. Baye, T. Cason,

More information

Lecture Notes in Computer Science

Lecture Notes in Computer Science Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 49 Interactive Systems Proceedings, 6th Informatik Symposium IBM Germany, Bad Homburg v. d. H., September 1976 Edited by A. Blaser and

More information

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. 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

More information

Simulation by Bondgraphs

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

More information

SpringerBriefs in Space Development

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

More information

Lecture Notes in Computer Science 2013 Edited by G. Goos, J. Hartmanis and J. van Leeuwen

Lecture Notes in Computer Science 2013 Edited by G. Goos, J. Hartmanis and J. van Leeuwen Lecture Notes in Computer Science 2013 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Sameer Singh Nabeel Murshed

More information

Springer Series on. Signals and Communication Technology

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

More information

Health Information Technology Standards. Series Editor: Tim Benson

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

More information

Innovation Policy in a Knowledge-Based Economy

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

More information

Cognitive Systems Monographs

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

More information

Applied Technology and Innovation Management

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

More information

Scientific Data Mining and Knowledge Discovery

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

More information

Lecture Notes in Control and Information Sciences

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

More information

Lecture Notes in Computer Science

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

More information

Advances in Modern Tourism Research

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

More information

Advances in Behavioral Economics

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

More information

146 Advances in Polymer Science

146 Advances in Polymer Science 146 Advances in Polymer Science Editorial Board: A. Abe- A.-C. Albertsson H.-]. Cantow K. Dugek S. Edwards. H. H6cker ]. E ]oanny H.-H. Kausch T. Kobayashi K.-S. Lee. ]. E. McGrath L. Monnerie S. I. Stupp

More information

Testing Safety-Related Software

Testing Safety-Related Software Testing Safety-Related Software Springer London Berlin Heidelberg New York Barcelona Hong Kong Milan Paris Santa Clara Singapore Tokyo Stewart Gardiner (Ed.) Testing Safety-Related Software A Practical

More information

Lecture Notes in Artificial Intelligence

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

More information

Matthias Pilz Susanne Berger Roy Canning (Eds.) Fit for Business. Pre-Vocational Education in European Schools RESEARCH

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

More information

Lecture Notes in Computer Science 1885 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen

Lecture Notes in Computer Science 1885 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Lecture Notes in Computer Science 1885 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Klaus Havelund John Penix Willem

More information

Management of Recreation and Nature Based Tourism in European Forests

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

More information

Studies in Economic Ethics and Philosophy

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

More information

COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, May 2016, Trento, Italy

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

More information

Lecture Notes in Computer Science

Lecture Notes in Computer Science Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1245 Advisory Board: W. Brauer D. Gries J. Stoer Raymond Marie Brigitte Plateau Maria Calzarossa Gerardo Rubino (Eds.)

More information

Handbook of Engineering Acoustics

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

More information

Lecture Notes in Artificial Intelligence 3396

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

More information

Peter Stavroulakis (Ed.) Third Generation Mobile Telecommunication Systems

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

More information

The Future of Civil Litigation

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

More information

Inside the Smart Home

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

More information

Lecture Notes in Computational Science and Engineering 68

Lecture Notes in Computational Science and Engineering 68 Lecture Notes in Computational Science and Engineering 68 Editors Timothy J. Barth Michael Griebel David E. Keyes Risto M. Nieminen Dirk Roose Tamar Schlick Sidney Yip Tomás Diaz de la Rubia Editors Scientific

More information

Studies in Empirical Economics

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

More information

Lecture Notes in Applied and Computational Mechanics

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

More information

Introduction to Computational Optimization Models for Production Planning in a Supply Chain

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

More information

Dao Companion to the Analects

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

More information

Lecture Notes in Artificial Intelligence

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

More information

Lecture Notes in Computer Science 3373

Lecture Notes in Computer Science 3373 Lecture Notes in Computer Science 3373 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Risk-Based Ship Design

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

More information

Requirements Engineering for Digital Health

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

More information

Lecture Notes in Computer Science 2379 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen

Lecture Notes in Computer Science 2379 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Lecture Notes in Computer Science 2379 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Gary J. Chastek (Ed.) Software Product

More information

Lecture Notes in Control and Information Sciences 198. Editor: M. Thoma

Lecture Notes in Control and Information Sciences 198. Editor: M. Thoma Lecture Notes in Control and Information Sciences 198 Editor: M. Thoma H. Winter and H.-G. Nfif~er (Eds.) Advanced Technologies for Air Traffic Flow Management Proceedings of an International Seminar Organized

More information

Lecture Notes in Artificial Intelligence 2922

Lecture Notes in Artificial Intelligence 2922 Lecture Notes in Artificial Intelligence 2922 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science 3 Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo Frank

More information

6 Forensic Science Progress

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

More information

Introduction to Fuzzy Logic using MATLAB

Introduction to Fuzzy Logic using MATLAB Introduction to Fuzzy Logic using MATLAB S. N. Sivanandam, S. Sumathi and S. N. Deepa Introduction to Fuzzy Logic using MATLAB With 304 Figures and 37 Tables 123 Dr. S.N. Sivanandam S. N. Deepa Professor

More information

.. Algorithms and Combinatorics 17

.. Algorithms and Combinatorics 17 .. Algorithms and Combinatorics 17 Editorial Board R.L. Graham, Murray Hill B. Korte, Bonn L. Lovasz, Budapest A.Wigderson, Jerusalem G.M. Ziegler, Berlin Springer-Verlag Berlin Heidelberg GmbH Oded Goldreich

More information

Lecture Notes in Computer Science 6431

Lecture Notes in Computer Science 6431 Lecture Notes in Computer Science 6431 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems

Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems M.C. Bhuvaneswari Editor Application of Evolutionary Algorithms for Multi-objective Optimization in

More information

Advances in Computer Vision and Pattern Recognition

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

More information

Lecture Notes in Computer Science 3081

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,

More information

ANALOG CIRCUITS AND SIGNAL PROCESSING

ANALOG CIRCUITS AND SIGNAL PROCESSING ANALOG CIRCUITS AND SIGNAL PROCESSING Series Editors Mohammed Ismail, The Ohio State University Mohamad Sawan, École Polytechnique de Montréal For further volumes: http://www.springer.com/series/7381 Yongjian

More information

Lecture Notes in Computer Science 5000

Lecture Notes in Computer Science 5000 Lecture Notes in Computer Science 5000 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Broadband Networks, Smart Grids and Climate Change

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

More information

Dynamics of Fibre Formation and Processing

Dynamics of Fibre Formation and Processing Dynamics of Fibre Formation and Processing Roland Beyreuther Harald Brünig Dynamics of Fibre Formation and Processing Modelling and Application in Fibre and Textile Industry With 171 Figures 123 Prof.

More information

Knowledge-Based Vision-Guided Robots

Knowledge-Based Vision-Guided Robots Knowledge-Based Vision-Guided Robots Studies in Fuzziness and Soft Computing Editor-in-chief Prof. Janusz Kacprzyk Systems Research Institute Polish Academy of Sciences ul. Newelska 6 01-447 Warsaw, Poland

More information

ACHIEVEMENT AND ASSURANCE OF SAFETY

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

More information

Acoustic Emission Testing

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

More information