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 × Canada
1 × France
1 × USA
Collaborated with:
R.Calinescu Y.Rafiq S.Kikuchi
Talks about:
softwar (2) system (2) base (2) architectur (1) increment (1) framework (1) resolut (1) develop (1) verifi (1) specif (1)

Person: Kenneth Johnson

DBLP DBLP: Johnson:Kenneth

Contributed to:

QoSA 20142014
ASE 20132013
CBSE 20132013

Wrote 3 papers:

QoSA-2014-JohnsonC #architecture #evolution #performance #smt #specification
Efficient re-resolution of SMT specifications for evolving software architectures (KJ, RC), pp. 93–102.
ASE-2013-CalinescuJR #self #verification
Developing self-verifying service-based systems (RC, KJ, YR), pp. 734–737.
CBSE-2013-JohnsonCK #component #framework #incremental #verification
An incremental verification framework for component-based software systems (KJ, RC, SK), pp. 33–42.

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.