Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings.
Latest Publications

TOTAL DOCUMENTS

44

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By IEEE

0769522076

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Conceptual modeling: a key to quality information systems

Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings. ◽

10.1109/qsic.2004.1357939 ◽

2004 ◽

Author(s):

A. Solvberg

Keyword(s):

Information Systems ◽

Conceptual Modeling ◽

Quality Information

Download Full-text

Semantic errors in SQL queries: a quite complete list

Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings. ◽

10.1109/qsic.2004.1357967 ◽

2004 ◽

Author(s):

S. Brass ◽

C. Goldberg

Keyword(s):

Complete List ◽

Semantic Errors

Download Full-text

Equational approach to formal verification of SET

Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings. ◽

10.1109/qsic.2004.1357944 ◽

2004 ◽

Author(s):

K. Ogata ◽

K. Futatsugi

Keyword(s):

Formal Verification

Download Full-text

Towards a control-theoretical approach to software fault-tolerance

Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings. ◽

10.1109/qsic.2004.1357961 ◽

2004 ◽

Author(s):

Kai-Yuan Cai ◽

Xiang-Yun Wang

Keyword(s):

Fault Tolerance ◽

Theoretical Approach ◽

Software Fault Tolerance ◽

Download Full-text

Quality-assured design of on-line analytical processing systems using abstract state machines

Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings. ◽

10.1109/qsic.2004.1357964 ◽

2004 ◽

Author(s):

J. Zhao ◽

Hui Ma

Keyword(s):

State Machines ◽

Abstract State Machines ◽

On Line ◽

Analytical Processing ◽

On Line Analytical Processing

Download Full-text

Adaptive random testing through dynamic partitioning

Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings. ◽

10.1109/qsic.2004.1357947 ◽

2004 ◽

Author(s):

T.Y. Chen ◽

G. Eddy ◽

R. Merkel ◽

P.K. Wong

Keyword(s):

Random Testing ◽

Dynamic Partitioning ◽

Adaptive Random Testing

Download Full-text

Comparing several coverage criteria for detecting faults in logical decisions

Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings. ◽

10.1109/qsic.2004.1357940 ◽

2004 ◽

Author(s):

Y.T. Yu ◽

M.F. Lau

Keyword(s):

Coverage Criteria

Download Full-text

On the statistical properties of the F-measure

Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings. ◽

10.1109/qsic.2004.1357955 ◽

2004 ◽

Author(s):

Tsong Yueh Chen ◽

Fei-Ching Kuo ◽

R. Merkel

Keyword(s):

Statistical Properties ◽

Download Full-text

Using knowledge management to improve software process performance in a CMM level 3 organization

Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings. ◽

10.1109/qsic.2004.1357957 ◽

2004 ◽

Author(s):

R. de Almeida ◽

L.S.M. Borges ◽

F.F.R. Valente

Keyword(s):

Knowledge Management ◽

Software Process ◽

Process Performance ◽

Download Full-text

Smart play-out extended: time and forbidden elements

Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings. ◽

10.1109/qsic.2004.1357938 ◽

2004 ◽

Author(s):

D. Harel ◽

H. Kugler ◽

A. Pnueli

Keyword(s):

Download Full-text