Sciweavers

2832 search results - page 54 / 567
» Flexible Modelling for Requirements Engineering
Sort
View
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
15 years 10 months ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik
SEDE
2010
15 years 3 months ago
On Software Test Estimate and Requirement Tracking
Test is a key activity for ensuring software quality. There is always pressure from project sponsor and management for software development team to commit to shorter schedule and ...
Jing-Chiou Liou
MA
2010
Springer
143views Communications» more  MA 2010»
15 years 3 months ago
The pairwise beta distribution: A flexible parametric multivariate model for extremes
We present a new parametric model for the angular measure of a multivariate extreme value distribution. Unlike many parametric models that are limited to the bivariate case, the ...
Daniel Cooley, Richard A. Davis, Philippe Naveau
REFSQ
2007
Springer
15 years 11 months ago
Integrated Requirement Selection and Scheduling for the Release Planning of a Software Product
This paper investigates two integer linear programming models that integrate requirement scheduling into software release planning. The first model can schedule the development of ...
C. Li, J. M. van den Akker, Sjaak Brinkkemper, Gui...
OOPSLA
2007
Springer
15 years 11 months ago
Synthesizing reactive systems from LSC requirements using the play-engine
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
Hillel Kugler, Cory Plock, Amir Pnueli