1107 search results - page 57 / 222 » XAIRA : software for language analysis |
114
click to vote
IEEEARES
2009
IEEE
14 years 10 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
137
click to vote
FDL
2006
IEEE
15 years 6 months ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
102
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...
105
Voted
ICSE
1998
IEEE-ACM
15 years 5 months ago
1998
IEEE-ACM
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Unchecked errors are especially pernicious in operating system file management code. Transient or permanent hardware failures are inevitable, and error-management bugs at the fi...