 | 2009 |
|---|
| 8 |       | Frank Salger,
Stefan Sauer,
Gregor Engels:
Integrated specification and quality assurance for large business information systems.
ISEC 2009: 129-130 |
| 7 | | Frank Salger:
On the Use of Handover Checkpoints to Manage the Global Software Development Process.
OTM Workshops 2009: 267-276 |
| 6 | | Frank Salger:
Software Architecture Evaluation in Global Software Development Projects.
OTM Workshops 2009: 391-400 |
| 2008 |
|---|
| 5 | | Frank Salger,
Marcel Bennicke,
Gregor Engels,
Claus Lewerentz:
Comprehensive Architecture Evaluation and Management in Large Software-Systems.
QoSA 2008: 205-219 |
| 2004 |
|---|
| 4 | | Mila E. Majster-Cederbaum,
Frank Salger:
Towards the hierarchical verification of reactive systems.
Theor. Comput. Sci. 318(3): 243-296 (2004) |
| 2000 |
|---|
| 3 |  | Mila E. Majster-Cederbaum,
Frank Salger,
Maria Sorea:
A Priori Verification of Reactive Systems.
FORTE 2000: 35-50 |
| 2 | | Mila E. Majster-Cederbaum,
Frank Salger:
Correctness by Construction: Towards Verification in Hierarchical System Development.
SPIN 2000: 163-180 |
| 1999 |
|---|
| 1 | | Mila E. Majster-Cederbaum,
Frank Salger:
A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic.
ASIAN 1999: 379-380 |
