Formal Functional Specifications

Keywords formal functions specifications functions specification requirements specifications module specifications design specifications formal specifications
Standards groups

Formal Specifications Preconditions Postconditions Invariants
Writing out assertions amounts to spelling out the terms of the contract that binds a routine and its callers The precondition binds the caller The postcondition binds the routine

Document identifier
CS172 2005
Date published
Document type
Defines standard
Replaced/Superseded by document(s)
Cancelled by
Amended by
File MIME type Size (KB) Language Download
Presentation-FormalFuncSpecs.pdf application/pdf   15.23 KB English DOWNLOAD!
File attachments
Cover images

A requirements specification is an agreement between the end user and the system developer • A design specification is an agreement between the system architect (or designer) and the implementer • A module specification is an agreement between the programmers using the module and the programmers implementing the module

Visit also