Third International Conference on Quality Software, 2003. Proceedings.
Latest Publications

TOTAL DOCUMENTS

63

(FIVE YEARS 0)

H-INDEX

11

(FIVE YEARS 0)

Published By IEEE

0769520154

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Message from the general chair

Third International Conference on Quality Software, 2003. Proceedings. ◽

10.1109/qsic.2003.1319073 ◽

2003 ◽

Download Full-text

A note on test oracles and semantics of algebraic specifications

Third International Conference on Quality Software, 2003. Proceedings. ◽

10.1109/qsic.2003.1319090 ◽

2003 ◽

Author(s):

Hong Zhu

Keyword(s):

Test Oracles ◽

Algebraic Specifications

Download Full-text

A model for the implementation of software process improvement: a pilot study

Third International Conference on Quality Software, 2003. Proceedings. ◽

10.1109/qsic.2003.1319103 ◽

2003 ◽

Author(s):

M. Niazi ◽

D. Wilson ◽

D. Zowghi

Keyword(s):

Pilot Study ◽

Process Improvement ◽

Software Process ◽

Software Process Improvement

Download Full-text

An experience on using the team software process for implementing the Capability Maturity Model for software in a small organization

Third International Conference on Quality Software, 2003. Proceedings. ◽

10.1109/qsic.2003.1319118 ◽

2003 ◽

Author(s):

M.A. Serrano ◽

C.M. de Oca ◽

K. Cedillo

Keyword(s):

Software Process ◽

Capability Maturity Model ◽

Maturity Model ◽

Capability Maturity ◽

Small Organization ◽

Team Software Process

Download Full-text

Behavioral verification of distributed concurrent systems with BOBJ

Third International Conference on Quality Software, 2003. Proceedings. ◽

10.1109/qsic.2003.1319106 ◽

2003 ◽

Author(s):

J. Goguen ◽

Kai Lin

Keyword(s):

Concurrent Systems

Download Full-text

Mirror adaptive random testing

Third International Conference on Quality Software, 2003. Proceedings. ◽

10.1109/qsic.2003.1319079 ◽

2003 ◽

Author(s):

T.Y. Chen ◽

F.C. Kuo ◽

R.G. Merkel ◽

S.P. Ng

Keyword(s):

Random Testing ◽

Adaptive Random Testing

Download Full-text

Modeling and verifying a Lego car using hybrid I/O automata

Third International Conference on Quality Software, 2003. Proceedings. ◽

10.1109/qsic.2003.1319112 ◽

2003 ◽

Author(s):

A. Fehnker ◽

F. Vaandrager ◽

Miaomiao Zhang

Download Full-text

A study of Japanese software process practices and a potential for improvement using SOFL

Third International Conference on Quality Software, 2003. Proceedings. ◽

10.1109/qsic.2003.1319091 ◽

2003 ◽

Author(s):

S. Bekbay ◽

Shaoying Liu

Keyword(s):

Software Process

Download Full-text

CALDEA: a data quality model based on maturity levels

Third International Conference on Quality Software, 2003. Proceedings. ◽

10.1109/qsic.2003.1319125 ◽

2003 ◽

Author(s):

I. Caballero ◽

M. Piattini

Keyword(s):

Data Quality ◽

Quality Model ◽

Download Full-text

Walking the talk: building quality into the software quality management tool

Third International Conference on Quality Software, 2003. Proceedings. ◽

10.1109/qsic.2003.1319087 ◽

2003 ◽

Author(s):

G.V. Seshagiri ◽

S. Priya

Keyword(s):

Quality Management ◽

Software Quality ◽

Management Tool ◽

Software Quality Management

Download Full-text