No products in the cart.
Use coupon code “MARCH20” for a 20% discount on all items! Valid until 31-03-2025
Royal Mail express delivery to UK destinations
Regular sales and promotions
Stock updates every 20 minutes!
We use cookies to help you navigate efficiently and perform certain functions. You will find detailed information about all cookies under each consent category below.
The cookies that are categorized as "Necessary" are stored on your browser as they are essential for enabling the basic functionalities of the site. ...
Necessary cookies are required to enable the basic features of this site, such as providing secure log-in or adjusting your consent preferences. These cookies do not store any personally identifiable data.
Functional cookies help perform certain functionalities like sharing the content of the website on social media platforms, collecting feedback, and other third-party features.
Analytical cookies are used to understand how visitors interact with the website. These cookies help provide information on metrics such as the number of visitors, bounce rate, traffic source, etc.
Performance cookies are used to understand and analyze the key performance indexes of the website which helps in delivering a better user experience for the visitors.
Advertisement cookies are used to provide visitors with customized advertisements based on the pages you visited previously and to analyze the effectiveness of the ad campaigns.
Use coupon code “MARCH20” for a 20% discount on all items! Valid until 31-03-2025
Royal Mail express delivery to UK destinations
Regular sales and promotions
Stock updates every 20 minutes!
Out of stock
£54.99
Buy new:
Delivery: UK delivery Only. Usually dispatched in 1-2 working days.
Shipping costs: All shipping costs calculated in the cart or during the checkout process.
Standard service (normally 2-3 working days): 48hr Tracked service.
Premium service (next working day): 24hr Tracked service – signature service included.
Royal mail: 24 & 48hr Tracked: Trackable items weighing up to 20kg are tracked to door and are inclusive of text and email with ‘Leave in Safe Place’ options, but are non-signature services. Examples of service expected: Standard 48hr service – if ordered before 3pm on Thursday then expected delivery would be on Saturday. If Premium 24hr service used, then expected delivery would be Friday.
Signature Service: This service is only available for tracked items.
Leave in Safe Place: This option is available at no additional charge for tracked services.
| Product ID: | 9783662566398 |
| Product Form: | Paperback / softback |
| Country of Manufacture: | DE |
| Title: | Modeling Companion for Software Practitioners |
| Authors: | Author: Alexander Raschke, Egon Borger |
| Page Count: | 349 |
| Subjects: | Business mathematics and systems, Business mathematics & systems, Software Engineering, Mathematical theory of computation, Software Engineering, Mathematical theory of computation |
| Description: | 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. 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. The method starts with abstract models and refines them step by step, incrementally adding further details that eventually lead to code. Intended for practitioners who build software intensive systems, and students specializing in software engineering, it can be used both for self-study and for teaching, and it can serve as a reference book. Exercises are included to help readers check their understanding of the explained concepts. For many models defined in the book, refinements to executable versions can be downloaded for experimental validation from the book’s website at http://modelingbook.informatik.uni-ulm.de 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. 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. The method starts with abstract models and refines them step by step, incrementally adding further details that eventually lead to code. Intended for practitioners who build software intensive systems, and students specializing in software engineering, it can be used both for self-study and for teaching, and it can serve as a reference book. Exercises are included to help readers check their understanding of the explained concepts. For many models defined in the book, refinements to executable versions can be downloaded for experimental validation from the book''s website at http://modelingbook.informatik.uni-ulm.de |
| Imprint Name: | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Publisher Name: | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Country of Publication: | GB |
| Publishing Date: | 2018-04-10 |
GoBookshop!
Proudly owned and operated by:
Raythex LTD
17-19 Saint Georges Street
NORWICH
NR3 1AB
Registered No. 15042401
We accept the following payment methods:
