5775 search results - page 163 / 1155 » A Rationale-based Analysis Tool |
143
click to vote
EMSOFT
2005
Springer
16 years 1 days ago
2005
Springer
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
145
click to vote
TACAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
151
click to vote
ISI
2004
Springer
15 years 12 months ago
2004
Springer
Internet chatrooms are common means of interaction and communications, and they carry valuable information about formal or ad-hoc formation of groups with diverse objectives. This ...
195
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
172
click to vote
ISIPTA
2003
IEEE
15 years 11 months ago
2003
IEEE
The nature of much information available to decision makers is vague and imprecise, be it information for human managers in organisations or for process agents in a distributed co...