2274 search results - page 199 / 455 » Qualitative Modeling for Requirements Engineering |
159
click to vote
ISSTA
2006
ACM
16 years 13 days ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
153
click to vote
COMPSAC
1998
IEEE
15 years 10 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
142
click to vote
WSC
2004
15 years 7 months ago
2004
When major transportation infrastructures such as freight corridors or port systems are being planned, there are typically multiple phases of preliminary engineering required. Dur...
155
click to vote
ADAEUROPE
2005
Springer
16 years 23 hour ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
152
click to vote
EWSA
2005
Springer
16 years 6 hour ago
2005
Springer
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...