Services and Visualization Towards User-Friendly Design

ACoS'98, VISUAL'98, AIN'97 Selected Papers

  • Editors
  • Tiziana Margaria
  • Bernhard Steffen
  • Roland Rückert
  • Joachim Posegga
Conference proceedings

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1385)

Table of contents

  1. Front Matter
  2. Alain Lardenois
    Pages 1-7
  3. Siegfried Handschuh, Ulrike Lechner, David-Michael Lincke, Beat Schmid, Petra Schubert, Dorian Selz et al.
    Pages 29-43
  4. Robert Hess, Dagmar Geske, Sascha Kuemmel, Henrik Thuermer
    Pages 44-60
  5. André Hergenhan, Christoph Weiler, Karlheinz Weiß, Wolfgang Rosenstiel
    Pages 75-89
  6. P. Florschütz
    Pages 117-127
  7. Sahin Albayrak, Jens Meinköhn
    Pages 128-141
  8. M. B. özcan, P. W. Parry, I. C. Morrey, J. I. Siddiqi
    Pages 142-157
  9. Carla Capellmann, SØren Christensen, Uwe Herzog
    Pages 174-189
  10. Tiziana Margaria, Volker Braun
    Pages 190-207
  11. Rainer Schlör, Bernhard Josko, Dieter Werth
    Pages 208-221
  12. Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo
    Pages 222-237
  13. Jeomja Kang, Jeonghun Choi, Sehyeong Cho
    Pages 238-249
  14. L. Orozco-Barbosa, D. Makrakis, N. D. Georganas
    Pages 250-264

About these proceedings

Introduction

This book comprises a strictly refereed selection of papers presented at three international workshops on advanced communication services (ACoS'98), visualization issues for formal methods (VISUAL'98), and advanced intelligent networks (AIN'97). The 20 revised full papers included in the book together with three invited presentations are centered around the user-friendly design of software systems and services, in particular telecommunication and Internet services, and visualization support for the design and administration of such systems. Among the topics addressed are telecommunication services, multimedia networking, user interfaces, intelligent networking protocols, formal specification and verification, visual formalisms, mobile computing, intelligent agents, and Java.

Keywords

ATM Internet Java Switching communication design knowledge management multimedia online peripheral switch testing validation verification visualization

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0053491
  • Copyright Information Springer-Verlag 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64367-8
  • Online ISBN 978-3-540-69760-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book