Looks like an ideal opportunity for Ada missed. --hh >From: "H.T.G. 'Harold' Weffers" <[log in to unmask]> >To: [log in to unmask] >Subject: (SEWORLD) Symposium "Software Reliability: Challenge & Contradiction" >Date: Sun, 25 Oct 1998 16:16:10 +0100 >Sender: [log in to unmask] >Precedence: bulk > > >Announcement >=========== >November 6, 1998, the Software Technology program of the Stan >Ackermans Institute at the Eindhoven University of Technology is >celebrating its 10th anniversary with the symposium: > > "Software Reliability: Challenge & Contradiction." > >Software reliability is definitely no longer only an issue for industry >related to safety-critical software systems where an unreliable >system may cause death or disaster. It is becoming a more and >more important issue for mainstream industry related to high-volume >consumer electronics applications where the effects of unreliable >software may result in large numbers of claims and dissatisfied >customers. > >Below you can find a list of invited speakers, a program, and a list >of our industrial partners and sponsors. More information about the >symposium and about ways to register for this symposium can be >found at: > > http://wwwooti.win.tue.nl/uk/symposium/index.html. > >Sincerely yours, > >Harold Weffers > >------------------------------ >ir. H.T.G. Weffers MTD >Operational Manager SAI/Software Technology > > > > > > > > > > > > > >Invited Speakers >============ >prof. dr. M. Rem Eindhoven University of Technology > Rector Magnificus > Eindhoven, The Netherlands >prof. dr. J. van Lint Eindhoven University of Technology > Stan Ackermans Institute > Scientific Director > Eindhoven, The Netherlands >dr. M.F.H. Schuurmans Philips Research Laboratories > Managing Director > Eindhoven, The Netherlands >prof. dr. N.F. Schneidewind US Naval Postgraduate School > Monterey, CA, United States of >America >T. Gilb Result Planning Ltd. > Kolbotn, Norway >Mrs. P. Thevenod-Fosse CNRS (French National Center for >Scientific Research), > Laboratoire d'Analyse et >d'Architectures des Systemes > Research Director > Toulouse, France >dr. ir. J. Hooman Catholic University of Nijmegen > Computing Science Institute > Nijmegen, The Netherlands >dr. ir. C.W.A.M. van Overveld Coaching Creative Processes / > Eindhoven University of Technology > Eindhoven, The Netherlands >prof. dr. dipl. ing. D.K. Hammer Eindhoven University of >Technology > Stan Ackermans Institute > Software Technology > Managing Director > Eindhoven, The Netherlands > >Program >====== >08:30 Registration > ---------------- > >09:30 Opening > ----------- > dr. ir. C.W.A.M. van Overveld > prof. M. Rem > prof. dr. J. van Lint > >09:50 Software Quality Improvement: SPI versus Product Improvement > >--------------------------------------------------------------------------- >--------- > "Integration of Software Process and Product Measurement >and Models" > prof. N.F. Schneidewind > >10:35 Break > -------- > >10:45 Industrial Keynote > ----------------------- > dr. M.F.H. Schuurmans > >11:30 Break > -------- > >11:45 Software Correctness: Construction versus Testing > >------------------------------------------------------------------- > "How to Get Software Reliability through Systems Engineering: > Designing it in, rather than testing it in." > T. Gilb > >12:30 Lunch > -------- > >14:00 Interactive Session I > -------------------------- > "Crevaluation Protocol" > dr. ir. C.W.A.M. van Overveld > > Interactive Session II > --------------------------- > "Is This Program Correct?" > dr. ir. J. Hooman > >14:45 Break > -------- > >15:00 Formal Specification & Verification > --------------------------------------------- > "Application of Formal Methods" > dr. ir. J. Hooman > >15:45 Break > -------- > >16:00 Test Methodology > ----------------------- > "Statistical Testing Designed from Software Structural and >Functional Models" > Mrs. P. Thevenod-Fosse > >16:45 Break > -------- > >17:00 Summary > ------------- > dr. ir. C.W.A.M. van Overveld > >17:15 Closing > ---------- > prof. dr. dipl. ing. D.K. Hammer > >17:30-19:00 Aperitif > -------- > >Industrial Partners and Sponsors >======================== >Organizing an event like a symposium is not possible without substantial >support from industrial partners and sponsors. The SAI/Software Technology >program is very pleased that it found Philips TASS willing to be their main >industrial partner for this symposium. > >We are also very pleased that the following companies have been willing >to sponsor our event: Panfox, Oce, Alert Automation Services, ASML, Philips >Digital Video Systems, KPN Research, CMG, and High Tech Automation. > >During the symposium, these companies will present themselves and their >software (reliability) activities at a number of information stands near the >lecture hall in which the symposim will be held. > > >=========================================================================== >To contribute to seworld, send your message to [log in to unmask] > >http://www.cs.colorado.edu/serl/seworld provides more information on >seworld as well as a complete archive of the messages sent to seworld. > >Requests to be added to or removed from seworld should go to >[log in to unmask] > > to subscribe send (in the body of the message) > subscribe seworld <desired e-mail address> > > to unsubscribe send (in the body of the message) > unsubscribe seworld <registered e-mail address> >=========================================================================== >