Margaria

Broschiertes Buch

Services and Visualization: Towards User-Friendly Design

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

Mitarbeit: Margaria, Tiziana; Steffen, Bernhard; Rückert, Roland

Beschreibung

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. TOC: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 andInternet 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.

Autor

Bernhard Steffen studierte Mathematik an der Christian-Albrechts Universität zu Kiel, wo er anschließend auch in der Informatik promovierte. Nach Forschungsaufenthalten am Laboratory for Foundations in Computer Science in Edinburgh und an der Universität Aarhus, wurde er 1990 an die RWTH Aachen berufen, von wo er 1993 an die Universität Passau auf den Lehrstuhl für Programmiersysteme wechselte. Seit 1997 leitet er den Lehrstuhl für Programmiersysteme und Compilerbau an der TU-Dortmund. Bernhard Steffen ist Gründer der internationalen Konferenz über Tools and Algorithm for the Conbstruction and Analysis of Systems (TACAS) und des internationalen Journals über Software Tools for Technology Transfer (STTT).

Produktdetails

• Lecture Notes in Computer Science 1385
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 10632053, 978-3-540-64367-8
• 1998.
• Seitenzahl: 344
• Erscheinungstermin: 18. März 1998
• Englisch
• Abmessung: 235mm x 155mm x 19mm
• Gewicht: 444g
• ISBN-13: 9783540643678
• ISBN-10: 3540643672
• Artikelnr.: 09250577