Logged out
Access All our Essays in an Instant
Swap your work for FREE access, or pay £4.99 for instant access
The concept of formal specification
Member rating: No Rating | Words: | Submitted: Tue Jan 18 2005
Page Preview
On the left is an image preview of every page of this document, and below are the first 150 words with formatting removed:
The concept of formal specification A specification must describe what must be done, and not how to do it. A formal specification is a specification written in a formal SL, i.e. a language that uses mathematical notations. An informal specification is a S written in a natural language, which is often ambiguous. A FS has four components: name, vocabulary, syntax, and semantics. Good specifications must have the following characteristics: formality, extensibility, comprehensability, constructability, testability, minimality, and wide range of applicability. Extensibility means the possibility to easy modify the specification during the maintanance of the product; small changes in the requirements must result in small changes in specification. Comprehensability means the possibility to reconstruct the meaning of the specified thing Constructability is the possibility to construct a specification without much difficulty. Minimality means to describe the important properties and to ignore the irelevant details. Types of specifications 1. Approaches: - model-based; - property based. 2. Types - Using a Fixed Discipline (a Mathematical...
Get instant access
- Instant, unlimited access to our documents in full
- Swap your work for free access, or pay £4.99
- To see the full version of this document and 147,261 others
Receive email updates for this category
- Simply tell us your email address and receive a weekly Study Help Email for FREE
- Receive 3 FREE essay views with each email
- Get all the latest essays from Coursework.Info & discussion from TheStudentRoom.co.uk
