A formal methodology for the specification and analysis of imprecise requirements /

Requirement analysis is one of most crucial tasks in the development of the software systems. However, it presents two major challenges: (1) requirements are usually conflicting with each other, and (2) requirements are often imprecise. Existing formal methods for requirement engineering are limit...

Full description

Bibliographic Details

Main Author:	Liu, Xiaoqing
Format:	Thesis Book
Language:	English
Published:	[Place of publication not identified] : [publisher not identified] ; 1995.
Subjects:	Major computer science.
Online Access:	http://proxy.library.tamu.edu/login?url=http://proquest.umi.com/pqdweb?did=742536241&sid=1&Fmt=2&clientId=2945&RQT=309&VName=PQD