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.42 GBP
Availability: InStock

Information Management

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 78 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £50 (53 days, 67.9%)

Price range: £46 - £50

Price levels: 2 different prices over 78 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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Modeling in Event-B: System and Software Engineering

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

Executable UML: A Foundation for Model-Driven Architecture

Software Patterns, Knowledge Maps, and Domain Analysis

Relating Software Requirements and Architectures

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... (Lecture Notes in Computer Science, 3308)

Software Patterns, Knowledge Maps, and Domain Analysis

Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies

Concise Guide to Software Engineering: From Fundamentals to Application Methods (Undergraduate Topics in Computer Science)

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

Business Modeling and Software Design: 5th International Symposium, BMSD 2015, Milan, Italy, July 6–8, 2015, Revised Selected Papers: 257 (Lecture Notes in Business Information Processing, 257)

System Design Automation: Fundamentals, Principles, Methods, Examples

Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))

Formal Methods for Discrete-Time Dynamical Systems: 89 (Studies in Systems, Decision and Control, 89)

Software Modeling and Design: UML, Use Cases, Patterns, and Software Architectures

Proceedings of 6th International Conference in Software Engineering for Defence Applications: SEDA 2018: 925 (Advances in Intelligent Systems and Computing, 925)

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)

Complex System Modelling and Control Through Intelligent Soft Computations: 319 (Studies in Fuzziness and Soft Computing, 319)

The Real and Virtual Worlds of Spatial Planning

Object-Oriented Analysis and Design with Applications (Addison-Wesley Object Technology Series)

System Design Automation: Fundamentals, Principles, Methods, Examples

Process-Driven SOA: Patterns for Aligning Business and IT (Infosys Press Infosys Press Infosys Press)

Agents and Multi-Agent Systems: Technologies and Applications 2020: 14th KES International Conference, KES-AMSTA 2020, June 2020 Proceedings: 186 (Smart Innovation, Systems and Technologies, 186)

Context-Aware Computing and Self-Managing Systems: 3 (Chapman & Hall/CRC Studies in Informatics)