414 search results - page 16 / 83 » Using Strongest Postconditions to Improve Software Quality |
126
click to vote
ISORC
1999
IEEE
15 years 4 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
94
Voted
ECOOP
1995
Springer
15 years 4 months ago
1995
Springer
Design patterns help to improve communication software quality since they address a fundamental challenge in largescale software development: communicationof architectural knowled...
108
Voted
PROFES
2001
Springer
15 years 4 months ago
2001
Springer
“We boldly go where no man has gone before”. We want to announce new products and services and use matching supporting information systems. All this more rapidly than before an...
129
click to vote
ECBS
2010
IEEE
15 years 4 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Software projects often rely on third-party libraries made accessible through Application Programming Interfaces (APIs). We have observed many cases where APIs are used in ways ...