414 search results - page 59 / 83 » Using Strongest Postconditions to Improve Software Quality |
SIGCSE
2009
ACM
14 years 9 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
REFSQ
2010
Springer
14 years 18 days ago
2010
Springer
[Context and motivation] In Requirements Management, ontologies are used to reconcile gaps in the knowledge and common understanding among stakeholders during requirement elicitati...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
The diffusion of service oriented architectures introduces the need for novel testing approaches. On the one side, testing must be able to identify failures in the functionality ...
PRIMA
2004
Springer
14 years 2 months ago
2004
Springer
This paper proposes a new e-procurement model for a large number of buyers and sellers interacting via the Internet. The goal of e-procurement is to create a satisfactory match bet...
PROMISE
2010
13 years 3 months ago
2010
Background: Automated diagnosis of software defects can drastically increase debugging efficiency, improving reliability and time-to-market. Current, low-cost, automatic fault dia...