1804 search results - page 139 / 361 » Use Cases in Model-Driven Software Engineering |
129
click to vote
AMAST
2004
Springer
15 years 9 months 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...
117
click to vote
RE
2004
Springer
15 years 9 months ago
2004
Springer
Assumptions are frequently made during requirements analysis of a system-to-be about the trustworthiness of its various components (including human components). These trust assump...
117
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Designing and maintaining a huge class model is a very complex task. When an object oriented software or model becomes bigger and bigger, duplicated elements start to appear, decr...
135
click to vote
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
135
click to vote
CSMR
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper describes a research project concentrating on improving requirements management. We started this research by identifying the problems companies face with respect to req...