494 search results - page 46 / 99 » On Some Epistemological Problems of Software Engineering |
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...
FASE
2005
Springer
15 years 3 months ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...
IUI
2004
ACM
15 years 3 months ago
2004
ACM
In this article, we describe the intrinsic constraints of mobility and discuss how we can work around and often exploit these constraints using information implied by the context ...
PASTE
2004
ACM
15 years 3 months ago
2004
ACM
This paper presents FIT, a Flexible open-source binary code Instrumentation Toolkit. Unlike existing tools, FIT is truly portable, with existing backends for the Alpha, x86 and AR...
PPPJ
2004
ACM
15 years 3 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...