BLOCKS, a Component Framework with Checking Facilities for Knowledge-Based Systems

Abstract : BLOCKS is an answer to the software engineering needs of the design of knowledge-based system engines. It is a framework composed of reusable and adaptable software components. However , its safe and correct use is complex and we supply formal models and associated tools to assist using it. These models and tools are based on behavioral description of components and on model checking techniques. They ensure a safe reuse of the components, especially when extending them through inheritance, owing to the notion of behavioral refinement.
Type de document :
Article dans une revue
Informatica, 2001, Special Issue on Component Based Software Development, 25 (4), pp.7
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01861673
Contributeur : Sabine Moisan <>
Soumis le : samedi 25 août 2018 - 15:37:21
Dernière modification le : mercredi 12 septembre 2018 - 01:15:42

Fichier

Informatica_27.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01861673, version 1

Collections

Citation

Sabine Moisan, Annie Ressouche, Jean-Paul Rigault. BLOCKS, a Component Framework with Checking Facilities for Knowledge-Based Systems. Informatica, 2001, Special Issue on Component Based Software Development, 25 (4), pp.7. 〈hal-01861673〉

Partager

Métriques

Consultations de la notice

60

Téléchargements de fichiers

8