BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tounsi:Imen

Contributed to:

ECSA 20132013
ICEIS v2 20132013
SAC 20132013

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.