Sciweavers

8947 search results - page 72 / 1790
» Improving software quality
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 1 months 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 1 months ago
Incremental Quality Improvement in Web Applications Using Web Model Refactoring
Luis Olsina, Gustavo Rossi, Alejandra Garrido, Dam...