241 search results - page 3 / 49 » A static aspect language for checking design rules |
SMI
2010
IEEE
13 years 3 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
POPL
1999
ACM
13 years 9 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
RE
2010
Springer
13 years 17 hour ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
ICFEM
2009
Springer
13 years 12 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
COMPSAC
2002
IEEE
13 years 10 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...