12333 search results - page 1971 / 2467 » System Level Modelling for Hardware Software Systems |
222
click to vote
RE
2004
Springer
16 years 22 days ago
2004
Springer
Scenarios and goals are effective and popular techniques for requirements definition. Validation is essential in order to ensure that they represent what stakeholders actually wan...
198
click to vote
DESRIST
2009
Springer
16 years 15 hour ago
2009
Springer
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...
169
Voted
ICRE
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper introduces an approach to multi-perspective requirements engineering (PREview) which has been designed for industrial use and discusses our practical experience in appl...
192
click to vote
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
195
click to vote
DEXAW
2004
IEEE
15 years 11 months ago
2004
IEEE
Management of large data repositories integrated into the Grid poses new challenges for Grid research. There already exist several successful Data Grid projects addressing process...