Modeling Reactive Systems With Statecharts 在線電子書 圖書標籤:
發表於2025-02-23
Modeling Reactive Systems With Statecharts 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025
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 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025