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

Size: px
Start display at page:

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

Transcription

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

2 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo

3 Wolfgang Grieskamp Thomas Santen Bill Stoddart (Eds.) Integrated Formal Methods Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings 13

4 Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Wolfgang Grieskamp Thomas Santen TU Berlin, Sekr. FR 5-13 bzw. 5-6 Franklinstr , Berlin, Germany Bill Stoddart University of Teesside School of Computing and Mathematics Middlesbrough TS1 3BA, UK Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Integrated formal methods : second international conference ; proceedings / IFM 2000, Dagstuhl Castle, Germany, November 1-3, Wolfgang Grieskamp... (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, 2000 (Lecture notes in computer science ; Vol. 1945) ISBN CR Subject Classification (1998): F.3, D.3, D.2, D.1 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. Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH Springer-Verlag Berlin Heidelberg 2000 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP-Berlin, Stefan Sossna Printed on acid-free paper SPIN: /

5 Preface IFM 2000, the second in a series of international conferences on Integrated Formal Methods, was held at the 18th-century château of Schloss Dagstuhl, Saarland, Germany, from the 1st to the 3rd of November The conference programme consisted of invited talks from Sir Tony Hoare FRS and Wolfram Schulte, along with 22 papers selected from 58 submissions. Applying formal methods may involve the modelling of different aspects of a system that are expressed through different paradigms. This motivates us to research the combination of different viewpoints of a system, either by the creation of hybrid notations, by extending existing notations, by translating between notations, or by incorporating a wider perspective with the innovative use of an existing notation. The integration of formal methods promises great benefits to systems modelling and software development. Regardless of the approach taken, however, significant issues can arise in areas such as semantic integration, the tractability of our notations, the integration of tool support, the integration of proof systems, consistency, and completeness. Issues arise equally in our conceptualisation of systems at different levels of abstraction and the development of these conceptualisations through the process of refinement. The stated theme of IFM 99 was the integration of state-based and behavioural formalisms. For IFM 2000 this was widened, and the submitted papers have been grouped in five technical sessions, covering the linking and extending of notations, methodology, the foundation of one formalism in another, semantics, and aspects of verification and validation. We hope that these proceedings will be of benefit both to the conference participants and to the wider community of workers in the field. The production of these proceedings would not have been possible without the invaluable help of the programme committee and external referees, and of all the contributors who submitted papers to the conference. November 2000 Wolfgang Grieskamp Thomas Santen Bill Stoddart

6 Organization Wolfgang Grieskamp, Technical University of Berlin, Germany Thomas Santen, Technical University of Berlin, Germany Bill Stoddart, University of Teesside, UK Program Committee Keijiro Araki (Kyushu, Japan) Didier Bert (Grenoble, France) Egon Börger (Pisa, Italy) Jonathan Bowen (London, UK) Micheal Butler (Southampton, UK) Jim Davies (Oxford, UK) John Derrick (Kent, UK) Jin Song Dong (Singapore) Heiko Dörr (Berlin, Germany) John Fitzgerald (Newcastle, UK) Andy Galloway (York, UK) Chris George (Macao) Wolfgang Grieskamp (Berlin, Germany) Henri Habrias (Nantes, France) Susumu Hayashi (Kobe, Japan) Maritta Heisel (Magdeburg, Germany) Mike Hinchey (Omaha, USA) Bernd Krieg-Brückner (Bremen, Germany) Michel Lemoine (Toulouse, France) Shaoying Liu (Hiroshima, Japan) John McDermid (York, UK) Dominique Méry (Nancy, France) Thomas Santen (Berlin, Germany) Steve Schneider (London, UK) Wolfram Schulte (Redmond, USA) Jane Sinclair (Warwick, UK) Graeme Smith (Brisbane, Australia) Bill Stoddart (Teesside, UK) Kenji Taguchi (Uppsala, Sweden) W J (Hans) Toetenel (Delft, Holland) Heike Wehrheim (Oldenburg, Germany) Additional Reviewers Richard Banach Christie Bolton Dominique Cansell David Carrington Marc Cavazza Michael Cebulla Steve Dunne Carla Ferreira Dennis Furey He Jifeng Monika Heiner Steffen Helke Dang van Hung Tomasz Janowski Markus Lepper Liu Jing Brendan Mahony Stephan Merz Michael Meyer zu Hoerste Tim Mossakowski Steve Paynter Jean-Claude Reynaud Dean Rosenzweig Mark Saaltink Holger Schlingloff Carron Shankland Kim Soon-Kyeong Carsten Sühl Ulrich Ultes-Nitsche Jacob Wieland Qiwen Xu Hirokazu Yatsu Shoji Yuen

7 Table of Contents Invited Talk Assertions... 1 Tony Hoare Linking and Extending Notations State-Based Extension of CASL... 3 Hubert Baumeister and Alexandre Zamulin Linking DC Together with TRSL Anne Elisabeth Haxthausen and Xia Yong Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes Jörg Fischer and Stefan Conrad A Process Compensation Language Michael Butler and Carla Ferreira Activity Graphs and Processes Christie Bolton and Jim Davies Structuring Real-Time Object-Z Specifications Graeme Smith and Ian Hayes ISpec: Towards Practical and Sound Interface Specifications Hans B.M. Jonkers Methodology Cooperation of Formal Methods in an Engineering Based Software Development Process Yamine Ait-Ameur Developing Control Systems Components Luigia Petre and Kaisa Sere Specification and Analysis of Automata-Based Designs Jeremy Bryans, Lynne Blair, Howard Bowman, and John Derrick Structural Refinement in Object-Z / CSP John Derrick and Graeme Smith

8 X Table of Contents Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs Jürgen Dingel Foundation of One Formalism by Another Construction of Finite Labelled Transition Systems from B Abstract Systems Didier Bert and Francis Cave µ-charts and Z: Hows, Whys, and Wherefores Greg Reeve and Steve Reeves Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language Jonathan P. Bowen Invited Talk Why Doesn t Anyone Use Formal Methods? Wolfram Schulte Semantics How to Write a Healthiness Condition Yifeng Chen A Concurrent and Compositional Petri Net Semantics of Preemption Hanna Klaudel and Franck Pommereau Verification and Validation An Approach to Symbolic Test Generation Vlad Rusu, Lydie du Bousquet, and Thierry Jéron Behavioral Conformance Verification in an Integrated Approach Using UML and B Eric Meyer and Thomas Santen Predicate Diagrams for the Verification of Reactive Systems Dominique Cansell, Dominique Méry, and Stephan Merz Modular Verification for a Class of PLTL Properties Pierre-Alain Masson, Hassan Mountassir, and Jacques Julliand Towards Model Checking Stochastic Process Algebra Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, and Markus Siegle Author Index

Lecture Notes in Artificial Intelligence 2155

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

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

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

Research Reports ESPRIT

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

Lecture Notes in Computer Science 4409

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 information

Lecture Notes in Artificial Intelligence 3176

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

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

Lecture Notes in Computer Science 7007

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

Lecture Notes in Computer Science 3511

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

Ulrik M. Nyman - Curriculum Vitæ

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

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

Lecture Notes in Computer Science 2272 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Lecture Notes in Computer Science 2272 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Didier Bert Jonathan P. Bowen Martin

More information

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

Lecture Notes in Computer Science 1837 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Lecture Notes in Computer Science 1837 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Roland Backhouse José Nuno Oliveira

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 1138 Advisory Board: W. Brauer D. Gries J. Stoer Jacques Calmet John A. Campbell Jochen Pfalzgraf (Eds.) Artificial

More information

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics Lecture Notes in Computer Sc'e~l lice ~ 1125 J. von Wright J. Grundy J. Harrison (Eds.) Theorem Proving in Higher Order Logics 9th International Conference, TPHOLs'96 Turku, Finland, August 1996 Proceedings

More information

Lecture Notes in Artificial Intelligence

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

Springer Berlin Heidelberg NewYork Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo

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

German Yearbook on Business History 1986

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

ifm Turku, Finland

ifm Turku, Finland ifm 2013 12-14.6.2013 Turku, Finland We dedicate this edition of the integrated Formal Methods conference to Professor Kaisa Sere, Åbo Akademi University (1954-2012). Program Committee Chairs: Einar Broch

More information

Emotional Engineering Volume 5

Emotional 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

Lecture Notes in Computer Science 4728

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

Lecture Notes in Artificial Intelligence 6517

Lecture Notes in Artificial Intelligence 6517 Lecture Notes in Artificial Intelligence 6517 Edited by R. Goebel, J. Siekmann, and W. Wahlster Subseries of Lecture Notes in Computer Science FoLLI Publications on Logic, Language and Information Editors-in-Chief

More information

Lecture Notes in Artificial Intelligence 4327

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

Progress in Mathematics Volume 95

Progress in Mathematics Volume 95 Progress in Mathematics Volume 95 Series Editors J. Oesterle A. Weinstein Representation Theory of Finite Groups and Finite-Dimensional Algebras Proceedings of the Conference at the University of Bielefeld

More information

Arild Stubhaug. Gösta Mittag-Leffler. AManofConviction. Translated by Tiina Nunnally

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

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

Lecture Notes in Computer Science 1601 Edited by G. Goos, J. Hartmanis and J. van Leeuwen Lecture Notes in Computer Science 1601 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Joost-Pieter Katoen (Ed.) Formal

More information

Lecture Notes in Computer Science 7480

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

Curriculum Vitae Person Education Professional career

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

INDUSTRIAL RELATIONS IN INTERNATIONAL PERSPECTIVE

INDUSTRIAL RELATIONS IN INTERNATIONAL PERSPECTIVE INDUSTRIAL RELATIONS IN INTERNATIONAL PERSPECTIVE By the same author Internal Labor Markets and Manpower Analysis (with Michael J. Piore) Programs to Employ the Disadvantaged (ed.) Industrial Relations

More information

High-Rise Living in Asian Cities

High-Rise Living in Asian Cities High-Rise Living in Asian Cities Anthony G.O. Yeh Editors High-Rise Living in Asian Cities 123 Editors Singapore belyuen8@gmail.com Anthony G.O. Yeh Centre of Urban Studies and Urban Planning The University

More information

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

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

Lecture Notes in Computer Science 1670 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Lecture Notes in Computer Science 1670 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Norbert A. Streitz Jane Siegel

More information

CoPDA Barbara Rita Barricelli Ali Gheitasy Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.)

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

