Beiträge zu Tagungen, Konferenzen, Workshops entstanden am Lehrstuhl unter Prof. Dr. rer. nat. Claus Lewerentz

Denny Schneeweiss, Andreas Pleuss

Interactive Techniques to Support the Configuration of Complex Feature Models

In: Mira Mezini, Danilo Beuche, Ana Moreira (Eds.) Proceedings of the 1st International Workshop on Model-Driven Product Line Engineering (MDPLE'2009). June 24, 2009, Twente, The Netherlands, pp. 3-10
Homepage MDPLE 2009
Abstract
2009[02] UBICO

Andreas Noack, Randolf Rotta

Multi-level Algorithms for Modularity Clustering

In: Jan Vahrenhold (Ed.): Experimental Algorithms. 8th International Symposium SEA 2009, Dortmund, Germany, June 4-6, 2009, Proceedings. Springer-Verlag, LNCS 5526, pages 257-268, ISBN 978-3-642-02010-0
Homepage SEA 2009
SpringerLink - Buch
SpringerLink - Buchkapitel
2009[05] UBICO

Goetz Botterweck, Mikoláš Janota,  Denny Schneeweiss

A design of a configurable feature model configurator

In: David Benavides, Andreas Metzger, Ulrich W. Eisenecker, editors, Third International Workshop on Variability Modelling of Software-Intensive Systems, Seville, Spain, January 28-30, 2009. Proceedings. Volume 29 of ICB Research Report, Universität Duisburg-Essen, 2009. VaMoS 2009, pages 165-168
Homepage VaMoS 2009
Abstract
2009[01] UBICO

Frank Salger, Marcel Bennicke, Gregor Engels, Claus Lewerentz

Comprehensive Architecture Evaluation and Management in Large Software Systems

In: Quality of Software Architectures. Models and Architectures. 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings, pages 205 - 219, Springer-Verlag
Homepage QoSA '08
SpringerLink - Buchkapitel
Abstract
2008[05] UBICO

Marcus Ciolkowski, Jens Heidrich, Frank Simon, Mathias Radicke

Empirical results from using custom-made software project control centers in industrial environments

In: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement (ESEM), Oktober 09-10, 2008, Kaiserslautern, Germany. ESEM '08, Seiten 243-252
ACM - Paper
Abstract
2008[04] UBICO

Goetz Botterweck, Steffen Thiel, Ciarán Cawley, Daren Nestor, André Preußner

Visual Configuration in Automotive Software Product Lines.

In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland. IEEE Computer Society 2008, ISBN 978-0-7695-3262-2, 1070-1075
Homepage COMPSAC 2008
2008[02] UBICO

Ciarán Cawley, Daren Nestor, André Preußner, Goetz Botterweck, Steffen Thiel

Interactive Visualisation to Support Product Configuration in Software Product Lines

In: Patrick Heymans, Kyo Chul Kang, Andreas Metzger, Klaus Pohl (Eds.): Second International Workshop on Variability Modelling of Software-Intensive Systems, Universität Duisburg-Essen, Germany, January 16-18, 2008, Proceedings. ICB Research Report 2008. VaMoS 2008, pages 7-16
Homepage VaMoS 2008
Proceedings
Abstract
2008[03] UBICO

Petra Becker-Pechau, Marcel Bennicke

Concepts of Modeling Architectural Modules Views for Compliance Checks Based on Architectural Styles

In: J. Smith (Ed.): Proceedings of the 11th IASTED International Conference on Software Engineering and Applications (SEA'07), 19.-21.11.2007, Cambridge, MA, USA, 2007
SEA 2007
ACTA Press - Proceedings
ACTA Press - Abstract
2007[01]

Alexandre Bergel, Claus Lewerentz, Liam O’Brien

Classboxes : Supporting Unanticipated Variation Points in the Source Code

In: Proceedings of the 2nd Workshop on Aspect-Oriented Product Line Engineering (AOPLE-2), Lancaster University, Computing Department, Technical Report, COMP-005-2007, October 4, 2007, Salzburg, Austria, pp. 8-13
Homepage AOPLE
2007[04]

Marcel Bennicke, Frank Steinbrückner, Mathias Radicke, Jan-Peter Richter

"Das sd&m Software Cockpit: Architektur und Erfahrungen"

In: Rainer Koschke, Otthein Herzog, Karl-Heinz Rödiger, Marc Ronthaler (Hrsg.): INFORMATIK 2007 - Informatik trifft Logistik. Band 2. Beiträge der 37. Jahrstagung der Gesellschaft für Informatik e.V. (GI) 24.-27. September 2007 in Bremen. GI-Edition - Lecture Notes in Informatics (LNI), P-110, Bonner Köllen Verlag (2007), ISBN 978-3-88579-204-8, ISSN 1617-5468, S. 254-260
Informatik 2007
Informatik 2007 - Band 1
Informatik 2007 - Band 2
Abstract
HA 07-001 / 2007[02]

Marcus Ciolkowski, Jens Heidrich, Jürgen Münch, Frank Simon, Mathias Radicke

Evaluating: Software Project Control Centers in Industrial Environments

In: Proceedings of the 1st International Symposium on Empirical Software Engineering and Measurement (ESEM), September 20-21, 2007, Madrid, Spanien. ESEM 2007, Seiten 314-323
ESEM 2007
IEEE
2007[05]

Marcel Bennicke, Jan-Peter Richter

Architecture of a Generic Software Control Centre

1. Workshop on Measurement- based Cockpits for Distributed Software and Systems Engineering Project SOFTPIT 2007. International Conference on Global Software Engineering, 27. - 30.08.2007, München
SOFTPIT 2007
Abstract
2007[03]

Marcel Bennicke, André Baresel
Establishing Efficient Code Quality Reviews to Monitor External Projects
In: Jia Xisheng et al. (Eds.): Proceedings of the First International Conference on Maintenance Engineering ICME 2006 New Century New Maintenance October 15-18, 2006, Chengdu, P.R.China. ISBN 703018064x
China Scientific Book Services

Michael John, Andreas Mühlhausen, Thomas Zehler
Gelebter Wissenstransfer in regionale Software-Unternehmen - Das Berlin-Brandenburger Softwareforum
In: Christian Hochberger, Rüdiger Liskowsky (Hrsg.): Informatik 2006 - Informatik für Menschen, Band 1. Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2.-6. Oktober 2006 in Dresden. S. 266-272, ISBN978-3-88579-187-4
36. GI-Tagung Informatik 2006
Informatik 2006 - Band 1
Informatik 2006 - Band 2
Abstract
HA 06-001,-002 / 2006[02]

Andreas Noack
Energy-Based Clustering of Graphs with Nonuniform Degrees
In: Patrick Healy, Nikola S. Nikolov (Eds.): Graph Drawing. 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005. LNCS 3843, pages 309-320, ISBN 3-540-31425-3
Graph Drawing 2005
SpringerLink - Abstract
HA 05-014 / 2005[04] UBICO

Dirk Beyer, Andreas Noack
Clustering Software Artifacts Based on Frequent Common Changes
In: James R. Cordy, Harald Gall, Jonathan I. Maletic (Eds.): Proceedings 13th International Workshop on Program Comprehension (IWPC 2005), 15-16 May 2005, St. Louis, Missouri, USA. IEEE Computer Society 2005, ISBN 0-7695-2254-8
IWPC 2005
IEEE
HA 05-010 / 2005[01] UBICO

Andreas Noack, Claus Lewerentz
"A Space of Layout Styles for Hierarchical Graph Models of Software Systems"
In: Thomas L. Naps, Wim De Pauw (Eds.): Proceedings SoftVis '05. ACM Symposium on Software Visualization, St. Louis, Missouri, USA, May 14-15, 2005. ACM 2005, ISBN 1-59593-073-6
SoftVis 2005
ACM
HA 05-009 / 2005[03] UBICO

Andreas Noack
"An Energy Model for Visual Graph Clustering"
In Guiseppe Liotta (Ed.): Graph Drawing. 11th International Symposium, GD 2003, Perugia, Italy, Sep. 21 - 24, 2003, Revised Papers. LNCS 2912, pages 425 - 436, Springer, 2004, ISBN 3-540-20831-3
Graph Drawing Symposium
SpringerLink - Book
SpringerLink - Abstract
2004[04] UBICO

Michael Balzer, Andreas Noack, Oliver Deussen, Claus Lewerentz
"Software Landscapes: Visualizing the Structure of Large Software Systems"
In: Proceedings of the Joint Eurographics - IEEE TCVG Symposium on Visualization (VisSym 2004), pages 261-266, Konstanz, Germany, May 19–21, 2004 © Eurographics Association,  
Full Version
Abstract
2004[01] 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
Homepage WCRE 2003
Abstract
Full Version
2003[06] 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, 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
SpringerLink - Buch
SpringerLink - Buchkapitel
2003[03] UBICO

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.
Homepage IWPC 2003
IEEE
Abstract
2003[01] 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

Claus Lewerentz, Frank Simon
"Metrics-based 3D Visualization of Large Object-Oriented Programs"
In: Proceedings of the First IEEE International Workshop on Visualizing Software for Understanding and Analysis (VISSOFT 2002), 26th June 2002, Paris, France. IEEE Computer Society, pages 70 - 77, ISBN 0-7695-1662-9IEEE Computer Society
2002[02] UBICO

Claus Lewerentz
"Metrics-based Quality Analysis of Large Software Products"
In: Reiner R. Dumke, Manfred Bundschuh (Hrsg.): Software-Metriken in der Praxis. Tagungsband des DASMA Software Metrik Kongresses METRIKON 2001, 25. - 26. Oktober, 2001, Dortmund, Seiten 133 - 146, Reihe: Magdeburger Schriften zum Empirischen Software Engineering, Shaker Verlag, Aachen 2002, ISBN 3-8322-0470-9
Shaker Verlag
DASMA
2002[03] UBICO

Claus Lewerentz, Frank Simon, Frank Steinbrückner
"CrocoCosmos"
In: Petra Mutzel, Michael Jünger, Sebastian Leipert (Eds.): Graph Drawing. 9th International Symposium, GD 2001. Vienna, Austria, September 23-26, 2001, Revised Papers. LNCS 2265, pages 446 - 447, Springer-Verlag, 2002, ISBN 3-540-43309-0
Homepage GD 2001
Springer-Link Buch
Springer-Link Abstract
2002[04] UBICO02]

Claus Lewerentz, Frank Simon, Frank Steinbrückner, Holger Breitling, Carola Lilienthal, Martin Lippert
"External Validation of a Metrics-Based Quality Assessment of the JWAM Framework"
In: Reiner Dumke, Dieter Rombach (Hrsg.): Software-Messung und -Bewertung. Tagungsband Workshop der GI-Fachgruppe 2.1.10. vom 10./11. September 2001 an der Universität Kaiserslautern, Seiten 32 - 49, Aus der Reihe: Information Engineering und IV-Controlling, Deutscher Universitätsverlag, Wiesbaden 2002, ISBN 3-8244-7592-8, Seiten 32-49
Gesellschaft für Informatik e.V., Fachgruppe Metriken (2.1.10), Software-Messung und -Bewertung
2002[05] UBICO

Dirk Beyer, Claus Lewerentz, Frank Simon
"Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object Oriented Systems"
In: Reiner Dumke and Alain Abran (editors): New Approaches in Software Measurement. 10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000. Proceedings of the 10th International Workshop on Software Measurement. LNCS 2006, pages 1-17, Springer-Verlag, 2001
Homepage IWSM 2000
SpringerLink Buch
2001[07] UBICO

Heinrich Rust, Claus Lewerentz
"A Model for Analyzing Measurement Based Feedback Loops in Software Development Projects"
In: Althoff, Feldmann, Müller (Eds). Advances in Learning Software Organizations, Third International Workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001. Proceedings. LNCS 2176, pp 135-149, Springer-Verlag Heidelberg, 2001, ISBN 3-540-42574-8
SpringerLink Buch
SpringerLink Abstract
2001[12] UBICO

Dirk Beyer
Efficient Reachability Analysis and Refinement Checking of Timed Automata using BDDs
In: Tiziana Margaria and Tom Melham (Eds.): Correct Hardware Design and Verification Methods. 11th IFIP WG 10.5 Advanced Research Working Conference (CHARME 2001, Livingston), Scotland, UK, September 4 - 7, 2001, Proceedings, LNCS 2144, pages 86-91, Springer-Verlag, 2001, ISBN 3-540-42541-1
Homepage CHARME 2001
SpringerLink - Buch
SpringerLink - Paper
2001[05] UBICO

Dirk Beyer
Rabbit: Verification of Real-Time Systems
In: Paul Pettersson and Sergio Yovine (editors): Proceedings of the Workshop on Real-Time Tools (RT-TOOLS 2001, August 20, Aalborg, Denmark), pages 13-21, Uppsala, 2001.
Homepage RT-TOOLS'2001
Abstract
2001[04]

Dirk Beyer, Andreas Noack
"Efficient Verification of Timed Automata using BDDs"
In Stefania Gnesi, Ulrich Ultes-Nitsche (editors): Proceedings of the 6th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001), 16-17 July, Paris, pages 95-113, INRIA, Paris, 2001
Homepage FMICS 2001
2001[08] UBICO

