Sciweavers

26354 search results - page 195 / 5271
» How we refactor, and how we know it
Sort
View
ICSE
2010
IEEE-ACM
14 years 3 months ago
From behaviour preservation to behaviour modification: constraint-based mutant generation
The efficacy of mutation analysis depends heavily on its capability to mutate programs in such a way that they remain executable and exhibit deviating behaviour. Whereas the forme...
Friedrich Steimann, Andreas Thies
KBSE
2005
IEEE
14 years 4 months ago
Identifying traits with formal concept analysis
Traits are basically mixins or interfaces but with method bodies. In languages that support traits, classes are composed out of traits. There are two main advantages with traits. ...
Adrian Lienhard, Stéphane Ducasse, Gabriela...
SYNTHESE
2010
99views more  SYNTHESE 2010»
13 years 9 months ago
Vagueness, uncertainty and degrees of clarity
The focus of the paper is on the logic of clarity and the problem of higherorder vagueness. We first examine the consequences of the notion of intransitivity of indiscriminabilit...
Paul Égré, Denis Bonnay
KES
2008
Springer
13 years 10 months ago
A Semantic Language for Querying Anonymous Web Sources
A great deal of work has been carried out in recent years to facilitate access to data and information available on the Web. Proposals converge in two additional areas which consis...
Francois Pinet, Michel Schneider
SP
2002
IEEE
160views Security Privacy» more  SP 2002»
13 years 10 months ago
On the Composition of Secure Systems
When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. In this article, we present various...
Heiko Mantel