626 search results - page 79 / 126 » Correct Composition of Design Components |
124
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we present a novel approach to design and implement applications that provide location-aware services. We show how a clear separation of design concerns (e....
197
click to vote
SDL
2007
15 years 6 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
152
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
149
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
149
click to vote
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
The analysis of the amount of human resources required to complete a project is felt as a critical issue in any company of the electronics industry. In particular, early estimatin...