Development of a Generic Voter under FoCal - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Development of a Generic Voter under FoCal

Résumé

Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle cus-tomised to FoCaL. In this paper, we examine how to specify and implement a concrete example following this cycle. We show that indeed it is feasible and we present how FoCaL features fit with software best practises like modularity, reuse, fault confinement and maintenance.
Fichier principal
Vignette du fichier
papier_voteur_tap09.pdf (393.26 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01241361 , version 1 (11-12-2015)

Identifiants

Citer

Philippe Ayrault, Thérèse Hardin, François Pessaux. Development of a Generic Voter under FoCal. TAP 2009 - 3rd International Conference on Tests and Proofs, Jul 2009, Zurich, Switzerland. pp.10-26, ⟨10.1007/978-3-642-02949-3_3⟩. ⟨hal-01241361⟩
52 Consultations
106 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More