794 search results - page 80 / 159 » Automatically Analyzing Software Processes: Experience Repor... |
92
Voted
COMPSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
A transferable quality model must be general. This implies that only the high level characteristics can be transferred into different settings and that the refinement of the charac...
121
click to vote
APSEC
2006
IEEE
15 years 6 months ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
APSEC
2007
IEEE
15 years 4 months ago
2007
IEEE
Code implementing a crosscutting concern spreads over many parts of the Linux code. Identifying these code automatically can benefit both the maintainability and evolvability of Li...
87
Voted
BMCBI
2010
15 years 22 days ago
2010
Background: The analysis of high-throughput screening data sets is an expanding field in bioinformatics. Highthroughput screens by RNAi generate large primary data sets which need...
104
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...