This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models in the precise and simple form of Abstract State Machines (ASMs). The book introduces both the modeling method (Part I) and the available tool support (Part II): In Part I the authors detail (using numerous examples) how to construct, explain, debug, explore, extend and reuse accurate system design models, starting from scratch.
save
₹3,403.00
Modeling Companion for Software Practitioners
Only an elementary knowledge of common mathematical (including set-theoretic) notation and some basic experience with computational processes (systems, programs, algorithms) is assumed. Part II then shows how the modeling method can be supported by implementing tools that make design models executable and debuggable. To illustrate how to build, debug and maintain systems and to explain their construction in a checkable manner, a general, problem-oriented refinement method is adopted to construct system models from components.
₹2,674.00₹6,077.00
In stock
Related products
-
Inorganic Nanosheets and Nanosheet-Based Materials
₹8,778.00Understanding nanosheets from chemical, structural, and application aspects in relation to their “fully nanoscopic” characters will help materials scientists to develop novel advanced materials. This is the first book that accurately and concisely summarizes this field including exfoliation and intercalation chemistries of layered crystals. The book provides perspective on the materials chemistry of inorganic nanosheets. The first section describes fundamental aspects of nanosheets common to diverse applications: how unique structures and properties are obtained from nanosheets based on low dimensionality. The second section presents state-of-the-art descriptions of how the 2D nature of nanosheets is utilized in each application of the materials that are developed.
₹20,899.00 -
Essentials Statistics : Exploring the World through Data 2nd Ed
₹3,198.00We live in a data-driven world, and the goal of this text is to teach students how to access and analyse these data critically. Authors Rob Gould, Colleen Ryan, and Rebecca Wong want students to develop a ‘data habit of mind’ because learning statistics is an essential life skill that extends beyond the classroom. Regardless of their math backgrounds, students will learn how to think about data and how to reason using data. With a clear, unintimidating writing style and carefully chosen pedagogy, this text makes data analysis accessible to all students.
₹7,438.00 -
Threats: What Every Engineer Should Learn From Star Wars
₹1,599.0020-22 Business Day Shipping (Supply on Demand)
₹2,150.00 -
Chemical Sciences in Early Drug Discovery
₹3,733.00Reviews the key application of chemistry in drug discovery for both medicinal and non-medicinal chemists, clarifying and explaining the role of medicinal chemistry in supporting the modern drug discovery pipeline
Shows how a wider medicinal chemistry view is essential for anyone in an integrated drug discovery project looking to reduce costs and save time
Provides the critical success factors needed to successfully identify hits from both biological and chemical perspectives
₹6,950.00
Be the first to review “Modeling Companion for Software Practitioners”