Sciweavers

414 search results - page 4 / 83
» Using Strongest Postconditions to Improve Software Quality
Sort
View
ESE
2008
107views Database» more  ESE 2008»
14 years 10 months ago
Realizing quality improvement through test driven development: results and experiences of four industrial teams
Test-driven development (TDD) is a software development practice that has been used sporadically for decades. With this practice, a software engineer cycles minute-by-minute betwee...
Nachiappan Nagappan, E. Michael Maximilien, Thirum...
ICSE
2011
IEEE-ACM
14 years 1 months ago
Using software evolution history to facilitate development and maintenance
Much research in software engineering have been focused on improving software quality and automating the maintenance process to reduce software costs and mitigating complications ...
Pamela Bhattacharya
87
Voted
VLSI
2007
Springer
15 years 4 months ago
Impact of hardware emulation on the verification quality improvement
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
Youssef Serrestou, Vincent Beroulle, Chantal Robac...
WOSP
2010
ACM
14 years 10 months ago
Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...
Anne Martens, Heiko Koziolek, Steffen Becker, Ralf...
69
Voted
OOPSLA
1999
Springer
15 years 2 months ago
Detecting Defects in Object-Oriented Designs: Using Reading Techniques to Increase Software Quality
Inspections can be used to identify defects in software artifacts. In this way, inspection methods help to improve software quality, especially when used early in software develop...
Guilherme Travassos, Forrest Shull, Michael Freder...