Sciweavers

5273 search results - page 27 / 1055
» Improving quality together
Sort
View
ICEIS
2008
IEEE
16 years 1 months ago
Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noria...
ISVLSI
2007
IEEE
131views VLSI» more  ISVLSI 2007»
16 years 26 days ago
Improving the Quality of Bounded Model Checking by Means of Coverage Estimation
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
Ulrich Kühne, Daniel Große, Rolf Drechs...
WISE
2007
Springer
16 years 25 days ago
Incremental Quality Improvement in Web Applications Using Web Model Refactoring
Luis Olsina, Gustavo Rossi, Alejandra Garrido, Dam...