4469 search results - page 38 / 894 » A Language for Role Specifications |
92
Voted
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
121
Voted
GTTSE
2007
Springer
15 years 7 months ago
2007
Springer
Domain-specific modelling languages provide modelling means tailored to a particular domain. In Model-driven Engineering, it is common practice to specify such languages by modelli...
107
Voted
AUTOMATICA
2008
15 years 3 months ago
2008
The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synth...
152
Voted
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...