Sciweavers

19003 search results - page 11 / 3801
» We Need Assurance!
Sort
View
APAQS
2001
IEEE
13 years 11 months ago
Using a Coding Standard to Improve Program Quality
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...
X. Fang
COMPSAC
2005
IEEE
14 years 1 months ago
Reasoning About Software Architecture-Based Regression Testing Through a Case Study
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
Henry Muccini, Marcio S. Dias, Debra J. Richardson
IASTEDSE
2004
13 years 9 months ago
Does active guidance improve software inspections? A preliminary empirical study
Inspections are an established quality assurance technique. In order to optimize the inspection approach, different reading techniques, such as checklist-based reading and scenari...
Christian Denger, Marcus Ciolkowski, Filippo Lanub...
TARK
2005
Springer
14 years 1 months ago
Logical omniscience and common knowledge: WHAT do we know and what do WE know?
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
Rohit Parikh
ICDCS
2002
IEEE
14 years 19 days ago
ControlWare: A Middleware Architecture for Feedback Control of Software Performance
Attainment of software performance assurances in open, largely unpredictable environments has recently become an important focus for real-time research. Unlike closed embedded sys...
Ronghua Zhang, Chenyang Lu, Tarek F. Abdelzaher, J...