Sciweavers

5228 search results - page 220 / 1046
» Case Studies for Software Engineers
Sort
View
BMCBI
2006
147views more  BMCBI 2006»
15 years 4 months ago
A case study in pathway knowledgebase verification
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
Stephen A. Racunas, Nigam Shah, Nina V. Fedoroff
119
Voted
CSMR
2008
IEEE
15 years 10 months ago
Visual Detection of Design Anomalies
Design anomalies, introduced during software evolution, are frequent causes of low maintainability and low flexibility to future changes. Because of the required knowledge, an im...
Karim Dhambri, Houari A. Sahraoui, Pierre Poulin
114
Voted
FASE
2007
Springer
15 years 7 months ago
Finding Environment Guarantees
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel
ICSE
2000
IEEE-ACM
15 years 7 months ago
Software needs engineering: a position paper
When the general press refers to `software' in its headlines, then this is often not to relate a success story, but to expand on yet another `software-risk-turned-problem-sto...
Jane Grimson, Hans-Jürgen Kugler
144
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
An empirical study on the evolution of design patterns
Design patterns are solutions to recurring design problems, conceived to increase benefits in terms of reuse, code quality and, above all, maintainability and resilience to change...
Lerina Aversano, Gerardo Canfora, Luigi Cerulo, Co...