Sciweavers

5668 search results - page 259 / 1134
» Overlaps in Requirements Engineering
Sort
View
BMCBI
2006
110views more  BMCBI 2006»
15 years 6 months ago
CpGcluster: a distance-based algorithm for CpG-island detection
Background: Despite their involvement in the regulation of gene expression and their importance as genomic markers for promoter prediction, no objective standard exists for defini...
Michael Hackenberg, Christopher Previti, Pedro Lui...
ICSE
2000
IEEE-ACM
15 years 10 months ago
Software reliability and dependability: a roadmap
Software's increasing role creates both requirements for being able to trust it more than before, and for more people to know how much they can trust their software. A sound ...
Bev Littlewood, Lorenzo Strigini
MODELS
2007
Springer
16 years 22 days ago
Model and Formalism Driven Development of Collaborative Applications
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
Bertrand T. David, René Chalon
ESCIENCE
2006
IEEE
16 years 20 days ago
Grid-Enabled Workflows for Industrial Product Design
This paper presents a generic approach for developing and using Grid-based workflow technology for enabling cross-organizational engineering applications. Using industrial product...
Moustafa Ghanem, Nabeel Azam, Mike J. Boniface, Ju...
ICSE
2000
IEEE-ACM
15 years 10 months ago
Formal specification: a roadmap
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...
Axel van Lamsweerde