414 search results - page 13 / 83 » Using Strongest Postconditions to Improve Software Quality |
ICSM
2007
IEEE
15 years 6 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
132
Voted
METRICS
2002
IEEE
15 years 5 months ago
2002
IEEE
Process assessment or process improvement is usually not considered in the context of Web applications, and the differences between Web applications and traditional applications a...
110
click to vote
ICSE
2004
IEEE-ACM
16 years 15 days ago
2004
IEEE-ACM
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
ESSOS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Software vendors are increasingly concerned about mitigating the security risk of their software. Code quality improvement is a traditional approach to mitigate security ...
ACSC
2007
IEEE
15 years 6 months ago
2007
IEEE
Package design is concerned with the determining the best way to partition the classes in a system into subsystems. A poor package design can adversely affect the quality of a sof...