Product Description: At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain...read more

Product Description: Master modeling and simulation using Modelica, the new powerful, highly versatile object-based modeling language Modelica, the new object-based software/hardware modeling language that is quickly gaining popularity around the world, offers an almost universal approach to high-level computational modeling and simulation...read more

Product Description: Systems engineering is the design of a complex interconnection of many elements (a system) to maximize a specific measure of system performance. It consists of two parts: modeling, in which each element of the system and its performance criteria are described; and optimization in which adjustable elements are tailored to allow peak performance...read more

Product Description: Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach...read more

Product Description: The only book to present the synergy between modeling and simulation, systems engineering, and agent technologies expands the notion of agent-based simulation to also deal with agent simulation and agent-supported simulation. Accessible to both practitioners and managers, it systematically addresses designing and building agent systems from a systems engineering perspective...read more

Product Description: Not only do modeling and simulation help provide a better understanding of how real-world systems function, they also enable us to predict system behavior before a system is actually built and analyze systems accurately under varying operating conditions...read more

Product Description: SDL (Specification and Description Language) is a modern, high-level programming language intended for the description of complex, event-driven, real-time and communicating systems. SDL was originally designed to describe performance-critical, real-time systems with precision and accuracy, and, if used correctly, it can significantly enhance the performance of system designs...read more (view table of contents, read Amazon.com's description)

Product Description: CCITT (now ITU-T) Specification and Description Language (SDL) and systems engineering (formal and informal) in SDL are considered in this publication. The latest version of the language, SDL-92 [ITU Z.100 SDL-92] is introduced. The book has been written for existing and potential users of SDL - technologists involved in the specification and engineering of systems...read more

Product Description: Prominent in industry and academia, a multinational panel presents insights and advice from the experience of practicing engineers. Examines the scope of systems engineering, its methodology and analyzes important issues including quality assurance and project management...read more (view table of contents, read Amazon.com's description)