Model-based requirements engineering

This book provides a hands-on introduction to model based requirement engineering and management by describing a set of views that form the basis for the approach. These views take into account each individual requirement in terms of its description, but then also provide each requirement with the m...

Full description

Bibliographic Details

Main Authors:	Holt, Jon (Author), Perry, Simon A. (Author), Brownsword, Mike (Author)
Format:	Electronic Resource
Language:	English
Published:	London, United Kingdom The Institution of Engineering and Technology 2012.
Subjects:	Computer software > Development. Computer software > Reliability. Computer software > Verification. Automatic theorem proving. Logic. System analysis. System safety. Electronic books.
Online Access:	Available for University of the Philippines Diliman via IET Digital Library. Click here to access Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy