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

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

Defines standard
Visit also