Category talk:Formal methods
Appearance
![]() | This category does not require a rating on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||||||||||||||||||||||
|
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
[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)
Categories:
- Category-Class mathematics articles
- NA-priority mathematics articles
- Category-Class Computer science articles
- NA-importance Computer science articles
- WikiProject Computer science articles
- Category-Class Philosophy articles
- NA-importance Philosophy articles
- Category-Class epistemology articles
- NA-importance epistemology articles
- Epistemology task force articles
- Category-Class logic articles
- NA-importance logic articles
- Logic task force articles