Frank Simon, Frank Steinbrückner, Claus Lewerentz
"Anpaßbare, explorierbare virtuelle Informationsräume zur Qualitätsbewertung großer Software-Systeme"
In: Jürgen Ebert, Bernt Kullbach, Franz Lehner (Eds.) 3. Workshop Software Reengineering (Bad Honnef, 10./11. Mai 2001) Universität Koblenz-Landau, Fachberichte Informatik, I-2002
WSR 2001
2001[14] UBICO

Dirk Beyer, Andy Heinig
"Different Strategies for BDD-based Reachability Analysis of Timed Automata"
In Charles Rattray, Miroslav Sveda and Jerzy Rozenblit (editors): Proceedings of the 2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 2001), pages 89-98, Stirling, 2001
Abstract
2001[06] UBICO

Dirk Beyer, Heinrich Rust
"Cottbus Timed Automata: Formal Definition and Semantics"
In Charles Rattray, Miroslav Sveda and Jerzy Rozenblit (editors): Proceedings of the 2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 2001), pages 75 - 87, Stirling, 2001
Abstract
Full Version
2001[09]

Frank Simon, Frank Steinbrückner, Claus Lewerentz
"Metrics Based Refactoring"
In: Pedro Sousa, Jürgen Ebert (Eds): Proceedings of the Fifth Conference on Software Maintenance and Reengineering,
CSMR 2001, 14-16 March 2001, Lisbon, Portugal, IEEE Computer Society, 2001, pages 30 - 38, ISBN 0-7695-1028-0
CSMR 2001
2001[15] UBICO

