Modeling Companion for Software Practitioners - Image 1

£46.83

Springer Modeling Companion for Software Practitioners

Name: Modeling Companion for Software Practitioners
Brand: Springer
Price: 46.83 GBP
Availability: InStock

Information Management

It has never been this cheap. We have no record of a lower price.

£47 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 31 days • 31 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 31 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £50 (30 days, 96.8%)

Price range: £47 - £50

Price levels: 2 different prices over 31 days

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

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3662566397
Category: Books > Subjects > Business, Finance & Law > Management > Information Management
Domain: Amazon UK
Release Date: 10 April 2018
Listed Since: 31 January 2018

Barcode

No barcode data available

Springer Modeling Companion for Software Practitioners

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Modeling Software with Finite State Machines: A Practical Approach

Understanding Modelling and Programming

Springer - Formal Methods and Models for System Design Book

Real-Time Embedded Systems (Quantitative Software Engineering Series)

Modeling Software with Finite State Machines: A Practical Approach

Metamodelling for Software Engineering

Enterprise, Business-Process and Information Systems Modeling: 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, ... in Business Information Processing, 352)

Formal Methods in Computer Science (Textbooks in Mathematics)

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

How to Engineer Software: A Model-Based Approach

Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)

Business Standard Compliance and Requirements Validation Using Goal Models (Services and Business Process Reengineering)

Model Based Systems Engineering: Theoretical Foundations

Understanding Concurrent Systems (Texts in Computer Science)

Stable Design Patterns for Software and Systems

Developing Information Systems Accurately: A Wholistic Approach

Real-Time Systems Design and Analysis: Tools for the Practitioner

Springer - Specification and Verification of Multi-agent Systems

Feature-Oriented Software Product Lines: Concepts and Implementation

Executable UML: A Foundation for Model-Driven Architecture

Guide to Modeling and Simulation of Systems of Systems (Simulation Foundations, Methods and Applications)

Software Patterns, Knowledge Maps, and Domain Analysis

From Action Systems to Distributed Systems: The Refinement Approach (Chapman & Hall/Crc Computational Science)

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)