1481 search results - page 29 / 297 » Enriching the Software Development Process by Formal Methods |
141
click to vote
ICECCS
2009
IEEE
15 years 9 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
119
Voted
SIGSOFT
2001
ACM
16 years 3 months ago
2001
ACM
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
109
click to vote
SOFSEM
2010
Springer
16 years 1 days ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
140
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Gene clustering has been widely used to group genes with similar expression pattern in microarray data analysis. Subsequent enrichment analysis using predefined gene s...
138
Voted
SEFM
2005
IEEE
15 years 8 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...