Sciweavers

5457 search results - page 257 / 1092
» Clinical requirements engineering
Sort
View
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
ICSE
2012
IEEE-ACM
13 years 9 months ago
Recovering traceability links between an API and its learning resources
—Large frameworks and libraries require extensive developer learning resources, such as documentation and mailing lists, to be useful. Maintaining these learning resources is cha...
Barthélémy Dagenais, Martin P. Robil...
MODELS
2007
Springer
16 years 24 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 22 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