TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
"Robert C. Leif, Ph.D." <[log in to unmask]>
Wed, 25 Aug 1999 20:34:27 -0700
text/plain (91 lines)
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. []

SUBJECT: "Fifty years of Formal Methods:
         History, Results and the Future"

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 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]