APAQS
2001
IEEE
13 years 11 months ago
2001
IEEE
The development of electronic commerce or electronic business systems (EC/EB systems) is subject to different conditions than the development of conventional software systems. Thu...
APAQS
2001
IEEE
13 years 11 months ago
2001
IEEE
APAQS
2001
IEEE
13 years 11 months ago
2001
IEEE
Infinite looping is a common type of program error. This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on p...
APAQS
2001
IEEE
13 years 11 months ago
2001
IEEE
Program quality represents the most significant part of software quality control that assures all characteristics of software products to satisfy the user's explicit and impl...
APAQS
2001
IEEE
13 years 11 months ago
2001
IEEE
AICCSA
2001
IEEE
13 years 11 months ago
2001
IEEE
: A software process is defined as a description of various steps that must be carried out by process agents to pursue the goals of software engineering. To support a software proc...
ADAEUROPE
2003
Springer
13 years 11 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
AC
2001
Springer
13 years 11 months ago
2001
Springer
AC
2003
Springer
13 years 11 months ago
2003
Springer
In this paper two methods for human face recognition and the influence of location mistakes are shown. First one, Principal Components Analysis (PCA), has been one of the most appl...
AC
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...