1895 search results - page 313 / 379 » Using ATL for Checking Models |
104
Voted
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
203
Voted
SIGMOD
2009
ACM
16 years 25 days ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
131
click to vote
DKE
2008
15 years 21 days ago
2008
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...
170
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
103
click to vote
ECOOP
1999
Springer
15 years 4 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...