1988 search results - page 208 / 398 » Engineering formal metatheory |
141
click to vote
QSIC
2005
IEEE
16 years 5 days ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
192
click to vote
QSIC
2005
IEEE
16 years 5 days ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
190
click to vote
SEFM
2005
IEEE
16 years 5 days ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
131
click to vote
IUI
2005
ACM
16 years 4 days ago
2005
ACM
Voicemail has become an integral part of our personal and professional communication. The number of messages that accumulate in our voice mailboxes necessitate new ways of priorit...
162
click to vote
WOSP
2005
ACM
16 years 4 days ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...