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: Oliva:Dino
Contributed to:
1997
1996
1994
1992
1995Wrote 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.