4469 search results - page 297 / 894 » A Language for Role Specifications |
179
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
For several decades universities have taught programming languages as a fundamental part of their undergraduate curriculum. These courses cover the core topics used in the design ...
290
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
173
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Model transformations provide a powerful capability to automate model refinements. However, the use of model transformation languages may present challenges to those who are unfami...
149
click to vote
ICMI
2005
Springer
16 years 7 days ago
2005
Springer
 Synthetic characters are an effective modality to convey messages to the user, provide visual feedback about the system internal understanding ofÂ...
154
click to vote
HICSS
2003
IEEE
16 years 9 hour ago
2003
IEEE
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...