Advertisement

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
  15. Manuel Duque-Antón, Ralf Günther, Raschid Karabek, Thomas Meuser, Josef Wasel
    Pages 265-277
  16. Hee Jin Lim, Go Bong Choi
    Pages 278-290
  17. S. Biacchi, G. Ferrari, R. Gobbi
    Pages 291-305

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering