5775 search results - page 163 / 1155 » A Rationale-based Analysis Tool |
156
click to vote
EMSOFT
2005
Springer
16 years 17 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...
158
Voted
TACAS
2005
Springer
16 years 15 days 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...
170
Voted
ISI
2004
Springer
16 years 12 days 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 ...
207
click to vote
SEKE
2004
Springer
16 years 11 days 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...
196
click to vote
ISIPTA
2003
IEEE
16 years 9 days 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...