Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models

Mourad Debbabi,Fawzi Hassaà ne,Yosr Jarraya

ISBN 10: 3642152279 / ISBN 13: 9783642152276

Edité par Springer 18 N, 2010

A propos de cet article

Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .

N° de réf. du vendeur 7719-9783642152276

Détails bibliographiques

• Titre: Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
• Éditeur: Springer 18 N
• Date de parution: 2010
• Langue: anglais
• ISBN à 10 chiffres: 3642152279
• ISBN à 13 chiffres: 9783642152276
• Reliure: Hardcover
• État de l'article: Very Good

A propos de ce titre

Synopsis

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 most of the cases thanks to its quality to price ratio for a given set of features. Accordingly, a number of critical aspects have to be considered, such as the ab- ity to pack as many features as needed in a given product or service while c- currently maintaining high quality, reasonable price, and short time -to- market.