Dirk Beyer

Improvements in BDD-based Reachability Analysis of Timed Automata

In: Jose Nuno Oliveira and Pamela Zave (editors): FME 2001: Formal Methods for Increasing Software Productivity. International Symposium of Formal Methods Europe, Berlin, Gemany, March 12-16, 2001 Proceddings.(FME 2001) LNCS 2021, pages 318-343, Springer-Verlag, 2001, ISBN 3-540-41791-5
FME 2001
SpringerLink - Buch
SpringerLink - Paper
2001[02] UBICO

Claus Lewerentz, Heinrich Rust

Die Rolle der Reflexion in Software-Praktika

In: Horst Lichter, Martin Glinz (Hrsg.): Software-Engineering im Unterricht der Hochschulen - SEUH 7. Proceedings des 7. Workshops, 22. - 23. Februar 2001, Zürich, pp. 73-88, dpunkt-Verlag, Heidelberg, 2001, ISBN 3-89864-106-6
Homepage SEUH 2001
2001[10] UBICO

Frank Simon, Silvio Löffler

Semiautomatische, kohäsionsbasierte Subsystembildung

In: Reiner Dumke, Franz Lehner (Hrsg): Software-Metriken: Entwicklungen, Werkzeuge und Anwendungsverfahren. Seiten 153-170, Gabler Edition Wissenschaft, DUV, 2000, ISBN 3-8244-7120-5,
Workshop, 30.09. - 01.10.1999, Regensburg
HA00-013 2000[14]

