Talk:Formal specification

Merge with formal methods?
Shouldn't this article be merged with formal methods? Also, specification language covers a very similar topic. --Tillmo (talk) 22:03, 7 December 2007 (UTC)
 * No. Formal Methods is a specific development technology using formal proofs that suffers because computers (and software) do not conform to Peano's 7th axiom. I do agree that this article should be replaced with "Software Design Specification." Where a Software Requirements Specification defines what problem needs to be solved with software, including constraints, a Software Design Specification describes, in detail, how that problem will be solved. Softtest123 (talk) 02:59, 15 May 2012 (UTC)


 * Perhaps. Formal Methods is not a specific development technology using formal proofs (and Peano_axioms is a very odd reference to cite in this context).  Do not replace with "Software Design Specification".  A formal specification does not have to relate to a software design, but can also describe hardware, for example

Fairflow (talk) 20:59, 26 January 2014 (UTC)