Napačna izbira? Nič za to! Izdelke lahko vrnete do 30 dni
Z darilnim bonom ne morete zgrešiti. Obdarovanec lahko v zameno za darilni bon izbere karkoli iz naše ponudbe.
Do 30 dni za vračilo
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.
Pozdravljeni! Sem Libroamiko, vaš knjižni svetovalec.
Kako vam lahko pomagam?