Component substitution through dynamic reconfigurations
A Lanoix, O Kouchnarenko - arXiv preprint arXiv:1404.0848, 2014 - arxiv.org
Component substitution has numerous practical applications and constitutes an active
research topic. This paper proposes to enrich an existing component-based framework--a …
research topic. This paper proposes to enrich an existing component-based framework--a …
Changing system interfaces consistently: a new refinement strategy for CSP∥ B
S Schneider, H Treharne - Science of Computer Programming, 2011 - Elsevier
This paper is concerned with event refinement in the context of CSP∥ B. Our motivation to
include this notion within the CSP∥ B framework is the desire to increase flexibility in the …
include this notion within the CSP∥ B framework is the desire to increase flexibility in the …
A generic process to build reliable distributed software components from early to late stages of software development
In this paper, we propose an incremental software development process that addresses
reliability concerns, from early to late stages of software development. Contrary to existing …
reliability concerns, from early to late stages of software development. Contrary to existing …
[PDF][PDF] Contract-based verification of Kmelia component assemblies using Event-B
Building reliable software systems from components requires to verify the consistency of
components and the correctness of component assemblies. In this work, we design a …
components and the correctness of component assemblies. In this work, we design a …
Développement formel par composants: assemblage et vérification à l'aide de B
A Lanoix, S Colin, J Souquières - … des Sciences et Technologies de l' …, 2008 - hal.science
Dans une approche composants pour le développement de logiciels, les composants sont
considérés comme des boîtes noires. Une application consiste en un assemblage de …
considérés comme des boîtes noires. Une application consiste en un assemblage de …
Refining interfaces: the case of the B method
D Déharbe, BEG Gomes, AM Moreira - arXiv preprint arXiv:0907.2039, 2009 - arxiv.org
Model-driven design of software for safety-critical applications often relies on mathematically
grounded techniques such as the B method. Such techniques consist in the successive …
grounded techniques such as the B method. Such techniques consist in the successive …
Schémas de développement d'adaptateurs à l'aide de B
A Lanoix, S Colin, J Souquieres - Approches Formelles dans l' …, 2007 - hal.science
Dans une approche composants pour le développement de logiciels, les composants sont
considérés comme des boîtes noires qui communiquent via leurs interfaces. L'interface …
considérés comme des boîtes noires qui communiquent via leurs interfaces. L'interface …