Publikationen aus dem Jahr 2003
Dirk Beyer, Claus Lewerentz
CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs
In Proceedings of the 11th IEEE International Workshop on Program Comprehension (IWPC 2003, Portland, OR, May 10-11), pages 294 - 295, IEEE Computer Society Press, Los Alamitos (CA), 2003, ISBN 0-7695-1883-4, ISSN 1092-8138.
2003[01] UBICO
CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs
Dirk Beyer and Claus Lewerentz
Software Systems Engineering Research Group
Technical University Cottbus, Germany
(db|cl)@informatik.tu-cottbus.de
Abstract. Automatic pattern-based recognition of design weakness is a research topic since almost 10 years. Reports about experiments with existing approaches reveal two major problems: A notation for easy and flexible specification of the pattern is missing; only a restricted set of patterns is applicable because of the limitations of the specification language. Performance improvement is needed, because the computation time of existing tools is to high to be acceptable for large real-world systems.
The tool CrocoPat satisfies the following three requirements:
(1) The analysis is done automatically by the tool, i.e.~without user interaction.
(2) The properties of a system are specified in an easy and flexible way because the patterns are described by relational expressions. On demand the user is able to define new patterns he is interested in, or to change existing patterns to solve specific problems.
(3) The tool is able to analyze large object-oriented programs (1'000 to 10'000~classes) in acceptable time.
Abstract 2003[01]
Dirk Beyer, Claus Lewerentz
CrocoPat: A Tool for Efficient Pattern Recognition in Large Object-Oriented Programs
Technical Report I-04/2003, Computer Science Reports, Technical University Cottbus, January 2003, ISSN 1437-7969
Abstract
2003[02] UBICO
Dirk Beyer, Claus Lewerentz, Andreas Noack
Rabbit: A Tool for BDD-based Verification of Real-Time Systems
In Warren A. Hunt, Jr. and Fabio Somenzi (editors): Proceedings of the 15th International Conference on Computer Aided Verification (CAV 2003, Boulder, CO, July 8-12), LNCS 2725, pages 122-125, Springer-Verlag, Berlin, 2003, ISBN 3-540-40524-0
Abstract
2003[03] UBICO
Dirk Beyer, Andreas Noack
A Comparative Study of Decision Diagrams for Real-Time Verification
Technical Report I-03/2003, Computer Science Reports, Technical University Cottbus, January 2003, ISSN 1437-7969
Abstract
2003[04] UBICO
Dirk Beyer, Andreas Noack
Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?
In Hartmut König, Monika Heiner, Adam Wolisz (editors): Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003, Berlin, September 29 - October 2), LNCS 2767, pages 193 - 208, Springer-Verlag, Berlin, 2003, ISBN 3-540-20175-0
Abstract
Full Version
2003[05] UBICO
Dirk Beyer, Andreas Noack, Claus Lewerentz
Simple and Efficient Relational Querying of Software Structures
In Proceedings of the 10th Working Conference on Reverse Engineering (WCRE 2003, Victoria, Canada, Nov. 13-16), pages 216-225, 
IEEE Computer Society Press, 2003
Abstract
Full Version
2003[06] UBICO
Andreas Noack
Energy Models for Drawing Clustered Small-World Graphs.
Technical Report I-07/2003, Computer Science Reports, Technical University Cottbus, May 2003, ISSN 1437-7969
2003[07] UBICO
Claus Lewerentz, Andreas Noack
CrocoCosmos - 3D Visualization of Large Object-Oriented Programs
In: Michael Jünger, Petra Mutzel (editors): Graph Drawing Software, pages 279-297, Springer-Verlag, 2003, ISBN 3-540-00881-0
2003[08] UBICO
Heinrich Rust
A Non-standard Approach to Operational Semantics for Timed Systems
In Egon Börger, Angelo Gargantini, Elvinia Riccobene (editors): Abstract State Machines 2003. Advances in Theory and Practice. 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings. LNCS 2589, pages 423-424, Heidelberg, Springer, 2003, ISBN 3-540-00624-9
2003[09] UBICO