`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: Mahr:Bernd

### Contributed to:

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