The top documents of marc-pantel

Concurrency-aware eXecutable Domain-Specific Modeling Languages as Models of Concurrency

Concurrency-aware eXecutable Domain-Specific Modeling Languages as Models of Concurrency

132 views
Coping with Semantic Variation Points in Domain-Specific Modeling Languages

Coping with Semantic Variation Points in Domain-Specific Modeling Languages

211 views
Block Library Driven Translation Validation for DataFlow Models in Safety Critical Systems

Block Library Driven Translation Validation for DataFlow Models in Safety Critical Systems

72 views
A Lightweight Formal Encoding for a Constraint Language DSML Component

A Lightweight Formal Encoding for a Constraint Language DSML Component

175 views
A DSL to feedback formal verification results

A DSL to feedback formal verification results

106 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS