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 × Czech Republic
1 × Germany
1 × Sweden
1 × United Kingdom
Collaborated with:
M.Seidl R.Bill P.Kaufmann P.Brosch U.Egly G.Kappel H.Tompits M.Widl M.Wimmer
Talks about:
model (2) transform (1) techniqu (1) scenario (1) demonstr (1) specifi (1) qualiti (1) diagram (1) toward (1) specif (1)

Person: Sebastian Gabmeyer

DBLP DBLP: Gabmeyer:Sebastian

Contributed to:

SLE 20142014
TAP 20142014
ASE 20122012
TAP 20122012

Wrote 4 papers:

SLE-2014-BillGKS #model checking #ocl #specification
Model Checking of CTL-Extended OCL Specifications (RB, SG, PK, MS), pp. 221–240.
TAP-2014-Gabmeyer #assurance #quality
Quality Assurance in MBE Back and Forth (SG), pp. 78–81.
ASE-2012-Gabmeyer #model transformation #verification
Formal verification techniques for model transformations specified by-demonstration (SG), pp. 390–393.
TAP-2012-BroschEGKSTWW #diagrams #testing #towards #uml
Towards Scenario-Based Testing of UML Diagrams (PB, UE, SG, GK, MS, HT, MW, MW), pp. 149–155.

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.