00000cmm a22000003i 4500 UP-99796217612476991 Buklod 20230215105418.0 m |o d | ta 111221s2011 enk f u eng d 9781849194884 (e-ISBN) (iLib)UPD-00263009399 UkSgIET DENGII rda eng QA 76.9 S88 H65 2012eb Holt, Jon author. Model-based requirements engineering Jon Holt, Simon A. Perry and Mike Brownsword. London, United Kingdom The Institution of Engineering and Technology 2012. 1 online resource. text rdacontent computer rdamedia online resource rdacarrier IP based subscription, on campus and remote access. Access via Electronic Resources of the UPD Engineering Library and University Library websites. 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 meaning by putting it into the correct context. A requirement that has been put into a context is known as a 'use case' and may be based upon either stakeholders or levels of hierarchy in a system. Each use case must then be analysed and validated by defining a combination of scenarios and formal mathematical and logic based proofs that provide the rigour required for safety-critical and mission-critical systems. The book also looks at the crucial question of modelling notations for requirements modelling and includes discussions on the use and application of sysML, text and tabular formats. Pragmatics issues, such as tailoring the approach for short, non-critical projects to massive, mission-critical projects is discussed to show how the techniques introduced in the book can be applied on real life projects and systems. The use of multiple tools can be discussed, along with examples of how an effective process can lead to realisation by any tool. Electronic reproduction. Stevenage, UK IET 2011. Available via World Wide Web through IET Digital Library. Computer software Development. Computer software Reliability. Computer software Verification. Automatic theorem proving. Logic. System analysis. System safety. Electronic books. Perry, Simon A. author. Brownsword, Mike author. Electronic Resource http://dx.doi.org/10.1049/PBPC009E Available for University of the Philippines Diliman via IET Digital Library. Click here to access https://digital-library-theiet-org.ezproxy.engglib.upd.edu.ph/content/books/pc/pbpc009e Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy (viewed 19 February 2019) FO UPD DENG-II Electronic Resource