Category talk:Formal methods

I'm making the specification languages category a subcategory of this, rather than the other way around as it was. If someone has a good reason to switch it back feel free to explain and do so. Thanks. Leland McInnes 06:07, 11 December 2005 (UTC);;;;;;;;;;;;;;;;;;;;;;

A lot of articles are wrongly categorized in this cat
Formal methods has much narrower meaning than the name alone would suggest. See also the ACM classification where formal methods are a mere level-4 leaf in D.2.4 Software/Program Verification. On this wiki anything remotely formal, like lambda calculus is categorized that way. Pcap ping  14:25, 23 August 2009 (UTC)