"Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security.In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification ..."
"Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security.In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UM ..."
"International Society of Automotive Engineers Addouche N, Antoine C, Montmain
J (2004) UML models for dependability analysis of real-time systems. In:
Proceedings of the international conference on systems, man and cybernetics,
vol 6. IEEE Computer Society, Silver Spring, pp 5209–5214 Addouche N, Antoine
C, Montmain J (2006) Methodology for UML modeling and formal verification of
real-time systems. In: International Conference on C ..."
Infanzia Una Scommessa sul Destino della Nostra Societ?ï¿1/2 (Italian Edition) by Gabriella Mangiarotti Frugiuele , Simona Andrini Paperback, 116 Pages, Published 2006 by Lulu.Com ISBN-13: 978-1-4116-8657-1, ISBN: 1-4116-8657-8