Sciweavers

16 search results - page 2 / 4
» iceccs 2008
Sort
View
ICECCS
2008
IEEE
87views Hardware» more  ICECCS 2008»
14 years 1 months ago
A Scalable Approach to Multi-style Architectural Modeling and Verification
Stephen Wong, Jing Sun, Ian Warren, Jun Sun 0001
ICECCS
2008
IEEE
124views Hardware» more  ICECCS 2008»
14 years 1 months ago
A Study of the AADL Mode Change Protocol
Dominique Bertrand, Anne-Marie Déplanche, S...
ICECCS
2008
IEEE
111views Hardware» more  ICECCS 2008»
14 years 1 months ago
Modes in Asynchronous Systems
specification Back to AADL Ongoing work Conclusion Modes in asynchronous systems J-F. Rolland - M. Filali - J-P. Bodeveix D. Thomas -D. Chemouil ASTRIUM - IRIT - CNES UML-AADL Apr...
Jean-François Rolland, Jean-Paul Bodeveix, ...
ICECCS
2008
IEEE
115views Hardware» more  ICECCS 2008»
14 years 1 months ago
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework
This paper discusses the requirements that a suitable formalism for dependability modeling/evaluation should possess. We also discuss the outline of Arcade, an architectural depen...
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haver...
ICECCS
2008
IEEE
3385views Hardware» more  ICECCS 2008»
14 years 1 months ago
Contract-Based Approach to Analyze Software Components
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Bou...