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
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! |
Provides definitions
Cover images
Introduction
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