Program specification

From Simple English Wikipedia, the free encyclopedia

In computer science, a program specification is the definition of what a computer program is expected to do. It can be informal, in which case it can be considered as a blueprint or user manual from a developer point of view, or formal, in which case it has a definite meaning defined in mathematical or programmatic terms. In practice, most successful specifications are written to understand and fine-tune applications that were already well-developed, although safety-critical software systems are often carefully specified prior to application development. Specifications are most important for external interfaces that must remain stable.[1]

Overview[change | change source]

In systems engineering a specification is a document that clearly and accurately describes the essential technical requirements for items, materials, or services including the procedures by which it can be determined that the requirements have been met. Specifications help avoid duplication and inconsistencies, allow for accurate estimates of necessary work and resources, act as a negotiation and reference document for engineering changes, provide documentation of configuration, and allow for consistent communication among those responsible for the eight primary functions of Systems Engineering. They provide a precise idea of the problem to be solved so that they can efficiently design the system and estimate the cost of design alternatives. They provide guidance to testers for verification (qualification) of each technical requirement.[2]


References[change | change source]

  1. Meertens, Lambert; Meertens, L. G. L. T.; Committee 2--Programming, IFIP Technical; Algol, IFIP Working Group 2 1 on (1987). Program Specification and Transformation: Proceedings of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 April 1986. North-Holland. ISBN 978-0-444-70223-4.{{cite book}}: CS1 maint: numeric names: authors list (link)
  2. Möller, Bernhard (1991). Constructing Programs from Specifications: Proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991. North-Holland. ISBN 978-0-444-89184-6.