4469 search results - page 33 / 894 » A Language for Role Specifications |
120
click to vote
ENTCS
2006
15 years 3 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
144
click to vote
SPLC
2008
15 years 5 months ago
2008
The adoption of Domain-Specific Modeling Languages (DSMLs) for generating framework-based applications has proved to be an effective way of enforcing the correct use of frameworks...
141
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
132
Voted
KI
2006
Springer
15 years 3 months ago
2006
Springer
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
133
click to vote
WWW
2006
ACM
16 years 4 months ago
2006
ACM
There have been several authoring methods proposed in the literature that are model based, essentially following the Model Driven Design philosophy. While useful, such methods nee...