1895 search results - page 313 / 379 » Using ATL for Checking Models |
123
Voted
ICST
2008
IEEE
15 years 8 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...
229
Voted
SIGMOD
2009
ACM
16 years 2 months 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 ...
152
click to vote
DKE
2008
15 years 2 months 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 ...
196
click to vote
SIGSOFT
2010
ACM
15 years 9 days 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...
115
Voted
ECOOP
1999
Springer
15 years 6 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...