414 search results - page 47 / 83 » Using Strongest Postconditions to Improve Software Quality |
TOOLS
1999
IEEE
14 years 29 days ago
1999
IEEE
In spite of the intense efforts of metrics researches, the impact of object-oriented software metrics is for the moment still quite reduced. The cause of this fact lies not in an ...
ASWEC
2006
IEEE
14 years 13 days ago
2006
IEEE
We propose a software development method for enterprise applications that combines the use of the structural concepts provided by problem frames, and the use of the UML notation. ...
WOSP
2005
ACM
14 years 2 months ago
2005
ACM
Recently, growing attention is focused on run-time management of Quality of Service (QoS) of complex software systems. In this context, self-adaptation of applications, based on r...
AOSE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
FLAIRS
1998
13 years 10 months ago
1998
Software reuse has been demonstrated to increase productivity, reduce costs, and improve software quality. The research that has addressed this problem has concentrated on code cr...