Re: Formal methods in undergraduate curriculum?

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