414 search results - page 68 / 83 » Using Strongest Postconditions to Improve Software Quality |
116
click to vote
GI
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...
103
click to vote
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
112
Voted
JSS
2000
15 years 11 days ago
2000
The basic motivation for software inspections is to detect and remove defects before they propagate to subsequent development phases where their detection and removal becomes more...
109
Voted
PERCOM
2006
ACM
16 years 5 days ago
2006
ACM
This paper introduces MobiCare ? a novel service architecture that enables a wide range of health-related services for efficient and mobile patient care. These services include: (...
121
Voted
ICWS
2009
IEEE
15 years 9 months ago
2009
IEEE
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...