Frank Simon, Heinrich Rust, Claus Lewerentz

Quality - Metrics - Numbers - Consequences: Lessons learned

In: Reiner Dumke, Franz Lehner (Hrsg): Software-Metriken: Entwicklungen, Werkzeuge und Anwendungsverfahren, Seiten 51-70, Gabler Edition Wissenschaft, DUV, 2000, ISBN 3-8244-7120-5, Workshop, 30.09. - 01.10.1999, Regensburg
HA00-013 2000[15]

Dirk Beyer, Andreas Noack

BDD-basierte Verifikation von Realzeit-Systemen

In: Jens Grabowski, Stefan Heymer (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme (FBT'00), 10. GI/ITC- Fachgespräch, Lübeck, 22.-23. Juni 2000, Seiten 79 - 89, Shaker Verlag, Aachen, June 2000, ISBN 3-8265-7491-5
Abstract
2000[03] UBICO

Heinrich Rust

Modelling the Generalized Railway Crossing with Hybrid Abstract State Machines

In: Eckehard Schnieder, Uwe Becker (Eds.): 9th IFAC Symposium Control in Transportantion Systems 2000, Proceedings Vol.2, pages 281 - 288, June 13-15, 2000, Braunschweig/Germany
Abstract
2000[10]

Dirk Beyer, Heinrich Rust

A Tool for Modular Modelling and Verification of Hybrid Systems

In: Alfons Crespo, Joan Vila (Editors): Real-Time Programming 2000. A Proceedings Volume from the 25th IFAC Workshop, Palma, Spain, 17-19 May 2000. (WRTP 2000), pages 169-174, ISBN 978008043686
Abstract
2000[06]

Frank Simon, Claus Lewerentz, Frank Steinbrückner

Multidimensionale Mess- und Strukturbasierte Softwarevisualisierung

In: Jürgen Ebert (Hrsg.):  2. Workshop Software Reeingineering (WSR 2000), Bad Honnef, 11./12. Mai 2000, Universität Koblenz-Landau, Fachberichte Informatik 8/2000, Mai 2000
WSR 2000
2000[13]

Dirk Beyer, Heinrich Rust

Modular Modelling and Verification with Cottbus Timed Automata

In Charles Rattray, Miroslav Sveda (Eds.): Proceedings of the 1st IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS) 2000, pages 17 - 24, University of Stirling, Edinburgh, Scotland, April 6 - 7, 2000
Abstract
2000[05]

Dirk Beyer, Claus Lewerentz, Heinrich Rust

Modelling and Analysing a Railroad Crossing in a Modular Way

In: Stefania Gnesi, Ina Schieferdecker, Axel Rennoch (Editors): 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems. Proceedings of FMICS'2000, pages 287-303, Berlin, April 3-4, 2000, ISSN 1435-2702
Abstract
Fraunhofer-Publica
2000[01]

Heinrich Rust

Hybrid Abstract State Machines: Using the Hyperreals for Describing Continuous Changes in a Discrete Notation

In: Yuri Gurevich, Phillip W. Kutter, Martin Odersky, Lothar Thiele (Eds.): Abstract State Machines - Theory and Applications. International Workshop, ASM 2000 Monte Verità, Switzerland, March 19-24, 2000, Proceedings, ETH Zürich, Springer-Verlag, LNCS 1912, ISBN 3-540-67959-6
2000[09]

Frank Simon, Silvio Löffler, Claus Lewerentz

Distance based cohesion measuring

In: Proceedings of the 2nd European Software Measurement Conference (FESMA) 99, 4. - 8. October 1999 in Amsterdam, Technologisch Instituut Amsterdam, ISBN 90-76019-07-X, 1999
1999[09]

Frank Simon, Silvio Löffler

Semiautomatische, kohäsionsbasierte Subsystembildung

In: Proceedings of 9. Workshop of GI-working group "Software-Metrics", 30.09. to 01.10.1999, Regensburg
Workshop "Softwaremetriken"
1999[08]

Frank Simon, Heinrich Rust, Claus Lewerentz

Quality - Metrics - Numbers - Consequences: Lessons learned

In: Proceedings of 9. Workshop of GI-working group "Software-Metrics", 30.09. to 01.10.1999, Regensburg
Workshop "Softwaremetriken"
Abstract
1999[10]

Claus Lewerentz, Heinrich Rust

Normed Dinosaurs in a Creative Chaos? Software Development as Controlled Learning Process

Proceedings KnowTech '99, 16.-18. September 1999, Potsdam
FullVersion
1999[05]

Dirk Beyer, Heinrich Rust

Concepts of Cottbus Timed Automata

In: Katharina Spies and Bernhard Schätz (editors): Formale Beschreibungstechniken für verteilte Systeme (FBT'99), 9. GI/ITG Fachgespräch, München, 17.-18. Juni 1999, Herbert Utz Verlag, pages 27-34, ISBN 3-89675-918-3
Abstract
Link zum Buch/Verlag
1999[02]

Frank Simon, Gerd Köhler, Heinrich Rust

Understanding object oriented software systems without source code inspection

In: ECOOP '99 Workshop on Experiences in Object-Oriented Reengineering, 15.06.1999 in Lissabon/Portugal, FZI-Karlsruhe, FZI-Report 2-6-6/99, 1999
Workshop "Experiences in Reengineering"
FZI-Veröffentlichung
HA 99-001 / 1999[07]

Gerd Köhler, Heinrich Rust, Frank Simon

Softwaresichten: Eine Quellcode-Abstraktion zum Programmverstehen

In Proceedings zum Workshop Software-Reengineering in Bad Honnef, 27. bis 28. Mai 1999, erschienen als Fachbericht Informatik an der Universität Koblenz-Landau, 7/99
Fachbericht Informatik 7/99
Abstract
1999[04]

Heinrich Rust

Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Patterns

In: Wolfgang Ehrenberger (editor): Computer Safety, Reliability and Security, SAFECOMP '98: 17th International Conference, Heidelberg, Germany, October 5-7, 1998, Proceedings, LNCS 1516, pages 32-44, Springer-Verlag, Berlin 1998, ISBN 3-540-65110-1
Homepage SAFECOMP'98
SpringerLink-Buch
SpringerLink-Paper
1998[08]

Hans-Ulrich Kobialka, Claus Lewerentz

User Interfaces Supporting the Software Process

In: Volker Gruhn (Hrsg.): Software Process Technology, 6th European Workshop, EWSPT '98, Weybridge, UK, September 16-18, 1998, Proceedings, LNCS 1487, pages 60-74, Springer-Verlag, Heidelberg, 1998, ISBN 3-540-64956-5
SpringerLink - Buchkapitel
1998[03]

Claus Lewerentz, Frank Simon

A product metrics tool integrated into a software development environment

In: W. Melo, S. Morasca, H. A. Sahraoui: Object-Oriented Product Metrics for Software Quality Assessment Workshop Proceedings, pages 36-41, ECOOP '98 BrüsClaus Lewerentz, Frank Simon
"A product metrics tool integrated into a software development environment"
In: W. Melo, S. Morasca, H. A. Sahraoui: Object-Oriented Product Metrics for Software Quality Assessment Workshop Proceedings, pages 36-41, ECOOP '98 Brüssel, Juli 1998, ISBN 2-921316-87-0 ( Crocodile)
Homepage ECOOP'98

Kurzfassungen beider Papiere (1998[04]) sind veröffentlicht in: Serge Demeyer, Jan Bosch (Hrsg.): Object-Oriented Technology. ECOOP'98 Workshop Reader, Lecture Notes in Computer Science, LNCS 1543, Seiten 255 - 258, Springer-Verlag, Heidelberg,1998, ISBN 3-540-65460-7
SpringerLink-Buch
1998[06]sel, Juli 1998, ISBN 2-921316-87-0 ( Crocodile)

Gerd Köhler, Heinrich Rust, Frank Simon

Assessment of Large Object Oriented Software Systems: A Metrics Based Process

In: W. Melo, S. Morasca, H. A. Sahraoui: Object-Oriented Product Metrics for Software Quality Assessment Workshop Proceedings, pages 16-23, ECOOP '98 Brüssel, Juli 1998, ISBN 2-921316-87-0 ( Crocodile)
Homepage ECOOP'98

Kurzfassungen beider Papiere (1998[06]) sind veröffentlicht in: Serge Demeyer, Jan Bosch (Hrsg.): Object-Oriented Technology. ECOOP'98 Workshop Reader, Lecture Notes in Computer Science, LNCS 1543, Seiten 250-251, Springer-Verlag, Heidelberg, 1998, ISBN 3-540-65460-7
SpringerLink-Buch
1998[04]

Dirk Beyer, Heinrich Rust
"Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata"
In: Hartmut König and Peter Langendörfer (Eds.): Formale Beschreibungstechniken für Verteilte Systeme (FBT '98), 8. GI/ITG-Fachgespräch 1998, Cottbus, 4. und 5. Juni 1998, pages 148-159, Berichte aus der Informatik, Shaker Verlag, Aachen, June 1998, ISBN 3-8265-3807-2
Shaker-Verlag
Abstract
1998[01]

Heinrich Rust

A PVS Specification of an Invoicing System

In: Allemand, Attiogbé, Habrias (editors): Proceedings of International Workshop on Comparing Systems Specification Techniques, Nantes, France, March 1998, pages 51-65, ISBN 2-906082-29-5
Abstract
FullVersion
HA 98-007 / 1998[07]

Karin Erni, Claus Lewerentz

Applying Design-Metrics to Object-Oriented Frameworks

In: Proceedings of the Third International Software Metrics Symposium (METRICS '96) From Measurement to Empirical Results, March 25-26, 1996, Berlin, Germany 1996, pages 64-74, IEEE Computer Society Press, Los Alamitos, California, 1996, ISBN 0-8186-7364-8
IEEE » Abstract/FullVersion
HA 96-016 / 1996[01]

Claus Lewerentz, Thomas Lindner

Formal Methods for Reactive Systems

Tutorial Notes, 1st International Conference on Engineering Complex Computer Systems, 52 Seiten, Fort Lauderdale, November 1995
HA 95-015 / 1995[07]

Claus Lewerentz, Thomas Lindner

Case Study "Production Cell'': A Comparative Study in Formal Specification and Verification

In: Manfred Broy, Stefan Jähnichen (Eds.): KORSO: Methods, Languages, and Tools for the Construction of Correct Software, LNCS 1009, pages 388-416, Springer-Verlag, Berlin, Heidelberg, 1995, ISBN 3-540-60589-4
SpringerLink-Buch
SpringerLink-Paper
HA 95-016 / 1995[06]

Claus Lewerentz, Thomas Lindner, Andreas Rüping, Emil Sekerinski

On Object- Oriented Design and Verification

In: Manfred Broy, Stefan Jähnichen (Eds.): KORSO: Methods, Languages and Tools for the Construction of Correct Software, LNCS 1009, pages 92-111, Springer-Verlag, Berlin, Heidelberg, 1995, ISBN 3-540-60589-4
SpringerLink-Buch
SpringerLink-Paper
HA 95-016 / 1995[05]