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 × Czech Republic
1 × Finland
1 × Japan
2 × Germany
2 × USA
Collaborated with:
D.M.Zimmerman F.Fairmichael M.Janota R.Hyland G.T.Leavens E.Poll M.Moskal J.Lopuszanski
Talks about:
specif (3) formal (2) test (2) implement (1) function (1) document (1) behavior (1) modular (1) librari (1) instant (1)

Person: Joseph R. Kiniry

DBLP DBLP: Kiniry:Joseph_R=

Facilitated 3 volumes:

CBSE 2011PrCo
CBSE 2010PrCo
SLE 2008PrCo

Contributed to:

TAP 20122012
CSEE&T 20112011
CBSE 20092009
FM 20082008
CAV 20072007
SMT 20072008
SPLC 20072007

Wrote 7 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.
CBSE-2009-KiniryF #consistency #design #documentation #implementation #specification
Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations (JRK, FF), pp. 242–261.
FM-2008-KiniryZ #formal method
Secret Ninja Formal Methods (JRK, DMZ), pp. 214–228.
CAV-2007-LeavensKP #behaviour #composition #functional #java #ml #specification #tutorial #verification
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java (GTL, JRK, EP), p. 37.
SMT-2007-MoskalLK08
E-matching for Fun and Profit (MM, JL, JRK), pp. 19–35.
SPLC-2007-JanotaK #feature model #higher-order #logic #modelling #reasoning
Reasoning about Feature Models in Higher-Order Logic (MJ, JRK), pp. 13–22.

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.