BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Sweden
Collaborated with:
E.Teniente M.Sancho D.Calvanese M.Montali
Talks about:
artifact (2) process (2) centric (2) model (2) busi (2) uml (2) verifi (1) verif (1) valid (1)

Person: Montserrat Estañol

DBLP DBLP: Esta=ntilde=ol:Montserrat

Contributed to:

CAiSE 20152015
CIKM 20142014

Wrote 2 papers:

CAiSE-2015-EstanolST #modelling #process #uml #validation #verification
Verification and Validation of UML Artifact-Centric Business Process Models (ME, MRS, ET), pp. 434–449.
CIKM-2014-CalvaneseMET #modelling #process #uml
Verifiable UML Artifact-Centric Business Process Models (DC, MM, ME, ET), pp. 1289–1298.

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.