Sciweavers

8947 search results - page 289 / 1790
» Improving software quality
Sort
View
TCAD
2008
181views more  TCAD 2008»
15 years 6 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
169
Voted
WOSS
2004
ACM
15 years 11 months ago
Towards preserving correctness in self-managed software systems
Currently, paradigms such as component-based software development and service-oriented software architectures promote modularization of software systems into highly decoupled and ...
Lieven Desmet, Nico Janssens, Sam Michiels, Frank ...
IWPSE
2007
IEEE
16 years 13 days ago
How documentation evolves over time
Good source code documentation, especially of programming interfaces, is essential for using and maintaining software components. In this paper, we present the Quasoledo tool that...
Daniel Schreck, Valentin Dallmeier, Thomas Zimmerm...
QUATIC
2007
IEEE
16 years 13 days ago
A Practical Model for Measuring Maintainability
—The amount of effort needed to maintain a software system is related to the technical quality of the source code of that system. The ISO 9126 model for software product quality ...
Ilja Heitlager, Tobias Kuipers, Joost Visser
INFSOF
2008
69views more  INFSOF 2008»
15 years 6 months ago
Requirements engineering: In search of the dependent variables
When software development teams modify their requirements engineering process as an independent variable, they often examine the implications of these process changes by assessing...
Tony Gorschek, Alan M. Davis