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 beskrivning

Bibliografiska uppgifter

Huvudupphovsmän:	Holt, Jon (Författare, medförfattare), Perry, Simon A. (Författare, medförfattare), Brownsword, Mike (Författare, medförfattare)
Materialtyp:	Electronic Resource
Språk:	English
Publicerad:	London, United Kingdom The Institution of Engineering and Technology 2012.
Ämnen:	Computer software > Development. Computer software > Reliability. Computer software > Verification. Automatic theorem proving. Logic. System analysis. System safety. Electronic books.
Länkar:	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