Beiträge zu Tagungen, Konferenzen, Workshops
Mathias Schubanz, Andreas Pleuss, Goetz Botterweck, Claus Lewerentz
Modeling rationale over time to support product line evolution planning
In: Ulrich W. Eisenecker, Sven Apel, Stefania Gnesi (Eds.): Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings. ACM 2012, ISBN 978-1-4503-1058-1
2012[01] UBICO
Frank Steinbrückner, Claus Lewerentz
Representing Development History in Software Cities
In: Proceedings of the 5th International Symposium on Software Visualization, October 25-26, 2010, Salt Lake City, Utah, USA, pp. 193-202, ISBN 978-1-4503-0028-5
2010[04] UBICO
Frank Steinbrückner
Coherent Software Cities. Supporting Comprehension of Evolving Software Systems
In: Proceedings 2010 IEEE International Conference on Software Maintenance, Doctoral Symposium, Timişoara, Romania September 12-18, 2010, ISBN 978-1-4244-8630-4
IEEE Computer Society - Proceedings
2010[03] UBICO
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
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
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
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
2008[05] UBICO
Marcus Ciolkowski, Jens Heidrich, Frank Simon, and 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
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
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
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
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
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
HA 07-001 / 2007[02]
Marcus Ciolkowski, Jens Heidrich, Jürgen Münch, Frank Simon, and 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
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
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
2006[01]
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
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
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
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
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
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
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
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
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.
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-9
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
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
2002[04] UBICO
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
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
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
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.
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
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
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
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
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
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 9780080436869
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
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
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, 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
1999[10]
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
1999[08]
Claus Lewerentz, Heinrich Rust
Normed Dinosaurs in a Creative Chaos? Software Development as Controlled Learning Process
Proceedings KnowTech '99, 16.-18. September 1999, Potsdam
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
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"
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
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
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
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üssel, Juli 1998, ISBN 2-921316-87-0 ( Crocodile)
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
1998[06]
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)
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
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
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
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
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
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
HA 95-016 / 1995[05]