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 × Japan
1 × The Netherlands
1 × United Kingdom
Collaborated with:
A.Beckmann K.Ogata K.Futatsugi A.E.C.Cruz H.Iida
Talks about:
properti (1) illustr (1) develop (1) specif (1) deduct (1) valid (1) studi (1) shape (1) natur (1) model (1)

Person: Norbert Preining

DBLP DBLP: Preining:Norbert

Contributed to:

LICS 20152015
LOPSTR 20142014
ICSM 20132013

Wrote 3 papers:

LICS-2015-BeckmannP #deduction
Hyper Natural Deduction (AB, NP), pp. 547–558.
LOPSTR-2014-PreiningOF #case study #liveness #specification
Liveness Properties in CafeOBJ — A Case Study for Meta-Level Specifications (NP, KO, KF), pp. 182–198.
ICSM-2013-CruzIP #development #empirical #using #validation
An Empirical Illustration to Validate a FLOSS Development Model Using S-Shaped Curves (AECC, HI, NP), pp. 468–471.

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.