Sciweavers

5182 search results - page 222 / 1037
» COTS-Based Requirements Engineering
Sort
View
GECCO
2007
Springer
132views Optimization» more  GECCO 2007»
16 years 1 months ago
The multi-objective next release problem
This paper is concerned with the Multi-Objective Next Release Problem (MONRP), a problem in search-based requirements engineering. Previous work has considered only single objecti...
Yuanyuan Zhang, Mark Harman, S. Afshin Mansouri
ICSE
2001
IEEE-ACM
15 years 11 months ago
Traceability for System Families
System families are an idea of software reuse in a specific problem domain. Existing methods have little requirements engineering support for system family development. This short...
Detlef Streitferdt
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
PC
1998
196views Management» more  PC 1998»
15 years 6 months ago
DataExchange: High Performance Communications in Distributed Laboratories
Current communications tools and libraries for high performance computing are designed for platforms and applications that exhibit relatively stable computational and communicatio...
Greg Eisenhauer, Beth Plale, Karsten Schwan
ICFEM
2010
Springer
15 years 5 months ago
Comparison of Model Checking Tools for Information Systems
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
Marc Frappier, Benoît Fraikin, Romain Chossa...