|
СТ |
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems |
2003 |
Beyer D., Lewerentz C., Noack A. |
|
|
|
Lecture Notes in Computer Science |
19.09.2003 |
|
СТ |
A Model for Analyzing Measurement Based Feedback Loops in Software Development Projects |
2001 |
Lewerentz C., Rust H., Simon F. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.10.2001 |
|
СТ |
Metrics Based Refactoring |
2001 |
Simon F., Steinbruckner F., Lewerentz C. |
|
|
|
Proc. of the Fifth European Conf. on Software Maintenance and Reengineering, Lisbon, Portugal, 14-16 March, 2001 |
21.07.2001 |
|
СТ |
Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems |
2001 |
Beyer D., Lewerentz C., Simon F. |
|
|
|
Lecture Notes in Computer Science |
04.04.2001 |
|
СТ |
User Interfaces Supporting the Software Process |
1998 |
Kobialka H. -U., Lewerentz C. |
|
|
|
Lecture Notes in Computer Science |
09.10.1998 |
|
СТ |
On Object-Oriented Design and Verification |
1995 |
Lewerentz C., Lindner Th., Ruping A., Sekerinski E. |
Lecture Notes in Computer Science |
|
|
KORSO: Methods, Languages, and Tools for the Construction of Correct Software |
28.12.1995 |
|
СТ |
Case Study "Production Cell": A Comparative Study in Formal Specification and Verification |
1995 |
Lewerentz C., Lindner T. |
Lecture Notes in Computer Science |
|
|
KORSO: Methods, Languages, and Tools for the Construction of Correct Software |
28.12.1995 |
|
СТ |
I. Introduction |
1995 |
Lewerentz C., Lindner T. |
|
|
|
Lecture Notes in Computer Science |
25.03.1995 |
|
СТ |
III. Comparative Survey |
1995 |
Lewerentz C., Lindner T. |
|
|
|
Lecture Notes in Computer Science |
25.03.1995 |
|
СТ |
Building Integrated Software Development Environments Part I: Tool Specification |
1992 |
Engels G., Lewerentz C., Nagl V., Scharfer W., Schurr A. |
|
|
|
ACM Trans. Software Engineering and Methodology |
25.06.1992 |
