Sciweavers

2897 search results - page 190 / 580
» Test Case Integration: From Components to Systems
Sort
View
FASE
2008
Springer
15 years 5 months ago
Regular Inference for State Machines Using Domains with Equality Tests
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
Therese Berg, Bengt Jonsson, Harald Raffelt
159
Voted
HASE
1997
IEEE
15 years 8 months ago
Automated Computation of Decomposable Synchronization Conditions
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
Gilberto Matos, James M. Purtilo, Elizabeth L. Whi...
ICRA
2007
IEEE
135views Robotics» more  ICRA 2007»
15 years 10 months ago
Robot-Dummy Crash Tests for Robot Safety Assessment
— New technologies and processes enhance the need for direct human-robot-interaction, to fully exploit the potential of robots’ accuracy and humans’ adaptability. Therefore, ...
Susanne Oberer, Rolf Dieter Schraft
ICSE
1999
IEEE-ACM
15 years 8 months ago
Software Architecture Classification for Estimating the Cost of COTS Integration
i The use of commercial-off-the-shelf (COTS) products creates a software integration problem, whether a single COTS software component is being integrated into a software system, o...
Daniil Yakimovich, James M. Bieman, Victor R. Basi...
DAC
2011
ACM
14 years 3 months ago
Extracting behavior and dynamically generated hierarchy from SystemC models
SystemC is a popular modeling language which can be used to specify systems at bstraction level. Currently, SystemC tools can not cope with SystemC models for which the module hie...
Harry Broeders, René van Leuken