Travelled to:1 × Germany
1 × The Netherlands
2 × USA
Collaborated with:∅ G.Bühler S.Maneth
Talks about:control (2) command (2) system (2) inform (2) ada (2) implement (1) platform (1) independ (1) function (1) reengin (1)
Person: Heinz Faßbender
DBLP: Fa=szlig=bender:Heinz
Contributed to:
20011999
19961995Wrote 4 papers:
- SIGAda-2001-Fassbender #ada #information management #re-engineering #uml #using
- Reengineering an Ada95-programmed command and control information system by using UML (HF), pp. 53–60.
- SIGAda-1999-BuhlerF #ada #corba #framework #independence #information management #java #platform
- Applying Ada, Java and CORBA for making a command and control information system platform independent (GB, HF), pp. 83–88.
- ALP-1996-FassbenderM #decidability #recursion #strict
- A Strict Border for the Decidability of E-Unification for Recursive Functions (HF, SM), pp. 194–208.
- PLILP-1995-Fasbender #implementation
- A Verified Implementation of Narrowing (HF), pp. 63–80.