Abstract. An object recognition process in general is designed as a domain specific, highly specialized task. As the complexity of such a process tends to be rather inestimable, m...
In this paper, we describe the tool Gem-Mex, supporting Montages, a visual formalism for the speci cation of imperative object oriented programming languages.
Matthias Anlauff, Philipp W. Kutter, Alfonso Piera...
Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperab...
Systematic design testing, in which executable models of behaviors are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented i...
Sudipto Ghosh, Robert B. France, Conrad Braganza, ...
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
Roger T. Alexander, James M. Bieman, Sudipto Ghosh...