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 × India
2 × USA
Collaborated with:
M.D.Ernst K.Donohue F.Coward W.Dietl S.Dietzel K.Muslu
Talks about:
specif (2) pluggabl (1) contract (1) checker (1) barrier (1) verifi (1) write (1) studi (1) reduc (1) build (1)

Person: Todd W. Schiller

DBLP DBLP: Schiller:Todd_W=

Contributed to:

ICSE 20142014
OOPSLA 20122012
ICSE 20112011

Wrote 3 papers:

ICSE-2014-SchillerDCE #case study #contract #specification #tool support
Case studies and tools for contract specifications (TWS, KD, FC, MDE), pp. 596–607.
OOPSLA-2012-SchillerE #specification
Reducing the barriers to writing verified specifications (TWS, MDE), pp. 95–112.
ICSE-2011-DietlDEMS #using
Building and using pluggable type-checkers (WD, SD, MDE, KM, TWS), pp. 681–690.

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.