7475 search results - page 419 / 1495 » Supporting use case based requirements engineering |
151
click to vote
ASAP
2007
IEEE
16 years 1 months ago
2007
IEEE
Though all of the current main-stream OSs have supported superpage to some extent, most of them need runtime information provided by applications, simulator or other tools. Transp...
157
click to vote
AMAST
2004
Springer
16 years 4 days ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
203
click to vote
MSS
1999
IEEE
15 years 11 months ago
1999
IEEE
In common with many large institutes, CERN has traditionally developed and maintained its own data management solutions. Recently, a significant change of direction has taken plac...
212
click to vote
ICPP
1998
IEEE
15 years 11 months ago
1998
IEEE
MPEG-4 which is currently being developed by MPEG (Moving Pictures Experts Group), is poised to become a standard for supporting current and emerging interactive multimedia applic...
168
click to vote
ISESE
2006
IEEE
16 years 23 days ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...