Sciweavers

875 search results - page 50 / 175
» Specification Modules for Methodical System Development
Sort
View
ISSRE
2002
IEEE
15 years 2 months ago
Optimal Allocation of Testing Resources for Modular Software Systems
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
Chin-Yu Huang, Jung-Hua Lo, Sy-Yen Kuo, Michael R....
WISE
2009
Springer
15 years 7 months ago
A Web Recommender System for Recommending, Predicting and Personalizing Music Playlists
In this paper, we present a Web recommender system for recommending, predicting and personalizing music playlists based on a user model. We have developed a hybrid similarity match...
Zeina Chedrawy, Syed Sibte Raza Abidi
TSE
2008
92views more  TSE 2008»
14 years 9 months ago
Evaluating Test Suites and Adequacy Criteria Using Simulation-Based Models of Distributed Systems
Test adequacy criteria provide the engineer with guidance on how to populate test suites. While adequacy criteria have long been a focus of research, existing testing methods do no...
Matthew J. Rutherford, Antonio Carzaniga, Alexande...
FIW
1998
130views Communications» more  FIW 1998»
14 years 11 months ago
A Heuristic Approach to Detect Feature Interactions in Requirements
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
Maritta Heisel, Jeanine Souquières
DESRIST
2009
Springer
137views Education» more  DESRIST 2009»
15 years 2 months ago
Coordination analysis: a method for deriving use cases from process dependencies
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
Xiang Michelle Liu, George M. Wyner