- We will send in 10–14 business days.
/images/books/13176516/9783639147100.jpg)
- Author: Kai Chen
- Publisher: VDM Verlag
- ISBN-10: 3639147103
- ISBN-13: 9783639147100
- Format: 15.2 x 22.9 x 1.2 cm, softcover
- Language: English
- SAVE -10% with code: EXTRA
Reviews
Description
This book proposes an affordable technology that can facilitate formal Domain-Specific Modeling Language design with precise syntax and semantics definition and to build a solid semantic anchoring infrastructure for the Model-Integrated Computing approach. A semantic anchoring infrastructure facilitates the transformational specification of Domain-Specific Modeling Language semantics. It is based on the observation that, in the embedded software and systems domain, there is a finite set of basic behavioral categories, such as Finite State Machine, Timed Automata, Discrete Event Systems and Synchronous Dataflow, each of which captures the behavioral pattern of a class of systems. The semantic anchoring infrastructure includes a set of semantic units that capture the behavioral semantics of basic behavioral categories using a formal method as the underlying semantic framework.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 20d.17:04:48
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Kai Chen
- Publisher: VDM Verlag
- ISBN-10: 3639147103
- ISBN-13: 9783639147100
- Format: 15.2 x 22.9 x 1.2 cm, softcover
- Language: English English
This book proposes an affordable technology that can facilitate formal Domain-Specific Modeling Language design with precise syntax and semantics definition and to build a solid semantic anchoring infrastructure for the Model-Integrated Computing approach. A semantic anchoring infrastructure facilitates the transformational specification of Domain-Specific Modeling Language semantics. It is based on the observation that, in the embedded software and systems domain, there is a finite set of basic behavioral categories, such as Finite State Machine, Timed Automata, Discrete Event Systems and Synchronous Dataflow, each of which captures the behavioral pattern of a class of systems. The semantic anchoring infrastructure includes a set of semantic units that capture the behavioral semantics of basic behavioral categories using a formal method as the underlying semantic framework.
Reviews