Nonprofit and Civil Society Studies

Nonprofit and Civil Society Studies Nonprofit and Civil Society Studies An International Multidisciplinary Series Series Editors Paul Dekker Institute for Social Research, The Hague, The Netherlands Annette Zimmer University of Münster,

More information

Study. Review of External Market Valuations of Properties Located Abroad. HypZert Professional Group International. As at: November 2011

Study. Review of External Market Valuations of Properties Located Abroad. HypZert Professional Group International. As at: November 2011 Study Review of External Market Valuations of Properties Located Abroad HypZert Professional Group International As at: November 2011 HypZert GmbH Georgenstrasse 21, 10117 Berlin www.hypzert.de The study

More information

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

Lecture Notes in Computer Science 1944 Edited by G. Goos, J. Hartmanis and J. van Leeuwen Lecture Notes in Computer Science 1944 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Klaus R. Dittrich Giovanna

More information

gpehihpcl'upn sdii-gei tim GE ng Fiae^'ban*' and pq>-er ujeibel with contributions by

gpehihpcl'upn sdii-gei tim GE ng Fiae^'ban*' and pq>-er ujeibel with contributions by gpehihpcl'upn with contributions by Michael Beigl Aaron Betsky Ole Bouman Neil Brown Ignacio Cirac Andrew Daley Dennis Del Favero David Deutsch Elizabeth Diller Winka Dubbeldam Georg Flachbart Monika Fleischmann

