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

Metadata
Document identifier
CS172 2005
Date published
2005
Document type
presentation
Pages
4
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
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

Visit also