82 search results - page 6 / 17 » Improving Reliability of Spectrum Analysis for Software Qual... |
BIOINFORMATICS
2007
13 years 10 months ago
2007
Motivation: Clustering technique is used to find groups of genes that show similar expression patterns under multiple experimental conditions. Nonetheless, the results obtained by...
CASCON
2007
13 years 12 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 ...
RE
2007
Springer
14 years 4 months ago
2007
Springer
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goa...
PLDI
2009
ACM
14 years 11 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
GI
2005
Springer
14 years 3 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...