1663 search results - page 101 / 333 » Software Reuse and Safety |
152
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
118
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
110
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
This paper presents a systematic method for simultaneously defining a software architecture and selecting off-the-shelf components for reuse. The method builds upon existing tec...
212
click to vote
ECSA
2011
Springer
14 years 3 months ago
2011
Springer
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
132
click to vote
EUROMICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
Composition can take place during different stages of component life cycle. We identify two main stages : design phase - components are composed into composite components for reus...