36320 search results - page 202 / 7264 » From Code to Models |
222
click to vote
METRICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Maintaining software systems is getting more complex and difficult task, as the scale becomes larger. It is generally said that code clone is one of the factors that make softwar...
185
click to vote
SIGSAND
2008
15 years 8 months ago
2008
Abstract: A closer look at typical information systems shows that relatively simple routines often contribute significantly to the overall expenses of the software development proc...
189
click to vote
PDP
2009
IEEE
16 years 1 months ago
2009
IEEE
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
197
click to vote
VAMOS
2008
Springer
15 years 8 months ago
2008
Springer
Software product lines (SPLs) allow to generate tailormade software products by selecting and composing reusable code units. However, SPLs with hundreds of features and millions o...
169
click to vote
ASE
2008
15 years 6 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...