Sciweavers

12670 search results - page 54 / 2534
» Requirements Modeling
Sort
View
ECRTS
2003
IEEE
14 years 3 months ago
A Synthetic Utilization Bound for Aperiodic Tasks with Resource Requirements
Utilization bounds for schedulability of aperiodic tasks are new in real-time scheduling literature. All aperiodic bounds known to date apply only to independent tasks. They eithe...
Tarek F. Abdelzaher, Vivek Sharma
RE
2010
Springer
13 years 4 months ago
Requirements Determination is Unstoppable: An Experience Report
Abstract--The paper describes the quotations gathered during interviews and focus groups during a consulting engagement to help the client improve its requirements engineering (RE)...
Daniel M. Berry, Krzysztof Czarnecki, Michal Antki...
RE
1997
Springer
14 years 2 months ago
Extended Requirements Traceability: Results of an Industrial Case Study
Contribution structures offer a way to model the network of people who have participated in the requirements engineering process. They further provide the opportunity to extend co...
Orlena Gotel, Anthony Finkelstein
RE
2008
Springer
13 years 9 months ago
Requirements Capture with RCAT
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
Margaret H. Smith, Klaus Havelund
SAC
2003
ACM
14 years 3 months ago
Eliciting Coordination Policies from Requirements
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
Henry Muccini, Fabio Mancinelli