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 × 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 DBLP: Fa=szlig=bender:Heinz

Contributed to:

SIGAda 20012001
SIGAda 19991999
ALP 19961996
PPDP 19951995

Wrote 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.

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.