Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

2 Résultats
authFullName_s : Caine Silva
Page :
triés par
Image document

PAMELA: an annotation-based Java Modeling Framework

 Sylvain Guérin , Guillaume Polet , Caine Silva , Joel Champeau , Jean-Christophe Bach et al.
Science of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Article dans une revue hal-03217126v1

Contract-based design patterns: a design by contract approach to specify security patterns

 Caine Silva , Sylvain Guérin , Raul Mazo , Joël Champeau
15th International Conference on Availibitlity, Reliability ans Security, ARES 2020, Association for Computing Machinery (ACM), Aug 2020, Virtual Event, Ireland. pp.1-9, ⟨10.1145/3407023.3409185⟩
Communication dans un congrès hal-02958111v1
Page :