|
СТ |
A Two-Layered Approach to Support Systematic Software Development |
1998 |
Heisel M., Jahnichen S. |
|
|
|
Lecture Notes in Computer Science |
10.12.1998 |
|
СТ |
Adding Feature to Component-Based Systems |
2004 |
Heisel M., Sonquieres J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
|
СТ |
Specification of the Unix File System: A Comparative Case Study |
1995 |
Heisel M. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
|
СТ |
Specifying Embedded Systems with Statecharts and Z: An Algebra for Cyclic Software Components |
1998 |
Grieskamp W., Heisel M., Dorr H. |
|
|
|
Lecture Notes in Computer Science |
18.04.1998 |
|
СТ |
Tool Support for Formak Software Development: A Generic Architecture |
1995 |
Heisel M., Santen T., Zimmermann D. |
Lecture Notes in Computer Science |
|
|
Software Engineering - ESEC 95 |
30.11.1995 |
|
СТ |
Toward a Formal Model of Sotware Components |
2002 |
Heisel M., Santen T., Souquieres J. |
|
|
|
Lecture Notes in Computer Science |
20.11.2002 |
|
СТ |
Use of Patterns in Formal Development: Systematic Transition from Problems in Architectural Designs |
2003 |
Choppy C., Heisel M. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
