دانلود کتاب Modeling Reactive Systems With Statecharts : The Statemate Approach

Name: Modeling Reactive Systems With Statecharts : The Statemate Approach
Availability: InStock
Author: David Harel
ISBN: 0070262055, 9780070262058

by David Harel

عنوان فارسی: مدل سازی سیستم های واکنشگر با نمودارهای حالت: رویکرد Statemate
ناشر: Mcgraw-Hill (Tx)
سال: 1998
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 258-404
شابک: 0070262055, 9780070262058
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 3.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

The book provides a detailed description of a set of languages for modelling reactive systems, which underlies the STATEMATE toolset. The approach is dominated by the language of Statecharts, used to describe behavior, combined Activity-charts for describing activities (i.e., the functional building blocks-capabilities or objects) and the data that flows between them. These two languages are used to develop a conceptual model of the system, which can be combined with the system's physical, or structural model, described in a third language-Module-charts. The three languages are highly diagrammatic in nature, constituting full-fledged visual formalisms, complete with rigorous semantics. They are accompanied by a Data Dictionary for specifying additional parts of the model that are textual in nature.

گزارش اشکال ⚠