Sciweavers

7027 search results - page 441 / 1406
» Software process: a roadmap
Sort
View
BMCBI
2008
109views more  BMCBI 2008»
15 years 7 months ago
LTRharvest, an efficient and flexible software for de novo detection of LTR retrotransposons
Background: Transposable elements are abundant in eukaryotic genomes and it is believed that they have a significant impact on the evolution of gene and chromosome structure. Whil...
David Ellinghaus, Stefan Kurtz, Ute Willhoeft
ENTCS
2006
176views more  ENTCS 2006»
15 years 7 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
JUCS
2008
186views more  JUCS 2008»
15 years 7 months ago
A Safe Dynamic Adaptation Framework for Aspect-Oriented Software Development
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
Miguel Ángel Pérez Toledano, Amparo ...
JLP
2006
155views more  JLP 2006»
15 years 7 months ago
A formally grounded software specification method
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
Christine Choppy, Gianna Reggio
ESEM
2010
ACM
15 years 5 months ago
Strengthening the empirical analysis of the relationship between Linus' Law and software security
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
Andrew Meneely, Laurie A. Williams