492 search results - page 16 / 99 » Automating software feature verification |
SIGSOFT
2010
ACM
13 years 4 months ago
2010
ACM
Given the dizzying pace of change in computer science, trying to look too far into the future of software engineering is hard. However, it might be possible to predict the future ...
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
Superimposition is a composition technique that has been applied successfully in many areas of software development. Although superimposition is a general-purpose concept, it has ...
ICSM
2005
IEEE
14 years 10 days ago
2005
IEEE
This paper introduces an automated technique for feature location: helping developers map features to relevant source code. Like several other automated feature location technique...
CADE
2002
Springer
14 years 7 months ago
2002
Springer
This paper reports on the formal proof of correctness of a compiler from a substantial subset of Java source language to Java bytecode in the proof environment Isabelle. This work ...
BMCBI
2005
13 years 6 months ago
2005
Background: Two of the main objectives of the genomic and post-genomic era are to structurally and functionally annotate genomes which consists of detecting genes' position a...