Konferenzen

Beiträge zu Tagungen, Konferenzen, Workshops

Mathias Schubanz

Towards Enabling Design Rationale Capture by Asking the Right Questions

In: E. Plödereder, L. Grunske, E. Schneider, D. Ull (Hrsg.). 44. Jahrestagung der Gesellschaft für Informatik. INFORMATIK 2014: Big Data - Komplexität meistern. 22. - 26. September 2014, Stuttgart, Doktorandenprogramm. GI-Edition - Lecture Notes in Informatics (LNI), P-232, Bonner Köllen Verlag (2014), ISSN 1617-5468, ISBN 978-3-88579-626-8, Seiten 2257-2268

Portables Dokumentenformat Towards Enabling Design Rationale Capture by Asking the Right Questions

Mathias Schubanz

Design Rationale Capture in Software Architecture: What has to be captured?

In: Proceedings of the 19th International Doctoral Symposium on Components and Architecture. Doctoral Symposium of CompArch, 2014 June 30th - July 03rd, 2014, Lille, France. ISBN 978-1-4503-2593-6
Link zu einer externen Seite Homepage des Doktorandensymposiums
Link zu einer externen Seite ACM Digital Library

Mathias Schubanz, Andreas Pleuss, Howell Jordan, Goetz Botterweck

Portables Dokumentenformat Guidance for Design Rationale Capture to Support Software Evolution

6. Workshop "Design for Future 2014- Langlebige Softwaresysteme" des GI-Arbeitskreises „Langlebige Software-Systeme“ (AK L2S2) der Fachgruppen „Architekturen“ und „Software-Reengineering“ vom 28. - 30.04.2014 in Bad Honnef. In: Softwaretechnik-Trends, May 2014, Volume 34 (2), pages 60-61, ISSN 0720-8928
Link zu einer externen Seite Homepage des Workshops
Portables Dokumentenformat Proceedings des Workshops

Mathias Schubanz, Andreas Pleuss, Ligaj Pradhan, Goetz Botterweck, Anil Kumar Thurimella

Link zu einer externen Seite Model-driven Planning and Monitoring of Long-term Software Product Line Evolution

In: Stefania Gnesi, Philippe Collet, Klaus Schmid (Eds.): Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems VaMoS 2013, Pisa , Italy — January 23 - 25, 2013
Link zu einer externen Seite Homepage VaMoS2013
Link zu einer externen Seite ACM Digital Library
2013[01] UBICO

Mathias Schubanz, Andreas Pleuss, Goetz Botterweck, Claus Lewerentz

Link zu einer externen Seite 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
Link zu einer externen Seite Homepage VaMoS 2012
Link zu einer externen Seite ACM Digital Library
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
Link zu einer externen Seite Homepage SOFTVIS 2010
Link zu einer externen Seite ACM Digital Library
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
Link zu einer externen Seite Homepage ICSM 2010
Link zu einer externen Seite IEEE Computer Society - Paper
Link zu einer externen Seite IEEE Computer Society - Proceedings
2010[03] UBICO

Link zu einer externen Seite 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
Link zu einer externen Seite Homepage MDPLE 2009
Abstract
2009[02] UBICO

Andreas Noack, Link zu einer externen Seite 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
Link zu einer externen Seite Homepage SEA 2009
Link zu einer externen Seite SpringerLink - Buch
Link zu einer externen Seite SpringerLink - Buchkapitel
2009[05] UBICO

Goetz Botterweck, Mikoláš Janota,  Link zu einer externen Seite 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
Link zu einer externen Seite 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
Link zu einer externen Seite 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
Link zu einer externen Seite 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
Link zu einer externen Seite 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
Link zu einer externen Seite Homepage VaMoS 2008
Link zu einer externen Seite 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
Link zu einer externen Seite SEA 2007
Link zu einer externen Seite ACTA Press - Proceedings
Link zu einer externen Seite 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
Link zu einer externen Seite 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
Link zu einer externen Seite Informatik 2007
Link zu einer externen Seite Informatik 2007 - Band 1
Link zu einer externen Seite 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
Link zu einer externen Seite ESEM 2007
Link zu einer externen Seite 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
Link zu einer externen Seite 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
Link zu einer externen Seite 36. GI-Tagung Informatik 2006
Link zu einer externen Seite Informatik 2006 - Band 1
Link zu einer externen Seite 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
Link zu einer externen Seite Graph Drawing 2005
Link zu einer externen Seite 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
Link zu einer externen Seite 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
Link zu einer externen Seite SoftVis 2005
Link zu einer externen Seite 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
Link zu einer externen Seite Graph Drawing Symposium
Link zu einer externen Seite SpringerLink - Book
Link zu einer externen Seite 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
Link zu einer externen Seite 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
Link zu einer externen Seite SpringerLink - Buch
Link zu einer externen Seite 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
Link zu einer externen Seite 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
Link zu einer externen Seite Shaker Verlag
Link zu einer externen Seite 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
Link zu einer externen Seite Homepage GD 2001
Link zu einer externen Seite Springer-Link Buch
Link zu einer externen Seite 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
Link zu einer externen Seite Homepage IWSM 2000
Link zu einer externen Seite 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
Link zu einer externen Seite SpringerLink Buch
Link zu einer externen Seite 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
Link zu einer externen Seite Homepage CHARME 2001
Link zu einer externen Seite SpringerLink - Buch
Link zu einer externen Seite 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
Link zu einer externen Seite 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
Link zu einer externen Seite FME 2001
Link zu einer externen Seite SpringerLink - Buch
Link zu einer externen Seite 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
Link zu einer externen Seite 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,
Link zu einer externen Seite 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
Link zu einer externen Seite 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
Link zu einer externen Seite 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
Link zu einer externen Seite Workshop "Softwaremetriken"

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
Portables Dokumentenformat 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 zu einer externen Seite 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
Link zu einer externen Seite Workshop "Experiences in Reengineering"
Link zu einer externen Seite 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
Link zu einer externen Seite Homepage SAFECOMP'98
Link zu einer externen Seite SpringerLink-Buch
Link zu einer externen Seite 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
Link zu einer externen Seite 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)
Link zu einer externen Seite 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
Link zu einer externen Seite 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)
Link zu einer externen Seite 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
Link zu einer externen Seite 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
Link zu einer externen Seite 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
Portables Dokumentenformat 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
Link zu einer externen Seite 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
Link zu einer externen Seite SpringerLink-Buch
Link zu einer externen Seite 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
Link zu einer externen Seite SpringerLink-Buch
Link zu einer externen Seite SpringerLink-Paper
HA 95-016 / 1995[05]