From: Jonathan Aldrich (jonal@cs.washington.edu)
Date: Thu Feb 06 2003 - 17:39:18 PST
Clemens Szyperski will be visiting from Microsoft on February 18, and
giving a talk on component correctness and testing at 1:30 in 590n.
Clemens has done a lot of research in the area of component-based software
engineering, and has written one of the most significant books in the
area.
I'm giving the 590n and cecil groups first shot at Clemens' schedule.
Sign up for a meeting slot at:
http://reserve.cs.washington.edu/visitor/week.php?year=2003&month=02&day=18&room=336a
The talk title and abstract are below.
Thanks,
Jonathan
TALK:
Correctness in a World of Components
Constructing software out of components has is appealing
points. It also leads to many problems that are sometimes
new in kind, but more commonly new in scale. The recent
trend towards software services adds to the complexity and,
frankly, confusion. In this talk I'll aim to structure the
space of components, services, and some of their unique
correctness and testing characteristics. I'll also go into
some detail as to how we use AsmL for purposes of specification
and testing. A brief AsmL demo is included - courtesy of the
Foundations of Software Engineering team in Microsoft Research.
BIO:
After years of both academic and entrepreneurial experience,
Clemens Szyperski has joined Microsoft Research in Redmond,
Washington in early 1999, where he works on furthering the
principles, technologies, and methods supporting component
software. He is the author of the Jolt-award-winning book
"Component Software: Beyond Object-Oriented Pogramming"
(Addison Wesley), now in its second edition, a co-author
of the upcoming book "Software Ecosystem: Understanding an
Indispensable Industry and Technology" (MIT Press, 2003),
and author of numerous other publications. He has served on
program committees for major international conferences,
including ECOOP, ICSE, and OOPSLA, as a reviewer for
domestic and international funding bodies, and he is a
frequent speaker at events of both academic and industrial
nature.
Clemens received his Masters in Electrical Engineering in 1987
from the Aachen Institute of Technology, in Germany.
He received his PhD in Computer Science in 1992 from ETH Zurich
under the guidance of Niklaus Wirth. After a postdoctoral
fellowship at the International Computer Science Institute at
UC Berkeley, he was tenured as associate professor at the
Queensland University of Technology, Australia, where he continues
to hold an adjunct professorship. He is a cofounder of
Oberon microsystems, Inc., Zurich, with its recent spinoff,
esmertec inc, also Zurich.
Clemens' homepage is at: www.research.microsoft.com/~cszypers/
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://mailman.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2.1.5 : Thu Feb 06 2003 - 17:39:24 PST