9006 search results - page 95 / 1802 » Modeling Software |
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
90
Voted
FMOODS
2006
15 years 3 months ago
2006
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...
109
Voted
PADS
2005
ACM
15 years 8 months ago
2005
ACM
The use of software diversity has often been discussed in the research literature as an effective means to break up the software monoculture present on the Internet and to thus p...
SAPIR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. As computer networks grow in size, both physically and geographically, more scalable solutions to network administration are becoming necessary. This need is amplified by...
137
Voted
CAISE
1993
Springer
15 years 6 months ago
1993
Springer
We present our approach to defining similarity between software artifacts and discuss its potential exploitation in software reuse by analogy. We first establish properties of si...