Travelled to:1 × France
Collaborated with:M.R.Lowry T.Pressburger A.Philpot M.E.Stickel R.J.Waldinger
Talks about:subroutin (2) softwar (2) librari (2) composit (1) astronom (1) approach (1) program (1) environ (1) automat (1) amphion (1)
Person: Ian Underwood
DBLP: Underwood:Ian
Contributed to:
1994
1994Wrote 3 papers:
- CADE-1994-StickelWLPU #composition #deduction #library
- Deductive Composition of Astronomical Software from Subroutine Libraries (MES, RJW, MRL, TP, IU), pp. 341–355.
- KBSE-1994-LowryPPU #automation #library #named #programming
- AMPHION: Automatic Programming for Subroutine Libraries (MRL, AP, TP, IU), p. 2.
- KBSE-1994-LowryPPU94a #approach #design #formal method
- A Formal Approach to Domain-Oriented Software Design Environments (MRL, AP, TP, IU), pp. 48–57.