4469 search results - page 214 / 894 » A Language for Role Specifications |
190
click to vote
SLE
2009
Springer
15 years 11 months ago
2009
Springer
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...
199
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
Adaptability has become one of the most important research areas in concurrent object-oriented systems in recent years. It tries to cope with system evolution by adding/replacing ...
149
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
We describe a general approach for defining new temporal specification languages, and adopting existing languages, for SystemC. We define the concept of "underlying trace"...
148
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
Quasiquoting allows programmers to use domain specific syntax to construct program fragments. By providing concrete syntax for complex data types, programs become easier to read, ...
172
click to vote
ENTCS
2006
15 years 6 months ago
2006
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution