1821 search results - page 299 / 365 » Security-Aware Program Transformations |
141
Voted
DB
2008
15 years 27 days ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
123
Voted
ENTCS
2008
15 years 26 days ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
122
Voted
ENTCS
2006
15 years 25 days ago
2006
It is reasonable to assume that quantum computations take place under the control of the classical world. For modelling this standard situation, we introduce a Classically-control...
82
Voted
ENTCS
2006
15 years 25 days ago
2006
Since many domains are constantly evolving, the associated domain specific languages (DSL) inevitably have to evolve too, to retain their value. But the evolution of a DSL can be ...
97
Voted
JCST
2008
15 years 24 days ago
2008
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...