1799 search results - page 56 / 360 » The Logic of Correctness in Software Engineering |
162
click to vote
AMOST
2005
ACM
15 years 7 months ago
2005
ACM
Early estimation of defect density of a product is an important step towards the remediation of the problem associated with affordably guiding corrective actions in the software d...
141
click to vote
FASE
2010
Springer
16 years 21 days ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
180
click to vote
ICSM
2002
IEEE
15 years 10 months ago
2002
IEEE
Component recovery and remodularization is a means to get back control on large and complex legacy systems suffering from ad-hoc changes by recovering logical components and restr...
177
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
187
click to vote
WCRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...