2008 |
7 | EE | Andreas Bollin:
Concept location in formal specifications.
Journal of Software Maintenance 20(2): 77-105 (2008) |
2005 |
6 | EE | Andreas Bollin:
Maintaining Formal Specifications - Decomposition of Large Z-Specifications.
ICSM 2005: 443-452 |
2004 |
5 | EE | Andreas Bollin:
The Efficiency of Specification Fragments.
WCRE 2004: 266-275 |
2003 |
4 | EE | Roland Mittermeir,
Andreas Bollin:
Demand-Driven Specification Partitioning.
JMLC 2003: 241-253 |
2001 |
3 | EE | Roland Mittermeir,
Andreas Bollin,
Heinz Pozewaunig,
Dominik Rauner-Reithmayer:
Goal-driven combination of software comprehension approaches for component based development.
SSR 2001: 95-102 |
1999 |
2 | | Andreas Bollin:
Dialoque Programming and WWW-based Systems.
WebNet 1999: 1660 |
1998 |
1 | | Andreas Bollin:
Improving Lectures and Practical Classes in using an Automatically Feedback System.
WebNet 1998 |