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 × Germany
1 × United Kingdom
2 × USA
Collaborated with:
M.Wand S.L.P.Jones T.Nordin R.B.Kieburtz J.M.Bell J.Hook J.Lewis T.Sheard L.Walton F.Bellegarde T.Zhou L.McKinney A.Kotov I.Smith L.Tong
Talks about:
softwar (4) generat (2) represent (1) demonstr (1) reliabl (1) portabl (1) languag (1) correct (1) concept (1) assembl (1)

Person: Dino Oliva

DBLP DBLP: Oliva:Dino

Contributed to:

IFL 19971997
ICSE 19961996
TRI-Ada 19941994
LFP 19921992

Wrote 5 papers:

IFL-1997-JonesNO #assembly #named
C-: A Portable Assembly Language (SLPJ, TN, DO), pp. 1–19.
ICSE-1996-KieburtzMBHKLOSSW #component #empirical #generative #re-engineering
A Software Engineering Experiment in Software Component Generation (RBK, LM, JMB, JH, AK, JL, DO, TS, IS, LW), pp. 542–552.
TRI-Ada-1994-BellBHKKLMOSTWZ #concept #design #reliability #reuse
Software design for reliability and reuse: a proof-of-concept demonstration (JMB, FB, JH, RBK, AK, JL, LM, DO, TS, LT, LW, TZ), pp. 396–404.
LFP-1992-WandO #correctness #proving
Proving the Correctness of Storage Representations (MW, DO), pp. 151–160.
TAPSOFT-1995-KieburtzBBHLOSWZ #generative #specification
Calculating Software Generators from Solution Specifications (RBK, FB, JMB, JH, JL, DO, TS, LW, TZ), pp. 546–560.

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.