125 search results - page 15 / 25 » Integrating Formal Analysis and Design to Preserve Security ... |
152
click to vote
KBSE
2007
IEEE
16 years 10 days ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
135
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take accou...
179
click to vote
ENTCS
2006
15 years 6 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
163
click to vote
SAFECOMP
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
141
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...