1 × USA
tapsoft (2) theori (2) implement (1) prospect (1) softwar (1) process (1) practic (1) develop (1) complex (1) algebra (1)
Person: Bernd Mahr
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.