| Wednesday |
| 8.30 - 8.45 Welcome |
|
8.45 - 10.00 Keynote Chair: David
Notkin
Keynote by Michael Jackson, Independent Consultant, London,
England AT&T Research Laboratories, Florham Park, NJ, USA:
"Where, Exactly, Is Software Engineering?"
ACM SIGSOFT Outstanding Research Award Presentation
|
|
| 10.00 - 10.30 Break |
| 10.30 - 12.30 Architecture (Chair: David
Rosenblum) |
| André van der Hoek (Univ. of California, Irvine), Marija
Rakic, Roshanak Roshandel, Nenad Medvidovic (Univ. of Southern California):
Taming Architectural Evolution |
| Yoshitomi Morisawa (Nihon Unisys), Koji Torii (Nara Inst.):
An Architectural Style of Product Lines for Distributed Processing
Systems, and Practical Selection Method |
| Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro
(Univ. de Lisboa): A Graph Based Architectural (Re)configuration Language |
| Timothy J. Sliski, Matthew P. Billmers, Lori A. Clarke,
Leon J. Osterweil (Univ. of Massachusetts, Amherst): An Architecture
for Flexible, Evolvable Process-Driven User-Guidance Environments |
| 12.30 - 13.30 Break |
| 13.30 - 14.30 Distributed Systems (Chair:
Mehdi Jazayeri) |
| Nima Kaveh, Wolfgang Emmerich (Univ. College London): Deadlock
Detection in Distributed Object Systems |
| Ramesh Jagannathan, Paolo A.G. Sivilotti (The Ohio State Univ.):
Increasing Client-Side Confidence in Remote Component Implementations |
|
| 14.30 - 15.00 Break |
| 15.00 - 16.30 Specification (Chair: Gerti
Kappel) |
| Daniel Jackson,Ilya Shlyakhter,
Manu Sridharan (MIT): A Micromodularity
Mechanism |
| Sebastian Uchitel, Jeff Kramer
and Jeff Magee (Imperial College):
Detecting Implied Scenarios in Message Sequence Chart Specifications |
| Peter Wendorff (ASSET GmbH):
A Formal Approach to the Assessment and Improvement of Terminological
Models Used in Information Systems Engineering |
|
| 16.30 - 17.15 Chair: Volker
Gruhn |
| Vincenzo Ambriola (Università
di Pisa, Dipartimento di Informatica): Report from European Workshop
on Software Process Technology" |
|
|