4421 search results - page 457 / 885 » Libraries |
148
Voted
WCRE
2002
IEEE
15 years 9 months ago
2002
IEEE
Over the past few years, we are experiencing a surge of evolution problems related to legacy object-oriented systems. Object orientation provides means for systems to be well-desi...
118
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—This paper suggests a new approach for bitstream processing of embedded systems, using a combination of C++ metaprogramming combined with architecture extensions of an customiza...
113
click to vote
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
Searching for applications that are highly relevant to development tasks is challenging because the high-level intent reflected in the descriptions of these tasks doesn’t usual...
139
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
In order to retrieve, select and apply design patterns in a tool-supported way, we suggest to construct and document a problemcontext pattern that reflects the essence of the prob...
140
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...