2118 search results - page 382 / 424 » Execution of A Requirement Model in Software Development |
203
click to vote
SAC
2011
ACM
14 years 8 months ago
2011
ACM
Regression testing is often performed with a time budget and it does not allow executing all test cases. Test case prioritization techniques re-order test cases to increase the ra...
183
click to vote
NGITS
1999
Springer
15 years 10 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
192
click to vote
ZUM
1997
Springer
15 years 10 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
176
click to vote
ICSE
2009
IEEE-ACM
16 years 24 days ago
2009
IEEE-ACM
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
169
click to vote
COMSWARE
2008
IEEE
16 years 15 days ago
2008
IEEE
Abstract—Mobile WiMAX aims to provide multimedia multicast/broadcast service (MBS) as well as elastic data service. However, supporting delay sensitive applications like video/au...