Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Modeling Companion for Software Practitioners

Modeling Companion for Software Practitioners

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783662566398
Condition
New
Product 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 books website at http://modelingbook.informatik.uni-ulm.de.

Available Colors
Available Sizes
1 Offer Price Range: $54.99 - $54.99
BEST PRICE

Single Product Purchase

$49.50
@ Link.springer.com with extra coupon Get Coupon & BUY

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$54.99 $54.99

10% OFF
This deals requires coupon Get Code Here
$49.50
See Site In stock Visit Store

Similar Products

Intelligent Computing Theories and Application

$129.99

Medical Laser Endoscopy

$39.99

Food Resistance Movements

$49.99

Communication Technologies for Vehicles

$54.99

Manual of Clinical Nephrology of the Rogosin Kidney Center

$189.00

The Unified Learning Model

$129.99

Brexit und der Finanzmarkt

$17.99

Letters to Florence Lamont

$44.99

UX for XR

$37.99

Organisation der Verkaufsfrderung bei Konsumgterherstellern

$69.99

I See Bugs

$3.71

The Wednesday Wars

$5.96

Coping with your Grown Children

$19.99

Agent-based Modeling and Simulation

$84.99

Verbesserung der Verarbeitungseigenschaften von Bastfasergarnen durch Beigabe einer Chemiefaserkompo

$59.99

Information Security Education for Cyber Resilience

$99.99

Allgemeine Betriebswirtschaftslehre

$34.99

Digitalisierung im Mathematikunterricht

$34.99

Das Existenzgrndungsrisiko im Handwerk

$59.99

Migraine: A Neuroinflammatory Disease?

$109.99

The Intelligible Universe

$109.99

Knowledge Warehouse

$74.99

Big Data, Databases and "Ownership" Rights in the Cloud

$179.99

Identifying Product and Process State Drivers in Manufacturing Systems Using Supervised Machine Lear

$109.99

Perspectives on the Marine Animal Forests of the World

$189.00

Latin American Thinkers of Peace

$129.99

Worth-Focused Design, Book 2

$49.99

Entwicklung eines universell gltigen Regressionsmodells zur Ermittlung von Planzeitwerten fr vorwi

$44.99

Scleroderris canker of conifers

$129.00

Advances in the Theory of Quantum Systems in Chemistry and Physics

$169.00

Multiobjective Linear and Integer Programming

$119.99

Family Firms and Private Equity

$84.99

Financial Market Imperfections and Corporate Decisions

$54.99

Gabler / MLP Berufs- und Karriere-Planer IT und e-business 2006/2007

$19.99

South India: Yesterday, Today & Tomorrow

$99.00

Nietzsche and Greek Thought

$109.99

Contemporary Ideas on Ship Stability

$279.99

Emily Dickinson and the Modern Consciousness

$29.95

Application of Radioactive Isotopes in Microbiology

$74.99

Emotion, Personality and Cultural Aspects in Crowds

$109.99