Requirements specification using concrete scenarios

The precision of formal specifications allows us to prove program correctness. Even if formal methods are not used throughout the software project, formalisation improves our understanding of the problem. Formal specifications are amenable to automated analysis and consistency checking. However usin...

Full description

Bibliographic Details

Main Author:	Oliver T.S. Au
Format:	Default Thesis
Published:	2009
Subjects:	Other information and computing sciences not elsewhere classified Concrete scenarios Formal methods Software specifications Requirements elicitation Software maintenance Nondeterminism Scenario expansion Specification refinement Information and Computing Sciences not elsewhere classified
Online Access:	https://hdl.handle.net/2134/6642
Tags:	Add Tag No Tags, Be the first to tag this record!