Assessing UML/SysML Design Models
De som köpt den här boken har ofta också köpt Sound and Recording av Francis Rumsey (häftad).
Köp båda 2 för 2664 krFrom 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)
Architecture Frameworks, Model-Driven Architecture, and Simulation.- Unified Modeling Language.- Systems Modeling Language.- Verification, Validation, and Accreditation.- Automatic Approach for Synergistic Verification and Validation.- Software Engineering Metrics in the Context of Systems Engineering.- Verification and Validation of UML Behavioral Diagrams.- Probabilistic Model Checking of SysML Activity Diagrams.- Performance Analysis of Time-Constrained SysML Activity Diagrams.- Semantic Foundations of SysML Activity Diagrams.- Soundness of the Translation Algorithm.- Conclusion.