129 search results - page 10 / 26 » IBDL: A Language for Interface Behavior Specification and Te... |
CICLING
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
DAC
2007
ACM
14 years 9 months ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
TOOLS
2009
IEEE
14 years 2 months ago
2009
IEEE
Single inheritance often forces developers to duplicate code and logic. This widely recognized situation affects both business code and tests. In a large and complex application w...
FATES
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
This paper introduces City Browser, a prototype multimodal, conversational, spoken language interface for automotive navigational aid and information access. A study designed to e...