9455 search results - page 199 / 1891 » The Modelling Language Zinc |
105
click to vote
WICSA
2001
15 years 3 months ago
2001
Software architecture research focuses on models of software architectures as specified in architecture description languages (ADLs). As research progresses in specific areas of s...
122
click to vote
IWPSE
2010
IEEE
14 years 11 months ago
2010
IEEE
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...
100
click to vote
TAPSOFT
1991
Springer
15 years 5 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
111
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
