Bücher von Dorina Corina Petriu

This book presents cutting-edge model-driven techniques for modeling and analysis of software dependability. It details the state of the art on UML profile proposals for dependability specification and rigorously describes the trade-off they accomplish.