Tutorial 6B
other tutorials
Formal Methods for Broadband and Multimedia Systems
Stefan Fischer, Stefan Leue
Formal methods have been applied successfully to specify "traditional" communication protocols, services, and network applications. With high-speed networks, new distributed applications impose requirements on the communication subsystem that are different from those on traditional systems. To meet application-level performance requirements, highly efficient techniques to implement communication software have been developed. Formal description techniques (in particular, SDL and Estelle) can be used for the requirements specification, design, and implementation stages in the life-cycle of broadband communication systems.Stefan Fischer is a graduate of the University of Mannheim. Formerly a research assistant at the Institute of Applied Computer Science (Department for Computer Networks) of the University of Mannheim, he is a postdoctoral fellow at the University of Montreal, Canada.
Stefan Leue received his Master's Degree in Computer Science from the University of Hamburg in 1990, and his Ph.D. degree from the University of Berne. Formerly a research associate and doctoral candidate at the University of Berne, he is an Assistant Professor at the University of Waterloo.
<icse-97-webmaster@ics.uci.edu>
1997 International Conference on Software Engineering Last modified: 10 May 1997