Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Génie logiciel formel : théorie, pratique et pédagogie (apprentissage a partir de l'expérience du vote électronique)

Abstract : This HDR is a summary of the last 20 years of my research career (since I started my PhD). It provides an overview of all my research activities. It focuses on my contributions to the domain of formal software engineering. With respect to fundamental theory, it reports on my work in the area of feature interactions and feature composition. To demonstrate my ability to apply research to real-world problems, it reports on my research on electronic voting. It then reports on my research into the symbiotic nature of research and teaching, with emphasis on formal methods and problem based learning. Finally, it puts forward a proposal for research into a software product line for e-voting systems, that combines theory, practice and education in a complementary manner
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

https://hal.archives-ouvertes.fr/tel-01363179
Contributor : Médiathèque Télécom Sudparis & Institut Mines-Télécom Business School <>
Submitted on : Wednesday, November 30, 2016 - 2:43:21 PM
Last modification on : Tuesday, October 20, 2020 - 11:29:02 AM

Identifiers

  • HAL Id : tel-01363179, version 1

Citation

John Paul Gibson. Génie logiciel formel : théorie, pratique et pédagogie (apprentissage a partir de l'expérience du vote électronique). Software Engineering [cs.SE]. Télécom Sud Paris, 2011. ⟨tel-01363179⟩

Share

Metrics

Record views

169

Files downloads

420