Welcome to our new site version. Your web page bookmarks may have changed, please search for pages by title to update them. Having problems ? Please try clearing your web browser cache and hard-reloading your web page first before contacting our webmaster.

Formal Functional Specifications

[document] Submitted on 5 June, 2019 - 10:05
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