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
| Weight | 1 kg |
|---|---|
| Dimensions | 23 × 15 × 2 cm |
| Book Author | Alexander Raschke, Egon Börger |
| Edition | 1st |
| Format | Paperback |
| ISBN | 9783662566398 |
| Language | English |
| Pages | 370 |
| Publication Year | |
| Publisher |
Customer Reviews
There are no reviews yet.
Related products
-
Microalgal Hydrogen Production
₹8,421.00Hydrogen could be the fuel of the future. Some microorganisms can produce hydrogen upon illumination. Biological methods of production could be greener than chemical or physical production methods, but the potential of biological methods is still being harnessed. This comprehensive book highlights the key steps necessary for future exploitation of solar-light-driven hydrogen production by microalgae.
₹19,583.00 -
Threats: What Every Engineer Should Learn From Star Wars
₹1,599.0020-22 Business Day Shipping (Supply on Demand)
₹2,150.00 -
NMR in Glycoscience and Glycotechnology
₹8,421.00NMR techniques although well established for structural analyses of proteins and nucleic acids, cannot be simply applied to this complex class of biomolecules. Nonetheless, recently developed NMR techniques for carbohydrates open the door to conformational studies of a variety of sugar chains of biological interest. NMR studies on glycans will have significant impact on the development of vaccines, adjuvants, therapeutics, biomarkers and on biomass regeneration.
₹19,583.00 -
NMR-based Metabolomics
₹7,950.00In the rapidly growing field of metabolomics, a comprehensive book describing the state of the art in the application of NMR spectroscopy will be a key title for practitioners. Providing a unique resource of background knowledge, resources, instrumental platforms and software, this book will introduce relevant theory to the researcher as well as serve as a practical guide detailing key experiments and data handling procedures. Information available on common sample types will be described together with reference to the latest web-based resources available
₹18,489.00
Be the first to review “Modeling Companion for Software Practitioners”