1481 search results - page 12 / 297 » Enriching the Software Development Process by Formal Methods |
188
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Several tools have been developed to explore and search Gene Ontology (GO) databases allowing efficient GO enrichment analysis and GO tree visualization. Nevertheless,...
108
click to vote
CHI
2007
ACM
16 years 3 months ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
151
Voted
ASWEC
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
129
Voted
WETICE
2005
IEEE
15 years 8 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
153
Voted
EWSPT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...