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: Preining:Norbert
Contributed to:
2015
2014
2013Wrote 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.