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

Volledige beschrijving

Bibliografische gegevens

Hoofdauteurs:	Holt, Jon (Auteur), Perry, Simon A. (Auteur), Brownsword, Mike (Auteur)
Formaat:	Electronic Resource
Taal:	English
Gepubliceerd in:	London, United Kingdom The Institution of Engineering and Technology 2012.
Onderwerpen:	Computer software > Development. Computer software > Reliability. Computer software > Verification. Automatic theorem proving. Logic. System analysis. System safety. Electronic books.
Online toegang:	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