Special Issue of the Formal Aspects of Computing Journal on Software Engineering and Formal Methods (SEFM'14) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2016

Special Issue of the Formal Aspects of Computing Journal on Software Engineering and Formal Methods (SEFM'14)

Dimitra Giannakopoulou
  • Fonction : Directeur scientifique
Gwen Salaün
  • Fonction : Directeur scientifique
  • PersonId : 880331
Michael Butler
  • Fonction : Directeur scientifique

Résumé

This special issue of the Formal Aspects of Computing journal contains a selection of the best papers accepted at the 12 th edition of the international conference series on Software Engineering and Formal Methods (SEFM). This conference was held in Grenoble (France) on September 1-5, 2014. The aim of the conference was to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to scale up their application in the software industry and to encourage their integration with practical engineering methods. The SEFM'14 conference received 106 full submissions, and the programme committee of the conference decided to accept 29 papers. Out of these 29 papers, we selected the best six papers, and the authors of these papers were invited to submit a revised and extended version of their work to this special issue. After a meticulous review process, we finally accepted five of the six invited papers. The topics covered in this special issue are the following: Domain Specific Languages, Component-based Systems and Architectures, Learning Finite State Machines, Construction and Verification of Imperative Programs, and Partial Order Reduction in the context of Model Checking.
Fichier principal
Vignette du fichier
editorial-sefm14.pdf (88.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01419890 , version 1 (20-12-2016)

Identifiants

Citer

Dimitra Giannakopoulou, Gwen Salaün, Michael Butler (Dir.). Special Issue of the Formal Aspects of Computing Journal on Software Engineering and Formal Methods (SEFM'14). Springer, 2016, ⟨10.1007/s00165-016-0368-0⟩. ⟨hal-01419890⟩
246 Consultations
49 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More