A multilevel contract model for dependable Feature-Oriented components

TitreA multilevel contract model for dependable Feature-Oriented components
Publication TypeConference Paper
Year of Publication2014
AuthorsRhanoui, M, B. Asri, E
Conference Name2014 9th International Conference on Intelligent Systems: Theories and Applications, SITA 2014
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. © 2014 IEEE.

URLhttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84904596650&doi=10.1109%2fSITA.2014.6847278&partnerID=40&md5=6f574de296778d6b1ed4ff898fc66eb1
DOI10.1109/SITA.2014.6847278
Revues: 

Partenaires

Localisation


Location map

Suivez-nous sur

  

Contactez-nous

ENSIAS

Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc

Résultat de recherche d'images pour "icone fax" Télécopie : (+212) 5 37 77 72 30

    Compteur de visiteurs:283,070
    Education - This is a contributing Drupal Theme
    Design by WeebPal.