FROM: Robert C. Leif, Ph.D.
Chair San Diego ACM SigAda
TO: Team-Ada
ANNOUNCEMENT: SAN DIEGO ACM SIGAda Tuesday, 21 September 1999 Meeting
Today's Date: 24 August 1999
SPEAKER: Frode L. Odegard
Chairman & CEO of Ødegård Labs, Inc. [http://www.odegard.com]
SUBJECT: "Fifty years of Formal Methods:
History, Results and the Future"
ABSTRACT:
In most organizations, software quality assurance centers almost entirely
around defect detection and repair. Of course, it has long been known that
defect prevention is a far more economical approach. Indeed, ever since the
days of Von Neumann and Turing, one line of investigation in computer
science has been the use of mathematical specification and proof as a means
to building more reliable software. This approach to software development
became known as "Formal Methods".
Formal Methods have now been around for fifty years, about as long as modern
computing machines. In this lecture Frode L. Odegard will give an overview
of how the field has evolved and describe results from the use of Formal
Methods on non-academic projects. He will also outline how Formal Methods
might impact mainstream software engineering in the not-too-distant future.
Keywords: Formal Methods, Software engineering, software reliability
Meeting Date: Tuesday, 21 September 1999
TIME: 6:30 PM Pizza ($5.00) and a chance to network and meet the experts.
Free Pizza to the first 3 individuals who can demonstrate a year 2000 bug in
real, pre-existing Ada code. At present I have never had to make good on
this offer. One problem was reported in special software for a client. It
took 15 minutes to fix.
Lecture starts promptly at 7:00 PM
DURATION: About 45 Minutes
PLACE: Aonix
----------------------------------------------------------------------------
Speaker Brief Biography:
Frode L. Ødegård is the founder of Ødegård Labs, Inc., a San Diego
research and consulting firm specializing in software reliability.
Frode founded Ødegård Labs, Inc. in 1991, after immigrating from
Norway. In 1987 he founded M2CS A/S, a company aiming to build a
LISP-inspired exploratory development environment for embedded
systems development in Modula-2. Frode is a member of IEEE, AOB,
ACM, ASL, and AFCEA. He is a co-founder of the San Diego Chapter of
the IEEE Reliability Society and Chairman of the San Diego Professional
Chapter of the ACM. Frode also a member of the ISO standards committees
for Modula-2 and VDM-SL. His research interests include software
reliability, software architecture, software reengineering, software
process improvement, formal methods and the design of programming
and formal specification languages.
----------------------------------------------------------
Please RSVP Robert C. Leif, by e-mail, if you wish to join the preprogram
pizza meal ($5.00 per person).
RSVP Tel. & Fax. Robert C. Leif (San Diego ACM SIGAda Chair) (619)
582-0437 (Voice and FAX), e-mail [log in to unmask] (Robert C. Leif, Ph.D.).
Please include the number of individuals desiring pizza, any special
requirements, your name, telephone number and/or e-mail number when
responding by telephone, Fax, or E-mail. Please Include the Words Pizza or
SigAda in the Subject line of your e-mail.
-------------------------------------------------------------------------
Directions:
Directions to Aonix:
1. Take 805 to Governor Drive exit.
2. From Governor Drive, make left at first light, to Greenwich Drive.
3. Take first right, to Shoreham Place.
4. Proceed to cul-de-sac - 5040 Shoreham Place.
5040 Shoreham Place San Diego, CA 92122
----------------------------------------------------------------------------
If you are not on this distribution and wish to receive these announcements,
please send your e-mail address to [log in to unmask]
----------------------------------------------------------------------------
Robert C. Leif, Ph.D., PMIAC,
Vice President & Research Director
Ada_Med, a Division of Newport Instruments
Tel. & Fax (619) 582-0437
[log in to unmask]