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...

Descrición completa

Detalles Bibliográficos
Main Authors:	Holt, Jon (Author), Perry, Simon A. (Author), Brownsword, Mike (Author)
Formato:	Electronic Resource
Idioma:	inglés
Publicado:	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.
Acceso en liña:	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