 | 2008 |
| 8 |  | Andreas Bollin:
Concept location in formal specifications.
Journal of Software Maintenance 20(2): 77-105 (2008) |
| 2006 |
| 7 |  | Andreas Bollin:
Crossing the Borderline - From Formal to Semi-Formal Specifications.
SET 2006: 73-84 |
| 2005 |
| 6 |  | Andreas Bollin:
Maintaining Formal Specifications - Decomposition of Large Z-Specifications.
ICSM 2005: 443-452 |
| 2004 |
| 5 |  | Andreas Bollin:
The Efficiency of Specification Fragments.
WCRE 2004: 266-275 |
| 2003 |
| 4 |  | Roland Mittermeir,
Andreas Bollin:
Demand-Driven Specification Partitioning.
JMLC 2003: 241-253 |
| 2001 |
| 3 |  | 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 |