266 search results - page 23 / 54 » Compatibility, standards, and software production |
104
Voted
SAC
2006
ACM
15 years 1 months ago
2006
ACM
The second-class formulation of generics in Java 5.0 discards generic type information during compilation. As a result, Java 5.0 prohibits run-time type-dependent operations, gene...
133
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: A large volume of data and information about genes and gene products has been stored in various molecular biology databases. A major challenge for knowledge discovery ...
131
click to vote
CASCON
2007
15 years 3 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
115
click to vote
PROMISE
2010
14 years 8 months ago
2010
BACKGROUND: Defect predictors learned from static code measures can isolate code modules with a higher than usual probability of defects. AIMS: To improve those learners by focusi...
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
In a software development group of IBM Retail Store Solutions, we built a non-trivial software system based on a stable standard specification using a disciplined, rigorous unit t...