| Title: | Formal Methods for Software Development |
| Notice: | Please introduce yourself in note 2 |
| Moderator: | COOKIE::WALLACE |
| Created: | Thu Jul 09 1992 |
| Last Modified: | Thu Jun 08 1995 |
| Last Successful Update: | Fri Jun 06 1997 |
| Number of topics: | 17 |
| Total number of notes: | 46 |
| Number with bodies: | 0 |
Click here for list of top noters for this conference
| Topic # | Replies | Author | Written | Subject |
|---|---|---|---|---|
| 1.0 | 1 | COOKIE::WALLACE | Thu Jul 09 1992 | Purpose of Conference |
| 2.0 | 9 | COOKIE::WALLACE | Fri Jul 10 1992 | Introductions |
| 3.0 | 1 | COOKIE::WALLACE | Thu Jul 09 1992 | VDM notation |
| 4.0 | COOKIE::WALLACE | Thu Jul 09 1992 | Z notation | |
| 5.0 | COOKIE::WALLACE | Fri Jul 10 1992 | HOL notation | |
| 6.0 | COOKIE::WALLACE | Thu Jul 09 1992 | LARCH Notation | |
| 7.0 | COOKIE::WALLACE | Thu Jul 09 1992 | Boyer-Moore Theorem Prover (NQTHM) | |
| 8.0 | 1 | COOKIE::WALLACE | Thu Jul 09 1992 | High Order Logic Theorem Prover |
| 9.0 | 2 | CDROM::HENDRICKS | Tue Aug 11 1992 | References? |
| 10.0 | 3 | COOKIE::WALLACE | Tue Aug 25 1992 | ASCII equivalents for Z symbols |
| 11.0 | COOKIE::WALLACE | Tue Aug 25 1992 | Temporal Logic of Actions (TLA) | |
| 12.0 | 10 | DSM::GOULD | Thu Oct 15 1992 | 91 problem? |
| 13.0 | COOKIE::WALLACE | Fri Nov 06 1992 | A conference on formal specificaiton | |
| 14.0 | MOVIES::HANCOCK | Thu Aug 26 1993 | Report available | |
| 15.0 | 1 | GBI | Tue Feb 08 1994 | Software Engineering Institute |
| 16.0 | STAR::PRAETORIUS | Wed Jun 29 1994 | Knowledge based software process automation at Kestrel | |
| 17.0 | 1 | IRNBRU::MENNIE | Mon Jan 16 1995 | Larch/C++ |