Modeling Reactive Systems With Statecharts 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

☆☆☆☆☆
简体网页||繁体网页

David Harel 作者

McGraw-Hill Companies

译者

1998-10-08 出版日期

0 页数

USD 65.00 价格

Hardcover

丛书系列

9780070262058 图书编码

Modeling Reactive Systems With Statecharts 在线电子书图书标签:

喜欢 Modeling Reactive Systems With Statecharts 在线电子书的读者还喜欢

下载链接在页面底部

点击这里下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-11-23

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

Modeling Reactive Systems With Statecharts 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

Modeling Reactive Systems With Statecharts 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

Modeling Reactive Systems With Statecharts 在线电子书用户评价

评分☆☆☆☆☆

Modeling Reactive Systems With Statecharts 在线电子书著者简介

Modeling Reactive Systems With Statecharts 在线电子书图书目录

Modeling Reactive Systems With Statecharts 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

Modeling Reactive Systems With Statecharts 在线电子书图书描述

The book provides a detailed description of a set of languages for modeling 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.

Modeling Reactive Systems With Statecharts 在线电子书下载 mobi epub pdf txt 在线电子书下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!