8627 search results - page 1358 / 1726 » Software Engineering Using RATionale |
202
click to vote
ISSRE
2006
IEEE
16 years 27 days ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...
157
click to vote
ERLANG
2006
ACM
16 years 26 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
188
click to vote
CODES
2005
IEEE
16 years 15 days ago
2005
IEEE
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
194
click to vote
EUROMICRO
2005
IEEE
16 years 15 days ago
2005
IEEE
State-of-the-art middleware and component technologies lack support for Quality of Service (QoS) management. Application developers, therefore, integrate QoS mechanisms into the a...
177
click to vote
TRIDENTCOM
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper introduces an open access wideband multiantenna wireless testbed. The testbed is configured as a four transmit antenna by four receive antenna system based on software...