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 × Denmark
1 × USA
1 × United Kingdom
Collaborated with:
D.Bianculli L.C.Briand
Talks about:
pattern (3) tempor (3) base (3) driven (2) trace (2) model (2) properti (1) diagnost (1) approach (1) express (1)

Person: Wei Dou


Contributed to:

ECMFA 20142014
MoDELS 20172017
MoDELS 20182018

Wrote 3 papers:

ECMFA-2014-DouBB #named #ocl
OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL (WD, DB, LCB), pp. 51–66.
MoDELS-2017-DouBB #approach #modelling
A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties (WD, DB, LCB), pp. 323–333.
MoDELS-2018-DouBB #modelling #specification
Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications (WD, DB, LCB), pp. 278–288.

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.