414 search results - page 50 / 83 » Using Strongest Postconditions to Improve Software Quality |
UIST
2010
ACM
13 years 6 months ago
2010
ACM
Many digital painting systems have been proposed and their quality is improving. In these systems, graphics tablets are widely used as input devices. However, because of its rigid...
FASE
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
GROUP
2009
ACM
14 years 3 months ago
2009
ACM
Scientific peer review, open source software development, wikis, and other domains use distributed review to improve quality of created content by providing feedback to the work...
WOSP
2005
ACM
14 years 2 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
PROFES
2005
Springer
14 years 2 months ago
2005
Springer
Software inspection helps to improve the quality of software products early in the development process. For design inspection recent research showed that usage-based reading of doc...