More information

Lecture Notes in Computer Science

Lecture Notes in Computer Science Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 657 Advisory Board: W. Brauer D. Gries J. Stoer E. W Mayr (Ed.) Graph-Theoretic Concepts In " Computer Science 18th International Workshop,

More information

A Bibliography of Books about REDUCE

A Bibliography of Books about REDUCE A Bibliography of Books about REDUCE Anthony C. Hearn The RAND Corporation Santa Monica, CA 90406-2138 USA 14 October 2017 Version 2.11 Abstract This bibliography records books and technical reports written

More information

CoPDA Barbara Rita Barricelli Gerhard Fischer Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.)

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

The Archaeology of Anxiety

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

Lecture Notes in Computer Science 4454

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

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

Lecture Notes in Computer Science 2021 Edited by G. Goos, J. Hartmanis and J. van Leeuwen Lecture Notes in Computer Science 2021 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo José Nuno Oliveira Pamela Zave

More information

Lecture Notes in Computer Science 10644

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

List of the agreements for the ISSN assignment to continuing resources issued by multinational publishers

List of the agreements for the ISSN assignment to continuing resources issued by multinational publishers List of the agreements for the ISSN assignment to continuing resources issued by multinational publishers List by ISSN Centres (Update of December 6th, 2017) Concerning the following multinational publisher,

