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

Verification and Validation in Systems Engineering

Assessing UML/SysML Design Models

By: Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya

Paperback | 3 November 2010

At a Glance

Paperback


$197.38

or 4 interest-free payments of $49.34 with

 or 

Aims to ship in 7 to 10 business days

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

From the reviews:

"The five authors of this book tackle a very difficult subject, and must be commended for doing so. The result is a welcome addition to the body of professional literature. ... It is a highly technical ... book on one of the most critical subjects that we have, as professionals. ... The book is exceedingly well illustrated. ... a professional involved in systems engineering, and particularly in systems quality, verification, systems verification, or other related activities, would find this book useful." (Mordechai Ben-Menachem, ACM Computing Reviews, May, 2011)

Other Editions and Formats

Hardcover

Published: 18th November 2010

More in Systems Analysis & Design

Systems Analysis and Design : 8th Edition - Alan Dennis

RRP $263.95

$220.75

16%
OFF
Systems Analysis and Design : 12th edition - Harry J. Rosenblatt

RRP $169.95

$137.95

19%
OFF
Business Driven Technology ISE : 10th Edition - Paige Baltzan

RRP $159.95

$122.95

23%
OFF
Command-Line Rust : A Project-Based Primer for Writing Rust CLIs - Ken Youens Clark
Linux Pocket Guide : 4th Edition - Essential Commands - Daniel J. Barrett
Building Evolutionary Architectures : Automated Software Governance - Neal Ford
A Common-Sense Guide to Data Structures and Algorithms, 2e - Jay Wengrow
LDAP System Administration : O'Reilly Ser. - Gerald Carter

RRP $75.95

$35.75

53%
OFF
Systems Analysis and Design, Global Edition : 10th edition - Kenneth Kendall
M: Information Systems : 6th Edition - Paige Baltzan

RRP $159.95

$126.75

21%
OFF