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 × Canada
1 × France
1 × Italy
1 × USA
Collaborated with:
M.Shahbaz K.C.Shashidhar A.Pretschner D.Holling M.Gemmar L.Lin J.H.Poore R.M.Hierons C.Robinson-Mallett
Talks about:
specif (3) algorithm (1) behavior (1) sequenc (1) qualiti (1) generic (1) augment (1) analysi (1) termin (1) system (1)

♂ Person: Robert Eschbach

DBLP DBLP: Eschbach:Robert

Facilitated 1 volumes:

MoDELS 2016PracticalTrackPrCo

Contributed to:

FASE 20132013
MoDELS 20132013
ISSTA 20112011
World Congress on Formal Methods 19991999

Wrote 4 papers:

FASE-2013-LinPEHR #analysis #behaviour #requirements #sequence #specification #string
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification (LL, JHP, RE, RMH, CRM), pp. 179–193.
MoDELS-2013-PretschnerHEG #assurance #fault #quality
A Generic Fault Model for Quality Assurance (AP, DH, RE, MG), pp. 87–103.
ISSTA-2011-ShahbazSE #component #embedded #refinement #specification
Iterative refinement of specification for component based embedded systems (MS, KCS, RE), pp. 276–286.
FM-v2-1999-Eschbach #algorithm #detection #specification #termination #verification
A Termination Detection Algorithm: Specification and Verification (RE), pp. 1720–1737.

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.