487 search results - page 48 / 98 » Scoping Constructs for Software Generators |
101
Voted
LCTRTS
2009
Springer
15 years 5 months ago
2009
Springer
Register file (RF) is extremely vulnerable to soft errors, and traditional redundancy based schemes to protect the RF are prohibitive not only because RF is often in the timing c...
73
Voted
ATS
2003
IEEE
15 years 4 months ago
2003
IEEE
Domain testing is a well-known software testing technique. Although research tasks have been initiated in domain testing, automatic test data generation based on character string ...
91
Voted
FATES
2003
Springer
15 years 4 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
74
Voted
WCRE
2000
IEEE
15 years 3 months ago
2000
IEEE
In this paper we present our design for a program data exchange format for Harmonia, a framework for constructing language-sensitive interactive CASE tools. We discuss the various...
100
Voted
LADC
2007
Springer
15 years 5 months ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...