5439 search results - page 415 / 1088 » Patterns: from system design to software testing |
180
Voted
IJCAI
2001
15 years 9 months ago
2001
One advantage of Case-Based Reasoning (CBR) is the relative ease of constructing and maintaining CBR systems, especially as a number of commercial CBR tools are available. However...
205
Voted
ICESS
2004
Springer
16 years 1 months ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
230
Voted
JSAT
2010
15 years 2 months ago
2010
The design of a SAT-solver or the modification of an existing one is always followed by a phase of intensive testing of the solver on a benchmark of instances. This task can be ve...
189
Voted
ICSEA
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—In order to check the fulfilment of non-functional requirements at an early system design and development stage, we provide a framework that facilitates the combination ...
203
Voted
ICCBR
2005
Springer
16 years 1 months ago
2005
Springer
TIELT is a software testbed that facilitates the integration and testing of learning-embedded decision systems on user-selected tasks from virtual gaming simulators. A key componen...