1645 search results - page 43 / 329 » Rationale-Based Use Case Specification |
147
click to vote
SIGSOFT
2006
ACM
16 years 6 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
193
click to vote
CLEF
2007
Springer
16 years 6 days ago
2007
Springer
In participating in this CLEF evaluation campaign, our first objective is to propose and evaluate various indexing and search strategies for the Russian language, in order to obta...
148
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Few genetic factors predisposing to the sporadic form of amyotrophic lateral sclerosis (ALS) have been identified, but the pathology itself seems to be a true multifac...
167
click to vote
ICRE
1998
IEEE
15 years 10 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
198
click to vote
CAD
2008
Springer
15 years 6 months ago
2008
Springer
The main difficulty associated with a collaborative design process is understanding the product data exchanged during design. Efficient and effective coordination of design activi...