Sciweavers

250 search results - page 27 / 50
» On Assuring Software Quality and Curbing Software Developmen...
Sort
View
CBSQ
2003
Springer
14 years 2 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
ICSM
2009
IEEE
14 years 3 months ago
Prioritizing component compatibility tests via user preferences
Many software systems rely on third-party components during their build process. Because the components are constantly evolving, quality assurance demands that developers perform ...
Il-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A....
ASE
2006
148views more  ASE 2006»
13 years 9 months ago
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Industry currently employs a product line approach to software development and deployment as a means to enhance quality while reducing development cost and time. This effort has cr...
Josh Dehlinger, Robyn R. Lutz
SEDE
2010
13 years 7 months ago
On Software Test Estimate and Requirement Tracking
Test is a key activity for ensuring software quality. There is always pressure from project sponsor and management for software development team to commit to shorter schedule and ...
Jing-Chiou Liou
TASE
2010
IEEE
13 years 3 months ago
Product Sequencing With Respect to Quality in Flexible Manufacturing Systems With Batch Operations
Abstract--In many flexible manufacturing systems, batch production is often adopted to improve product quality. For example, in automotive paint shops, vehicles with same colors ar...
Junwen Wang, Jingshan Li, Jorge Arinez, Stephan Bi...