Jump to content

Category talk:Formal methods

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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);;;;;;;;;;;;;;;;;;;;;;[reply]

A lot of articles are wrongly categorized in this cat

[edit]

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)[reply]