Re: Formal methods in undergraduate curriculum?

• To: horning@src.dec.com
• Subject: Re: Formal methods in undergraduate curriculum?
• From: jacob@latcs1.lat.oz.au
• Date: Thu, 29 Sep 1994 13:21:02 +1000
• Delivery-Date: Wed, 28 Sep 94 20:26:23 -0700

Thanks Jim, yes I would like to be added to your mailing list.
When it comes to the book, I may have to think about it very hard,
especially at the time when I looking for the position that pays
better then that I am currently filling in :-)

I have some good ideas for the book but I thought it would cover
a broader area of Software Engineering with a particular emphasis
on Requirements Engineering (to include formal methods of course).

Thanks for your help with Larch, and hopefully will hear from you
in the future...

Jacob

• Prev: Forwarded query: LARCH on a PC?
• Next: Re: Formal methods in undergraduate curriculum?
• Index: Larch archive index