1288 search results - page 6 / 258 » On Analysis of Design Component Contracts: A Case Study |
ASM
2010
ASM
14 years 4 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
APSEC
2000
IEEE
14 years 2 months ago
2000
IEEE
This experience paper presents observations, lessons learned, and recommendations based on a case study of reuse. The case study is concerned with the development, maturation, and...
SSS
2010
Springer
13 years 7 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
CODES
2006
IEEE
14 years 3 months ago
2006
IEEE
Process variability has a detrimental impact on the performance of memories and other system components, which can lead to parametric yield loss at the system level due to timing ...
SCS
2003
13 years 11 months ago
2003
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...