by Bernhard Steffen (Author), Bernhard Steffen (Author), Tiziana Margaria (Author), Joachim Posegga (Author), Roland R¿¿ckert (Author)
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.
Format: Paperback
Pages: 344
Edition: 1998
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540643672
ISBN 13: 9783540643678
Book Overview: Springer Book Archives