Sciweavers

16 search results - page 2 / 4
» iceccs 2008
Sort
View
ICECCS
2008
IEEE
87views Hardware» more  ICECCS 2008»
13 years 11 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»
13 years 11 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»
13 years 11 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»
13 years 11 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»
13 years 11 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...