More information

Architecture Oriented Formal Approaches to Software Development. Keijiro Araki. October 31, Kyushu University.

Architecture Oriented Formal Approaches to Software Development. Keijiro Araki. October 31, Kyushu University. ISEE Symposium Architecture Oriented Formal Approaches to Software Development October 31, 2014 Keijiro Araki Kyushu University Research Center for Architecture Oriented Formal Methods, Kyushu University

More information

STUDIES IN ORGANIZED CRIME

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

Class Inequality in Austerity Britain

Class Inequality in Austerity Britain Class Inequality in Austerity Britain Also by Will Atkinson CLASS, INDIVIDUALIZATION AND LATE MODERNITY Also by Mike Savage CLASS ANALYSIS AND SOCIAL TRANSFORMATION CULTURE, CLASS DISTINCTION (with Tony

More information

Lecture Notes in Computer Science 4355

Lecture 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 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 1025 Advisory Board: W. Brauer D. Gries J. Stoer Colin Boyd (Ed.) Cryptography and Coding 5th IMA Conference Cirencester,

More information

Lecture Notes in Computer Science 3819

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

European Football and Collective Memory

European Football and Collective Memory European Football and Collective Memory Football Research in an Enlarged Europe Series Editors: Albrecht Sonntag, Professor and Director of the Centre for European Integration, ECCSA School of Management,

More information

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

Early Modern Philosophers and the Renaissance Legacy

Early Modern Philosophers and the Renaissance Legacy Early Modern Philosophers and the Renaissance Legacy INTERNATIONAL ARCHIVES OF THE HISTORY OF IDEAS ARCHIVES INTERNATIONALES D HISTOIRE DES IDÉES 220 EARLY MODERN PHILOSOPHERS AND THE RENAISSANCE LEGACY

More information

CONTEMPORARY MATHEMATICS

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

Organizational Economics, Personnel Economics, Behavioral Economics

Organizational Economics, Personnel Economics, Behavioral Economics CURRICULUM VITAE Professor Dr. Jenny Kragl Professor of Economics (Microeconomics) EBS Universität für Wirtschaft und Recht EBS Business School Department of Management & Economics Rheingaustr. 1 D - 65375

More information

Higher Densities No Sprawl: Master Plan for the City of Ramat-Gan, Israel

Higher Densities No Sprawl: Master Plan for the City of Ramat-Gan, Israel Higher Densities No Sprawl: Master Plan for the City of Ramat-Gan, Israel Israel is a small and densed country. Israel is a small country with a total area of 21,000 sq.km. and population of 7.2 million

More information

Dr.-Ing. Serge Autexier Curriculum Vitae

Dr.-Ing. Serge Autexier Curriculum Vitae Dr.-Ing. Serge Autexier Curriculum Vitae Senior Researcher Head Bremen Ambient Assisted Living Lab RD Cyber-Physical Systems Deutsches Forschungszentrum für künstliche Intelligenz (DFKI, Bremen Address

More information

Lecture Notes in Computer Science 6663

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

Ethno-Indology. Heidelberg Studies in South Asian Rituals. General Editor Axel Michaels Volume 13. Harrassowitz Verlag. Wiesbaden

Ethno-Indology. Heidelberg Studies in South Asian Rituals. General Editor Axel Michaels Volume 13. Harrassowitz Verlag. Wiesbaden Ethno-Indology Heidelberg Studies in South Asian Rituals General Editor Axel Michaels Volume 13 2013 Harrassowitz Verlag. Wiesbaden South Asian Festivals on the Move Edited by Ute Hüsken and Axel Michaels

More information

Lecture Notes in Business Information Processing 62

Lecture Notes in Business Information Processing 62 Lecture Notes in Business Information Processing 62 Series Editors Wil van der Aalst Eindhoven Technical University, The Netherlands John Mylopoulos University of Trento, Italy Michael Rosemann Queensland

More information

1. Department of Decision Sciences & Information Management, Katholieke Universiteit Leuven, Belgium

1. Department of Decision Sciences & Information Management, Katholieke Universiteit Leuven, Belgium October 25-26, 2007 Orlando, Florida Specifying Process-Aware Access Control Rules in SBVR Stijn Goedertier 1, Christophe Mues 2, and Jan Vanthienen 1 1. Department of Decision Sciences & Information Management,

More information

My Life with Eggs: Forty Years On

My Life with Eggs: Forty Years On My Life with Eggs: Forty Years On A personal history of the IFRG 1975 2015 Nick French and at least gives someone else a chance to be the last to leave the bar Glenn Baggott 2012 Thanks to the organisers.

More information

Persoonlijke kopie van ()

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

(Translation from Original Japanese Version) Japan Real Estate Institute Home Price Indices Calculation Methodology

(Translation from Original Japanese Version) Japan Real Estate Institute Home Price Indices Calculation Methodology (Translation from Original Japanese Version) Japan Real Estate Institute Home Price Indices Calculation Methodology Revised on JANUARY 27 th, 2015 Table of Contents 1. Introduction... 2 2. Synopsis...

More information

Lecture Notes in Computer Science 9804

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

International Handbooks on Information Systems. Series Editors Peter Bernus, Jacek Błażewicz, Günter Schmidt, Michael Shaw

International Handbooks on Information Systems. Series Editors Peter Bernus, Jacek Błażewicz, Günter Schmidt, Michael Shaw International Handbooks on Information Systems Series Editors Peter Bernus, Jacek Błażewicz, Günter Schmidt, Michael Shaw Titles in the Series M. Shaw, R. Blanning, T. Strader and A. Whinston (Eds.) Handbook

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 1190 Advisory Board: W. Brauer D. Gries J. Stoer Stephen North (Ed.) Graph Drawing Symposium on Graph Drawing, GD '96

More information

Intelligent Primary School Project in Italy

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

Yury I. Manin CURRICULUM VITAE (updated May 20, 2016)

Yury I. Manin CURRICULUM VITAE (updated May 20, 2016) Yury I. Manin CURRICULUM VITAE (updated May 20, 2016) MANIN YURY, born February 16, 1937, Simferopol, USSR. Current employments: Professor Emeritus, Max Planck Institut für Mathematik, Vivatsgasse 7, Bonn

More information

American Literature. Narratives of Multiculturalism in Post-Imperial Turkey. Interamericana 10. Elena Furlanetto

American Literature. Narratives of Multiculturalism in Post-Imperial Turkey. Interamericana 10. Elena Furlanetto Interamericana 10 Elena Furlanetto Towards Turkish American Literature Narratives of Multiculturalism in Post-Imperial Turkey Interamericana 10 Elena Furlanetto Towards Turkish American Literature The

More information

Lecture Notes in Computer Science 3308

Lecture Notes in Computer Science 3308 Lecture Notes in Computer Science 3308 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

INTERNATIONAL CONFERENCE GEOTEC HANOI 2011 "Geotechnics for Sustainable Development", in Hanoi, 6th-7th October 2011

INTERNATIONAL CONFERENCE GEOTEC HANOI 2011 Geotechnics for Sustainable Development, in Hanoi, 6th-7th October 2011 CONFERENCE NEWS INTERNATIONAL CONFERENCE GEOTEC HANOI 2011 "Geotechnics for Sustainable Development", in Hanoi, 6th-7th October 2011 Geotec Hanoi 2011, an international conference on Geotechnics for Sustainable

More information

Bridging the Gap? Nomos. Opportunities and Constraints of the European Citizens Initiative. Maximilian Conrad Annette Knaut Katrin Böttger [eds.

Bridging the Gap? Nomos. Opportunities and Constraints of the European Citizens Initiative. Maximilian Conrad Annette Knaut Katrin Böttger [eds. Europäische Schriften l 97 Maximilian Conrad Annette Knaut Katrin Böttger [eds.] Bridging the Gap? Opportunities and Constraints of the European Citizens Initiative Nomos Europäische Schriften 97 The series

More information

Curriculum Vitae (22 June, 2013)

Curriculum Vitae (22 June, 2013) Curriculum Vitae (22 June, 2013) Name Office address Home address Charles Frederick Miller III Department of Mathematics and Statistics University of Melbourne Melbourne, Vic. 3010 Australia Department

More information

Jean-Louis Lassez Page 1 of 10 CURRICULUM VITAE

Jean-Louis Lassez Page 1 of 10 CURRICULUM VITAE Jean-Louis Lassez Page 1 of 10 CURRICULUM VITAE JEAN-LOUIS LASSEZ classez@gilanet.com ADDRESS: P.O. Box 407, Magdalena, New Mexico 87825-0407 PHONE: 505 854 2253 (home), 505 835 5396 (work) PERSONAL: Date

More information

Business of Design Week 2017 Made a Difference

Business of Design Week 2017 Made a Difference Business of Design Week 2017 Made a Difference (Hong Kong, 13 December 2017) The highly successful 2017 edition of Asia s leading international event on design, brands and innovation, Business of Design

More information

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

Lecture Notes in Computer Science 2664 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Lecture Notes in Computer Science 2664 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Michael Leuschel (Ed.) Logic Based Program

More information

IBM TRIRIGA Version 10 Release 5.2. Real Estate Transaction Management User Guide IBM

IBM TRIRIGA Version 10 Release 5.2. Real Estate Transaction Management User Guide IBM IBM TRIRIGA Version 10 Release 5.2 Real Estate Transaction Management User Guide IBM Note Before using this information and the product it supports, read the information in Notices on page 11. This edition

More information

Henry Muccini. Pisa, March , workshop on Architecture-based Testing: Moving Research into Practice

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

Past General Conferences

Past General Conferences Past General Conferences 2016 Milan, Italy 3-9 July 2016 Twenty-fourth General Conference Theme: Museums and Cultural Landscapes Videos Photos Final report 2013 Rio de Janeiro, Brazil 10-17 August 2013

More information

BIS Papers No 21. Real estate indicators and financial stability. Monetary and Economic Department

BIS Papers No 21. Real estate indicators and financial stability. Monetary and Economic Department BIS Papers No 21 Real estate indicators and financial stability Proceedings of a joint conference organised by the BIS and the IMF in Washington DC, 27 28 October 2003 Monetary and Economic Department

More information

Notice Imprint Harbin City Trace International Summer School. About Program. Faculty Members

Notice Imprint Harbin City Trace International Summer School. About Program. Faculty Members 2018 Imprint Harbin City Trace International Summer School About Program Notice The 3 rd Imprint Harbin City Trace International Summer School will run for 10 days during July 8 to 28 in 2018 organized

More information

Analogy in the architectural design process in the academic medium Analytical study of students projects

Analogy in the architectural design process in the academic medium Analytical study of students projects / / Analogy in the architectural design process in the academic medium Analytical study of students projects Imad M ALBakri Assistant Professor Bayda Hanna Saffo Assistant Lecturer Abstract The current

More information

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

Lecture Notes in Computer Science 1895 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Lecture Notes in Computer Science 1895 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Frédéric Cuppens Yves Deswarte

More information

MACMILLAN DICTIONARY OF MATERIALS AND MANUFACTURING

MACMILLAN DICTIONARY OF MATERIALS AND MANUFACTURING MACMILLAN DICTIONARY OF MATERIALS AND MANUFACTURING CONTRIBUTORS Stuart Hampshire, BSc(Tech), PhD, MICeram Ceramics and ceramics processing Barry Hull, BEng, MMet, PhD, CEng, MIM Polymers and polymer processing

More information

BRIDGE OVER TROUBLED WATER NEW PERSPECTIVES ON TEACHER INDUCTION

BRIDGE OVER TROUBLED WATER NEW PERSPECTIVES ON TEACHER INDUCTION BRIDGE OVER TROUBLED WATER NEW PERSPECTIVES ON TEACHER INDUCTION E D I T E D B Y HANNU L. T. HEIKKINEN LEJO SWACHTEN HAYATI AKYOL Bridge over Troubled Water - New Perspectives on Teacher Induction Edited

More information

NEW THEORIES IN GROWTH AND DEVELOPMENT

NEW THEORIES IN GROWTH AND DEVELOPMENT NEW THEORIES IN GROWTH AND DEVELOPMENT New Theories in Growth and Development Edited by Fabrizio Coricelli Dipartimento di Economia Politica Universitii di Siena Massimo di Matteo Dipartimento di Economia

More information

Acoustics 2012 Fremantle: Acoustics, Development and the Environment

Acoustics 2012 Fremantle: Acoustics, Development and the Environment Fremantle: Acoustics, Development and the Environment The 2012 conference of the Australian Acoustical Society will be held in Fremantle, Western Australia, from November 21 to 23, 2012. ACOUSTICS 2012

More information

Graphical Representation of Defeasible Logic Rules Using Digraphs

Graphical Representation of Defeasible Logic Rules Using Digraphs Graphical Representation of Defeasible Logic Rules Using Digraphs Efstratios Kontopoulos and Nick Bassiliades Department of Informatics, Aristotle University of Thessaloniki, GR-54124 Thessaloniki, Greece

More information

ACADEMIC QUALIFICATIONS:

ACADEMIC QUALIFICATIONS: Name: LAM KHEE POH (Dr) Present Appointment: Professor Contact Information: Provost s Chair Professor Department of Architecture School of Design and Environment National University of Singapore 4 Architecture

More information

Standard Letters for Building Contractors

Standard Letters for Building Contractors Standard for Building Contractors Other books by The JCT Intermediate Building Contracts 2005 Third Edition 978-1-4051-4049-2 The JCT Minor Works Building Contracts 2005 Fourth Edition 978-1-4051-5271-6

More information

Thomas Schroepfer. Professor, Co-Director <SUTD-JTC I3 Centre> and Founding. Associate Head of Pillar <ASD> Research Interests. . Telephone.

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

Harrassowitz Verlag. Wiesbaden

Harrassowitz Verlag. Wiesbaden ABHANDLUNGEN FÜR DIE KUNDE DES MORGENLANDES Im Auftrag der Deutschen Morgenländischen Gesellschaft herausgegeben von Florian C. Reiter Band 105 Board of Advisers: Christian Bauer (Berlin) Desmond Durkin-Meisterernst

More information

Due Diligence and the Business Transaction

Due Diligence and the Business Transaction Due Diligence and the Business Transaction Getting a Deal Done Jeffrey W. Berkman Due Diligence and the Business Transaction: Getting a Deal Done Copyright 2013 by Jeffrey W. Berkman This work is subject

More information

Lecture Notes in Artificial Intelligence

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

Studies in Epistemology, Logic, Methodology, and Philosophy of Science

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

Syntax of Landscape The Landscape Architecture of Peter Latz and Partners

Syntax of Landscape The Landscape Architecture of Peter Latz and Partners Syntax of Landscape The Landscape Architecture of Peter Latz and Partners Udo Weilacher Syntax of Landscape The Landscape Architecture of Peter Latz and Partners Birkhäuser Basel Boston Berlin Layout and

More information

10 th International SOEP User Conference 2012

10 th International SOEP User Conference 2012 2012 10 th International SOEP User Conference 2012 Berlin, June 28 to 29, 2012 The 10th international SOEP User Conference took place in Berlin on June 28-29, 2012. Over 160 participants from 10 countries

More information

CURRICULUM VITAE. Jan Kmenta

CURRICULUM VITAE. Jan Kmenta October 2012 CURRICULUM VITAE Jan Kmenta ADDRESS: Department of Economics The University of Michigan Ann Arbor, Michigan 48109 U.S.A. E-Mail: KmentaJan@aol.com EDUCATION AND DEGREES: Stanford University

More information

EXTREME ENGINEERING August 2019 Singapore. Invitation to Participate

EXTREME ENGINEERING August 2019 Singapore. Invitation to Participate 28-30 August 2019 Singapore EXTREME ENGINEERING Downtown Singapore, 2017 Invitation to Participate Supported by: Japan Prestressed Concrete Institute Burj Khalifa, 828m, Dubai, UAE Managed by: CI - Premier

More information