For those of you who missed it, this is a good general article on formal
methods in the "Computing" trade newspaper's "Déjà Vu" series:
Richard Sharpe, Formal methods start to add up again, Computing, 8 January
2004. URL: http://www.computing.co.uk/features/1151896
I have added a link from the Virtual Library formal methods pages
"publications" section under http://vl.fmnet.info/pubs/ . By the way, for
anyone updating their web links the new and stable URL for the Virtual
Library formal methods pages is http://vl.fmnet.info/ under the FMnet
resources - www.fmnet.info . Since I own this domain, I hope it will remain
for the foreseeable future.
--
Prof Jonathan Bowen, Professor of Computing
Institute for Computing Research, London South Bank University
Faculty of BCIM, Borough Road, London SE1 0AA, UK
Email: [log in to unmask] URL: www.jpbowen.com
|