5668 search results - page 422 / 1134 » Overlaps in Requirements Engineering |
180
click to vote
WOSP
2004
ACM
16 years 8 days ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
172
click to vote
CSMR
2003
IEEE
16 years 4 days ago
2003
IEEE
Software visualization tools face many challenges in terms of their implementation, including scalability, usability, adaptability, and durability. Such tools, like many other res...
180
click to vote
ICDCS
2003
IEEE
16 years 4 days ago
2003
IEEE
A range of database services are being offered on clusters of workstations today to meet the demanding needs of applications with voluminous datasets, high computational and I/O r...
175
click to vote
SIGSOFT
2003
ACM
16 years 3 days ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
169
click to vote
EWSPT
2003
Springer
16 years 2 days ago
2003
Springer
The issue of building a Process Support System Environment (PSSE), or a family of PSEE, to make them interoperate or to use them to pilot applications or services requires new solu...