1497 search results - page 207 / 300 » Extended static checking |
124
click to vote
ENTCS
2007
15 years 20 days ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
101
click to vote
IDA
2007
Springer
15 years 19 days ago
2007
Springer
Graph grammars combine the relational aspect of graphs with the iterative and recursive aspects of string grammars, and thus represent an important next step in our ability to dis...
119
click to vote
SIGPLAN
2002
15 years 10 days ago
2002
: Object-oriented frameworks require thorough testing as they are intended to be reused repeatedly in developing numerous applications. Moreover, whenever a framework is extended f...
115
click to vote
LICS
2010
IEEE
14 years 11 months ago
2010
IEEE
We define tree automata with global constraints (TAGC), generalizing the well-known class of tree automata with global equality and disequality constraints [14] (TAGED). TAGC can...
123
click to vote
APSEC
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...