1481 search results - page 94 / 297 » Enriching the Software Development Process by Formal Methods |
141
Voted
APAQS
2001
IEEE
15 years 7 months ago
2001
IEEE
Software inspection is recognised as the most effective means of finding defects. In spite of its important role in software development, existing capability models have not addre...
155
Voted
AOSE
2000
Springer
15 years 7 months ago
2000
Springer
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...
136
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Functional analysis of data from genome-scale experiments, such as microarrays, requires an extensive selection of differentially expressed genes. Under many condition...
171
click to vote
DKE
2011
14 years 10 months ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
137
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Enriching a pronunciation dictionary with phonological variation is a challenging task, not yet solved despite several decades of research, in particular for speech-to-text transc...