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 × China
1 × Czech Republic
1 × Finland
1 × Spain
1 × USA
Collaborated with:
J.R.Kiniry R.Hyland F.Fairmichael K.M.Chandy L.Tian A.Granicz J.Hickey
Talks about:
test (2) enterpris (1) librari (1) instant (1) gradeif (1) factori (1) conform (1) verifi (1) toward (1) system (1)

Person: Daniel M. Zimmerman

DBLP DBLP: Zimmerman:Daniel_M=

Contributed to:

TAP 20122012
CSEE&T 20112011
FM 20082008
EDOC 20062006
RTA 20032003

Wrote 5 papers:

TAP-2012-KiniryZH #consistency #library #specification #testing #verification
Testing Library Specifications by Verifying Conformance Tests (JRK, DMZ, RH), pp. 51–66.
CSEET-2011-ZimmermanKF #towards
Toward instant gradeification (DMZ, JRK, FF), pp. 406–410.
FM-2008-KiniryZ #formal method
Secret Ninja Formal Methods (JRK, DMZ), pp. 214–228.
EDOC-2006-ChandyTZ #enterprise
Enterprise Computing Systems as Information Factories (KMC, LT, DMZ), pp. 427–432.
Rewriting UNITY (AG, DMZ, JH), pp. 138–147.

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.