LES DERNIÈRES INFORMATIONS
A Multilevel Contract Model for Dependable Feature-Oriented Components
Titre | A Multilevel Contract Model for Dependable Feature-Oriented Components |
Publication Type | Conference Paper |
Year of Publication | 2014 |
Authors | Rhanoui, M, Asri, BEl |
Conference Name | 2014 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS: THEORIES AND APPLICATIONS (SITA'14) |
Publisher | IEEE; IEEE Morocco |
ISBN Number | 978-1-4799-3566-6 |
Abstract | Feature-Oriented System Development is a promising and recent approach for developing domain-specific component-based systems. To be adopted in a safety-critical environment it must handle dependability requirements and offer mechanisms to ensure the reliability level of the components and the system. For this purpose, the contract-based approach is a lightweight formal method for designing and specifying systems' requirements, it can be introduced in an early stage during the design phase. In this paper, we present a multilevel contract model and a domain-specific modeling language that aims to address reliability and quality issues for component-based systems by expressing and specifying a set of its properties and constraints.
|
Contactez-nous
ENSIAS
Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc
Télécopie : (+212) 5 37 77 72 30
Secrétariat de direction : 06 61 48 10 97
Secrétariat général : 06 61 70 77 02
Service des affaires estudiantines : 06 62 44 87 47
Résidences : 06 61 82 89 77
Compteur de visiteurs:393,654
Education - This is a contributing Drupal Theme
Design by
WeebPal.