BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
H.Ehrig ∅
Talks about:
tapsoft (2) theori (2) implement (1) prospect (1) softwar (1) process (1) practic (1) develop (1) complex (1) algebra (1)

Person: Bernd Mahr

DBLP DBLP: Mahr:Bernd

Contributed to:

STOC 19801980
TAPSOFT CAAP/FASE 19931993
TAPSOFT CAAP/FASE 19951995
TAPSOFT CAAP/FASE 19971997

Wrote 4 papers:

STOC-1980-EhrigM #algebra #complexity #implementation #specification
Complexity of Implementations on the Level of Algebraic Specifications (HE, BM), pp. 281–293.
TAPSOFT-1993-Mahr #type system
Applications of Type Theory (BM), pp. 343–355.
TAPSOFT-1995-EhrigM #aspect-oriented #development #process #theory and practice
A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development (HE, BM), pp. 3–24.
TAPSOFT-1997-EhrigM #roadmap
Future Trends of TAPSOFT (HE, BM), pp. 6–10.
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.