Sciweavers

250 search results - page 13 / 50
» On Assuring Software Quality and Curbing Software Developmen...
Sort
View
TAP
2008
Springer
144views Hardware» more  TAP 2008»
13 years 9 months ago
Integrating Verification and Testing of Object-Oriented Software
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
Christian Engel, Christoph Gladisch, Vladimir Kleb...
MEDES
2010
ACM
13 years 4 months ago
Brazilian public software: beyond sharing
This work presents a case of an innovative Brazilian experience of use of free software in public administration as an emergent ecosystem, and the attempt to establish a quality f...
A. M. Alves, Marcelo Schneck de Paula Pessôa
SIGSOFT
2007
ACM
14 years 10 months ago
Training on errors experiment to detect fault-prone software modules by spam filter
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...
Osamu Mizuno, Tohru Kikuno
ISJGP
2007
89views more  ISJGP 2007»
13 years 9 months ago
Trends in Security Product Evaluations
Government-endorsed security evaluations, like those performed under the Common Criteria (CC), use established techniques of software quality assurance to try to evaluate product ...
Richard E. Smith
EWSA
2004
Springer
14 years 2 months ago
Distilling Scenarios from Patterns for Software Architecture Evaluation - A Position Paper
Software architecture (SA) evaluation is a quality assurance technique that is increasingly attracting significant research and commercial interests. A number of SA evaluation meth...
Liming Zhu, Muhammad Ali Babar, D. Ross Jeffery