2748 search results - page 42 / 550 » Generating Object-Z Specifications from Use Cases |
120
Voted
BRAIN
2010
Springer
14 years 9 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
113
click to vote
ECOOP
2006
Springer
15 years 4 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...
111
Voted
ESWA
2011
14 years 4 months ago
2011
Radiotherapy planning is a complex problem which requires both expertise and experience of an oncologist. A Case Based Reasoning (CBR) system is developed to generate dose plans f...
109
click to vote
SOCA
2008
IEEE
15 years 18 days ago
2008
IEEE
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computi...
TSE
1998
15 years 10 days ago
1998
ABSTRACT. This paper presents a novel, scenario-based notation called Use Case Maps (UCMs) for describing, in a high-level way, how the organizational structure of a complex system...