| 書(shū)目名稱 | Verification and Validation in Systems Engineering | | 副標(biāo)題 | Assessing UML/SysML | | 編輯 | Mourad Debbabi,Fawzi Hassa?ne,Luay Alawneh | | 視頻video | http://file.papertrans.cn/982/981701/981701.mp4 | | 概述 | Broad and comprehensive overview of software verification and validation techniques.Close integration with the UML standard.Theoretical presentation complemented by numerous case studies.Includes supp | | 圖書(shū)封面 |  | | 描述 | At the dawn of the 21st century and the information age, communication and c- puting power are becoming ever increasingly available, virtually pervading almost every aspect of modern socio-economical interactions. Consequently, the potential for realizing a signi?cantly greater number of technology-mediated activities has emerged. Indeed, many of our modern activity ?elds are heavily dependant upon various underlying systems and software-intensive platforms. Such technologies are commonly used in everyday activities such as commuting, traf?c control and m- agement, mobile computing, navigation, mobile communication. Thus, the correct function of the forenamed computing systems becomes a major concern. This is all the more important since, in spite of the numerous updates, patches and ?rmware revisions being constantly issued, newly discovered logical bugs in a wide range of modern software platforms (e. g. , operating systems) and software-intensive systems (e. g. , embedded systems) are just as frequently being reported. In addition, many of today’s products and services are presently being deployed in a highly competitive environment wherein a product or service is succeeding in | | 出版日期 | Book 2010 | | 關(guān)鍵詞 | Model Checking; Performance; Performance Analysis; Program Analysis; Software Engineering; Software Metri | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-15228-3 | | isbn_softcover | 978-3-642-42316-1 | | isbn_ebook | 978-3-642-15228-3 | | copyright | Springer-Verlag Berlin Heidelberg 2010 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 19:16
發(fā)表于 2025-3-21 19:18:15
