8627 search results - page 1557 / 1726 » Software Engineering Using RATionale |
158
click to vote
ARCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...
167
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents a new compile-time analysis that enables a testing methodology for white-box coverage testing of error recovery code (i.e., exception handlers) in Java web ser...
153
click to vote
UIST
2004
ACM
15 years 12 months ago
2004
ACM
We present a variant of hierarchical marking menus where items are selected using a series of inflection-free simple marks, rather than the single "zig-zag" compound mar...
180
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
159
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...