Travelled to:1 × Portugal
2 × France
Collaborated with:M.H.Kacem A.H.Kacem K.Drira Z.Hrichi E.Mezghani
Talks about:model (4) soa (4) pattern (3) design (3) event (2) construct (1) approach (1) correct (1) toward (1) specif (1)
Person: Imen Tounsi
DBLP: Tounsi:Imen
Contributed to:
2013
2013
2013Wrote 3 papers:
- ECSA-2013-TounsiKK #design pattern #modelling #refinement
- Building Correct by Construction SOA Design Patterns: Modeling and Refinement (IT, MHK, AHK), pp. 33–44.
- ICEIS-v2-2013-TounsiHKKD #design pattern #modelling #specification #using
- Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns (IT, ZH, MHK, AHK, KD), pp. 294–301.
- SAC-2013-TounsiKKDM #approach #design pattern #formal method #modelling #towards
- Towards an approach for modeling and formalizing SOA design patterns with Event-B (IT, MHK, AHK, KD, EM), pp. 1937–1938.