Publications

Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Editor(s)

Lambers, Leen, Uchitel, Sebastián

Type

book (editor)

Year of publication

2023

Publisher name

Cham, Switzerland : Springer

Computer Science; Informatics; Conference Proceedings; Research; Applications; Open Access

ISBN

978-3-031-30826-0

978-3-031-30825-3

DOI

https://doi.org/10.1007/978-3-031-30826-0

Lecture Notes in Computer Science LNCS ; volume 13991

---

A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties

Author(s)

John, Stefan, Kosiol, Jens, Lambers, Leen, Taentzer, Gabriele

Type

Scientific Article ref.

Year of publication

2023

Search-Based Software Engineering; Model-Driven Engineering; Evolutionary Computation

Source

Software and Systems Modeling, S. 1281 - 1318

Volume

22

ISSN

1619-1374

DOI

https://doi.org/10.1007/s10270-022-01078-x

---

Evaluation diversity for graph conditions

Author(s)

Schneider, Sven, Lambers, Leen

Type

Scientific Article ref.

Year of publication

2023

Graph logic; Logic coverage; Coverage criteria; Model generation; Validation; Debugging

Source

Journal of Logical and Algebraic Methods in Programming

Volume

133

ISSN

2352-2216

2352-2208

URL

https://www.sciencedirect.com/science/article/pii/S2352220823000160?via%3Dihub

DOI

https://doi.org/10.1016/j.jlamp.2023.100862

---

Evaluating temporal queries over history-aware architectural runtime models

Author(s)

Sakizloglou, Lucas

Type

doctoralthesis

Year of publication

2023

Publisher name

Potsdam : Universität

URN

urn:nbn:de:kobv:517-opus4-604396

DOI

https://doi.org/10.25932/publishup-60439

---

Tool support for the teaching of state-based behavior modeling

Author(s)

Zöllner, Christian, Adriano, Christian M., Wietheger, Simon, Lambers, Leen, Giese, Holger

Editor(s)

Kühn, Thomas, Sousa, Vasco

Type

Conference Proceeding refering

Year of publication

2022

Publisher name

New York, NY, United States : Association for Computing Machinery

modeling; education; statecharts; simulation; validation framework

Source

MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, S. 87 - 94

ISBN

978-1-4503-9467-3

DOI

https://doi.org/10.1145/3550356.3556501

---

Custom-MADE - Leveraging Agile Rationale Management by Employing Domain-Specific Languages

Author(s)

Schubanz, Mathias

Editor(s)

Manner, Johannes, Haarmann, Stephan, Kolb, Stefan, Herzberg, Nico, Kopp, Oliver

Type

Conference Proceeding refering

Year of publication

2021

agile; decision-making; Language Server Protocol; domain-specific languages; documentation; tool support; rationale management

Source

13th ZEUS Workshop, ZEUS 2021, Bamberg - European Workshop on Services and their Composition, 25-26 February 2021, online, S. 34 - 41

URL

http://ceur-ws.org/Vol-2839/paper7.pdf

URN

nbn:de:0074-2839-5

CEUR-WS ; 2839

---

What Matters to Students - A Rationale Management Case Study in Agile Software Development

Author(s)

Schubanz, Mathias, Lewerentz, Claus

Editor(s)

Krusche, Stephan, Wagner, Stefan

Type

Conference Proceeding refering

Year of publication

2020

Publisher name

Aachen : RWTH

rationale management; agile software development; scrum; teaching; case study; decision types; design decision

Source

SEUH 2020: Software Engineering im Unterricht der Hochschulen : Tagungsband des 17. Workshops "Software Engineering im Unterricht der Hochschulen" 2020$dInnsbruck, Österreich, 26.-27.02.2020, S. 17 - 26

URL

https://www.researchgate.net/publication/338533856_What_Matters_to_Students_-_A_Rationale_Management_Case_Study_in_Agile_Software_Development

CEUR workshop proceedings ; vol 2531

---

Guidelines for Managing Requirements Rationales

Author(s)

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

Type

Scientific Article ref.

Year of publication

2017

Stakeholders; Requirements engineering; Organizations; Software engineering; Systematics

Source

IEEE Software, S. 82 - 90

Volume

34

Issue/Journal number

1

ISSN

0740-7459

1937-4194

URL

https://www.computer.org/csdl/mags/so/2017/01/mso2017010082-abs.html

DOI

https://doi.org/10.1109/MS.2015.157

---

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

Author(s)

Schubanz, Mathias

Type

conference publication

Year of publication

2014

Publisher name

New York, USA : ACM

Design Rationale; Capture; Research Proposal

Source

WCOP '14 Proceedings of the 19th international doctoral symposium on Components and architecture, S. 31 - 36

ISBN

978-1-4503-2593-6

URL

http://dl.acm.org/citation.cfm?id=2601328.2601329&coll=DL&dl=ACM

DOI

https://doi.org/10.1145/2601328.2601329

---

Towards Enabling Design Rationale Capture by Asking the Right Questions

Author(s)

Schubanz, Mathias

Editor(s)

Plödereder, Erhard, Grunske, Lars, Schneider, Eric, Ull, Dominik

Type

conference publication

Year of publication

2014

Publisher name

Bonn : Gesellschaft für Informatik

Design Rationale; Capture; Research Proposal

Source

Informatik 2014, 44. Jahrestagung der Gesellschaft für Informatik, Big Data – Komplexität meistern, 22. - 26. September 2014 in Stuttgart, Deutschland, Doktorandenprogramm, S. 2257 - 2268

ISBN

978-3-88579-626-8

URL

http://cs.emis.de/LNI/Proceedings/Proceedings232/2257.pdf

GI-Edition : Proceedings ; 232

---

Guidance for Design Rationale Capture to Support Software Evolution

Author(s)

Schubanz, Mathias, Pleuss, Andreas, Jordan, Howell, Botterweck, Goetz

Type

conference publication

Year of publication

2014

Publisher name

Bonn : Gesellschaft für Informatik

design rationale; software erosion; decision making; question catalogue; literature review

Source

6. Workshop "Design for Future'', 28. - 30. April 2014 in Bad Honnef, S. 60 - 61

URL

http://fg-sre.gi.de/fileadmin/gliederungen/fg-sre/wsre2014/wsre_dff_2014_proceedings.pdf

http://pi.informatik.uni-siegen.de/stt/34_2/index.html

Softwaretechnik-Trends ; 34,2

---

Model-driven Planning and Monitoring of Long-term Software Product Line Evolution

Author(s)

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

Editor(s)

Gnesi, Stefania, Collet, Philippe, Schmid, Klaus

Type

conference publication

Year of publication

2013

Publisher name

New York, NY : ACM

software product lines; software evolution; software maintenance; software release planning

Source

Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systemsm, Conference VaMoS 2013, Pisa, Italy — January 23 - 25, 2013

ISBN

978-1-4503-1541-8

DOI

https://doi.org/10.1145/2430502.2430527

---

Understanding software evolution with software cities

Author(s)

Steinbrückner, Frank, Lewerentz, Claus

Type

Scientific Article ref.

Year of publication

2013

software cities; software landscapes; software evolution; software visualization; metrics; software comprehension

Source

Information Visualization, S. 200 - 216

Volume

12

Issue/Journal number

2

ISSN

1473-8716

1473-8724

URL

http://ivi.sagepub.com/content/12/2/200

DOI

https://doi.org/10.1177/1473871612438785

---

Modeling Rationale over Time to support Product Line Evolution Planning

Author(s)

Schubanz, Mathias, Pleuss, Andreas, Botterweck, Goetz, Lewerentz, Claus

Editor(s)

Eisenecker, Ulrich W., Apel, Sven, Gnesi, Stefania

Type

conference publication

Year of publication

2012

Publisher name

New York, NY : ACM

software product lines; software evolution; software maintenance; rationale

Source

Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, Conference VaMoS 2012, Leipzig, Germany — January 25 - 27, 2012, S. 193 - 199

ISBN

978-1-4503-1058-1

DOI

https://doi.org/10.1145/2110147.2110169

---

Towards Managing Software Architectures with Ontologies

Author(s)

Bennicke, Marcel, Lewerentz, Claus

Type

part of book (chapter)

Year of publication

2010

Softwaretechnik; Softwarearchitekturen; Software-Ontologien

Source

Engels,Gregor (Hrsg.): Graph Transformations and Model-Driven Engineering, 1. - Berlin, Heidelberg : Springer, 2010, S.274-308, 978-3-642-17321-9

URL

http://www.springerlink.com/content/j73362p63pj51673/

http://www.springerlink.com/content/978-3-642-17321-9/contents/

---

Coherent Software Cities : Supporting Comprehension of Evolving Software Systems

Author(s)

Steinbrückner, Frank

Type

conference publication

Year of publication

2010

Publisher name

Piscataway, NJ : IEEE

software visualization; software cities; software evolution

Source

2010 IEEE International Conference on Software Maintenance (ICSM 2010), Timişoara, Romania, 12 - 18 September 2010, S. 532 - 533

ISBN

978-1-4244-8630-4

URL

http://www.computer.org/portal/web/csdl/doi/10.1109/ICSM.2010.5610421

---

Representing Development History in Software Cities

Author(s)

Steinbrückner, Frank, Lewerentz, Claus

Type

conference publication

Year of publication

2010

Graphical environments; Restructuring; reverse engineering; reengineering; Product Metrics; Process Metrics; Graphical User Interfaces; Softwaretechnik; Softwarevisualisierung; Softwareevolution

Source

5th International Symposium on Software Visualization, Salt Lake City, Utah, USA, October 25-26, 2010, S. 193-202, 978-1-4503-0028-5

URL

http://portal.acm.org/citation.cfm?id=1879239

---

Graph Transformations and Model-Driven Engineering

Editor(s)

Engels, Gregor, Lewerentz, Claus, Schäfer, Wilhelm, Schürr, Andy, Westfechtel, Bernhard

Type

book (editor)

Year of publication

2010

Publisher name

Berlin [u.a.] : Springer

Software Engineering; Logics and Meanings; Programming Languages; Software/Program Verification; Computer-Communication Networks; Programming Techniques

ISBN

978-3-642-17321-9

3-642-17321-7

Lecture notes in computer science ; 5765

---

A design of a configurable feature model configurator

Author(s)

Botterweck, Goetz, Janota, Mikolás, Schneeweiss, Denny

Editor(s)

Benavides, David

Type

conference publication

Year of publication

2009

Publisher name

Essen : ICB

Softwaretechnik; Produktlinien; Konfigurationsmanagement

Source

Proceedings, Third International Workshop on Variability Modelling of Software-intensive Systems, held from January 28 - 30, at the University of Sevilla, Spain, S. 165 - 168

URL

http://www.sse.uni-due.de/vamos/2009/

ICB research report ; 29

---

SoftUrbs: Visualizing Software Systems as Urban Structures

Author(s)

Lewerentz, Claus, Steinbrückner, Frank

Type

report

Year of publication

2009

Publisher name

Cottbus : BTU, Institut für Informatik

Softwaretechnik; Softwarevisualisierung

Computer Science Reports 2009 ; 2

---

Interactive Techniques to Support the Configuration of Complex Feature Models

Author(s)

Botterweck, Goetz, Schneeweiss, Denny, Pleuss, Andreas

Type

conference publication

Year of publication

2009

Softwaretechnik; Produktlinien; Konfigurationsmanagement

Source

International Workshop on Model-driven Approaches in Product Line Engineering (MAPLE 2009), collocated with the 13th International Software Product Line Conference (SPLC 2009)

---

Modularity clustering is force-directed layout

Author(s)

Noack, Andreas

Type

Scientific Article ref.

Year of publication

2009

Graph Theory; Applications; Clustering; Graphvisualisierung

Source

Physical Review : E

Volume

79

ISSN

1550-2376

URL

http://pre.aps.org/abstract/PRE/v79/i2/e026102

---

Multi-level Algorithms for Modularity Clustering

Author(s)

Noack, Andreas, Rotta, Randolf

Type

conference publication

Year of publication

2009

Clustering; Algorithmen

Source

Experimental Algorithms : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4 - 6, 2009. - Berlin : Springer, 2009, S. 257 - 268, 978-3-642-02010-0 (Lecture Notes in Computer Science ; 5526)

URL

http://www.springerlink.com/content/qugv7708h3806230/

---

Visual Configuration in Automotive Software Product Lines

Author(s)

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

Type

conference publication

Year of publication

2008

Softwaretechnik; Produktlinien; Visualisierung; Konfigurationsmanagement

Source

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

---

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

Author(s)

Ciolkowski, Marcus, Heidrich, Jens, Simon, Frank, Radicke, Mathias

Type

conference publication

Year of publication

2008

Publisher name

New York : ACM

Programming teams; Management; Measurement; Performance; Experimentation; SPCC; Case Study; Effectiveness; Cost; Softwaretechnik; Softwareleitstand; Softwaremetriken

Source

Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement, ESEM 2008, Kaiserslautern, Germany, Oktober 09-10, 2008, S. 243 - 252

URL

http://dl.acm.org/citation.cfm?id=1414004&picked=prox

---

Comprehensive Architecture Evaluation and Management in Large Software Systems

Author(s)

Salger, Frank, Bennicke, Marcel, Engels, Gregor, Lewerentz, Claus

Type

conference publication

Year of publication

2008

Softwaretechnik; Softwarearchitektur

Source

Quality of Software Architectures. Models and Architectures. 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. - Berlin : Springer, 2008, S. 205 - 219, 978-3-540-87879-7

URL

http://www.springerlink.com/content/9471976q7h25565x/?p=495627441cd14ea4a5fb07b44a61d16a%26pi=12

---

Interactive Visualisation to Support Product Configuration in Software Product Lines

Author(s)

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

Type

conference publication

Year of publication

2008

Softwaretechnik; Produktlinien; Visualisierung; Konfigurationsmanagement

Source

Second International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2008, Universität Duisburg-Essen, Germany, January 16-18, 2008, ICB-research report 22(2008), S. 7-16, 1860-2770

---

Software Controlling

Author(s)

Bennicke, Marcel, Hofmann, Alexander, Lewerentz, Claus, Wichert, Karl-Heinz

Type

article

Year of publication

2008

Softwaretechnik; Softwaremetriken

Source

Informatik-Spektrum 31(2008)6, S. 556-565, 0170-6012, 1432-122X

URL

http://www.springerlink.de/content/85566523852h3n38/?p=e77fe114f9004b5da3e36de0e6c5e72b%26pi=5

---

Unified quality measures for clusterings, layouts, and orderings of graphs, and their application as software design criteria

Author(s)

Noack, Andreas

Type

doctoralthesis

Year of publication

2007

Softwareentwicklung; Graphische Darstellung; Computergraphik; Projektmanagement

URL

http://opus.kobv.de/btu/volltexte/2007/404/

URN

urn:nbn:de:kobv:co1-opus-4046

---

Clustering Software Artifacts Based on Frequent Common Changes

Author(s)

Beyer, Dirk, Noack, Andreas

Type

conference publication

Year of publication

2005

Publisher name

Los Alamitos, Calif. [u.a.] : IEEE Computer Society

Source

Proceedings, 13th International Workshop on Program Comprehension, IWPC 2005, 15 - 16 May 2005, St. Louis, Missouri, S. 259 - 268

ISBN

0-7695-2254-8

---

Energy-Based Clustering of Graphs with Nonuniform Degrees

Author(s)

Noack, Andreas, Lewerentz, Claus

Type

conference publication

Year of publication

2005

Source

Healy, Patrick (Hrsg.): Graph drawing : 13th international symposium ; revised papers / GD 2005, Limerick, Ireland, September 12 - 14, 2005. - Berlin ; Heidelberg : Springer, 2006, S. 309-320, 3-540-31425-3 (Lecture notes in computer science ; 3843)

---

A Space of Layout Styles for Hierarchical Graph Models of Software Systems

Author(s)

Noack, Andreas, Lewerentz, Claus

Type

conference publication

Year of publication

2005

Publisher name

New York, NY : Association for Computing Machinery

Source

Proceedings of the 2nd ACM Symposium on Software Visualization (SoftVis 2005)

Source

Proceedings, SoftVis '05, ACM Symposium on Software Visualization, St. Louis, Missouri, May 14 - 15, 2005, S. 155 - 213

ISBN

1-59593-073-6

---

Efficient Relational Calculation for Software Analysis

Author(s)

Beyer, Dirk, Noack, Andreas, Lewerentz, Claus

Type

article

Year of publication

2005

Source

IEEE Transactions on Software Engineering 31(2005)2, S. 137-149, 0098-5589

---

An Energy Model for Visual Graph Clustering

Author(s)

Noack, Andreas

Editor(s)

Liotta, Guiseppe

Type

conference publication

Year of publication

2004

Publisher name

Berlin [u.a.] : Springer Verlag

Source

Graph Drawing, 11th International Symposium, GD 2003, Perugia, Italy, Sep. 21 - 24, 2003, S. 425 - 436

ISBN

3-540-20831-3

Lecture Notes in Computer Science ; 2912

---

Software Landscapes: Visualizing the Structure of Large Software Systems

Author(s)

Balzer, Michael, Noack, Andreas, Deussen, Oliver, Lewerentz, Claus

Type

Scientific Article not ref.

Year of publication

2004

Publisher name

Aire-la-Ville : Eurographics Association

Source

VisSym 2004, Symposium on Visualization, Konstanz, Germany, May 19- 21, 2004, S. 261 - 266

---

Visual Clustering of Graphs with Nonuniform Degrees

Author(s)

Noack, Andreas

Type

report

Year of publication

2004

Publisher name

Cottbus : Inst. of Computer Science

Computer science reports ; 2004,2

---

Rabbit: A Tool for BDD-based Verification of Real-Time Systems

Author(s)

Beyer, Dirk, Lewerentz, Claus, Noack, Andreas

Editor(s)

Hunt, Warren A.

Type

conference publication

Year of publication

2003

Publisher name

Berlin [u.a.] : Springer

Source

Computer aided verification, 15th international conference, proceedings, CAV 2003, Boulder, CO, USA, July 8 - 12, 2003, S. 122 - 125

ISBN

3-540-40524-0

Lecture notes in computer science ; 2725

---

Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?

Author(s)

Beyer, Dirk, Noack, Andreas

Editor(s)

König, Hartmut

Type

conference publication

Year of publication

2003

Publisher name

Berlin [u.a.] : Springer

Source

Formal techniques for networked and distributed systems - FORTE 2003, 23rd IFIP WG 6.1,international conference, Berlin, Germany, September 29 - October 2, 2003, proceedings, S. 193 - 208

ISBN

3-540-20175-0

Lecture notes in computer science ; 2767

---

A Non-standard Approach to Operational Semantics for Timed Systems

Author(s)

Rust, Heinrich

Editor(s)

Börger, Egon

Type

conference publication

Year of publication

2003

Publisher name

Heidelberg [u.a.] : Springer

Source

Abstract state machines 2003, advances in theory and practice, 10th international workshop, proceedings, ASM 2003, Taormina, Italy, March 3 - 7, 2003, S. 423 - 424

ISBN

3-540-00624-9

Lecture notes in computer science ; 2589

---

CrocoCosmos - 3D Visualization of Large Object-Oriented Programs

Author(s)

Lewerentz, Claus, Noack, Andreas

Editor(s)

Jünger, Michael, Mutzel, Petra

Type

part of book (chapter)

Year of publication

2003

Publisher name

Berlin [u.a.] : Springer

Source

Graph drawing software, S. 279 - 297

ISBN

3-540-00881-0

---

CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs

Author(s)

Beyer, Dirk, Lewerentz, Claus

Type

conference publication

Year of publication

2003

Source

Proceedings / IWPC, 11th IEEE International Workshop on Program Comprehension : 10 - 11 May 2003, Portland, Orgeon, USA, Los Alamitos, Calif. [u.a.] : IEEE Computer Society, 2003, S. 294-295, 0-7695-1883-4

---

Simple and Efficient Relational Querying of Software Structures

Author(s)

Beyer, Dirk, Noack, Andreas, Lewerentz, Claus

Type

conference publication

Year of publication

2003

Publisher name

Los Alamitos, Calif. [u.a.] : IEEE Computer Society

Source

Proceedings, 10th Working Conference on Reverse Engineering, WCRE 2003, Victoria, B.C., Canada, 13 - 16 November 2003, S. 216 - 225

ISBN

0-7695-2027-8

---

Energy Models for Drawing Clustered Small-World Graphs

Author(s)

Noack, Andreas

Type

report

Year of publication

2003

Publisher name

Cottbus : Inst. of Computer Science

Computer science reports ; 2003,7

---

A Comparative Study of Decision Diagrams for Real-Time Verification

Author(s)

Beyer, Dirk, Noack, Andreas

Type

report

Year of publication

2003

Publisher name

Cottbus : BTU, Institut für Informatik

Computer science reports ; 2003,3

---

CrocoPat: A Tool for Efficient Pattern Recognition in Large Object-Oriented Programs

Author(s)

Beyer, Dirk, Lewerentz, Claus

Type

report

Year of publication

2003

Publisher name

Cottbus : Inst. of Computer Science

Computer science reports ; 2003,4

---

Metrics-based 3D Visualization of Large Object-Oriented Programs

Author(s)

Lewerentz, Claus, Simon, Frank

Type

conference publication

Year of publication

2002

Source

Proceedings of the First IEEE International Workshop on Visualizing Software for Unterstanding and Analysis (VISSOFT 2002), 26th June 2002, Paris, France. Los Alamitos, Calif. [u.a.] : IEEE Computer Society, S. 70-77, 0-7695-1662-9

---

Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata

Author(s)

Beyer, Dirk

Type

doctoralthesis

Year of publication

2002

Formal Verification; Formal Method; Timed Automata; Reachability Analysis; BDD; Reactive Systems; Embedded Systems; Protocol Verification

URL

http://opus.kobv.de/btu/volltexte/2007/55/

URN

urn:nbn:de:kobv:co1-000000258

---

Metrics-based Quality Analysis of Large Software Products

Author(s)

Lewerentz, Claus

Editor(s)

Dumke, Reiner

Type

conference publication

Year of publication

2002

Publisher name

Aachen : Shaker

Source

Software-Metriken in der Praxis, Tagungsband des DASMA Software Metrik Kongresses METRIKON 2001, 25. - 26. Oktober, 2001, Dortmund, S. 133 - 146

ISBN

3-8322-0470-9

Magdeburger Schriften zum Empirischen Software Engineering

---

Software Quality Assessments for System, Architecture, Design and Code

Author(s)

Simon, Frank, Lewerentz, Claus, Bischofberger, Walter

Editor(s)

Meyerhoff, Dirk

Type

part of book (chapter)

Year of publication

2002

Publisher name

Berlin [u.a.] : Springer Verlag

Source

Software quality and software testing in Internet times, S. 230 - 249

ISBN

3-540-42632-9

---

CrocoCosmos

Author(s)

Lewerentz, Claus, Simon, Frank, Steinbrückner, Frank

Type

conference publication

Year of publication

2002

Source

Mutzel, Petra (Hrsg.): Graph Drawing : 9th International Symposium ; revised papers / GD 2001, Vienna, Austria, September 2001, Berlin [u.a.] : Springer, 2002, S. 446-447, 3-540-43309-0 (Lecture notes in computer science ; 2265)

---

Anpaßbare, explorierbare virtuelle Informationsräume zur Qualitätsbewertung großer Software-Systeme

Author(s)

Simon, Frank, Steinbrückner, Frank, Lewerentz, Claus

Type

conference publication

Year of publication

2001

Publisher name

Koblenz-Landau : Univ., Inst. für Informatik

Source

3. Workshop Software Reengineering, Bad Honnef, 10./11. Mai 2001

Fachberichte Informatik, Universität Koblenz-Landau, Institut für Informatik ; 2002,1-6

---

Different Strategies for BDD-based Reachability Analysis of Timed Automata

Author(s)

Beyer, Dirk, Heinig, Andy

Editor(s)

Rozenblit, Jerzy, Sveda, Miroslav, Rattray, Charles

Type

conference publication

Year of publication

2001

Source

Proceedings of the 2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 2001), S. 89 - 98

---

Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object Oriented Systems

Author(s)

Beyer, Dirk, Lewerentz, Claus, Simon, Frank

Editor(s)

Abran, Alain, Dumke, Reiner

Type

conference publication

Year of publication

2001

Publisher name

Berlin [u.a.] : Springer

Source

New approaches in software measurement, 10th international workshop, proceedings, IWSM 2000, Berlin, Germany, October 4 - 6, 2000, S. 1 - 17

ISBN

3-540-41727-3

Lecture notes in computer science ; 2006

---

Efficient Verification of Timed Automata using BDDs

Author(s)

Beyer, Dirk, Noack, Andreas

Editor(s)

Ultes-Nitsche, Ulrich, Gnesi, Stefania

Type

conference publication

Year of publication

2001

Publisher name

Rocquencourt : INRIA

Source

FMICS 2001, Formal methods for industrial critical systems, proceedings, International workshop on formal methods for industrial critical systems 6, 16 - 17 July 2001, Paris, S. 95 - 113

ISBN

2-7261-1187-4

---

Timed Automata Formal Definition and Semantics

Author(s)

Beyer, Dirk, Rust, Heinrich

Editor(s)

Rattray, Charles, Sveda, Miroslav, Rozenblit, Jerzy

Type

conference publication

Year of publication

2001

Publisher name

Stirling : University of Stirling, Dept. of Computing Science and

Source

Joint Workshop on Formal Specification of Computer-Based Systems, Washington DC, USA, April 20, 2001, S. 75 - 87

---

Efficient Reachability Analysis and Refinement Checking of Timed Automata using BDDs

Author(s)

Beyer, Dirk

Editor(s)

Margaria, Tiziana, Melham, Tom

Type

conference publication

Year of publication

2001

Publisher name

Berlin [u.a.] : Springer

Source

Correct hardware design and verification methods, 11th IFIP WG 10.5 advanced research working conference, proceedings, CHARME 2001, Livingston, Scotland, UK, September 4 - 7, 2001, S. 86 - 91

ISBN

3-540-42541-1

Lecture notes in computer science ; 2144

---

Improvements in BDD-based Reachability Analysis of Timed Automata

Author(s)

Beyer, Dirk

Editor(s)

Zave, Pamela, Oliveira, José Nuno

Type

conference publication

Year of publication

2001

Publisher name

Berlin [u.a.] : Springer

Source

Formal methods for increasing software productivity, proceedings, FME 2001, International Symposium of Formal Methods Europe, Berlin, Germany, March 12 - 16, 2001, S. 318 - 343

ISBN

3-540-41791-5

Lecture notes in computer science ; 2021

---

Die Rolle der Reflexion in Software-Praktika

Author(s)

Lewerentz, Claus, Rust, Heinrich

Editor(s)

Lichter, Horst, Glinz, Martin

Type

conference publication

Year of publication

2001

Publisher name

Heidelberg : dpunkt-Verlag

Source

Software Engineering im Unterricht der Hochschulen, SEUH 7, Zürich 2001, S. 73 - 88

ISBN

3-89864-106-6

---

A Model for Analyzing Measurement Based Feedback Loops in Software Development Projects

Author(s)

Rust, Heinrich, Lewerentz, Claus

Editor(s)

Althoff, Klaus-Dieter

Type

conference publication

Year of publication

2001

Publisher name

Berlin [u.a.] : Springer

Source

Advances in learning software organizations, third international workshop, proceedings, LSO 2001, Kaiserslautern, Germany, September 12 - 13, 2001, S. 135 - 149

ISBN

3-540-42574-8

Lecture notes in computer science ; 2176

---

Metrics Based Refactoring

Author(s)

Simon, Frank, Steinbrückner, Frank, Lewerentz, Claus

Editor(s)

Sousa, Pedro

Type

conference publication

Year of publication

2001

Publisher name

Los Alamitos, Calif. [u.a.] : IEEE Computer Society

Source

Proceedings of the Fifth European Conference on Software Maintenance and Reengineering, 14 - 16 March 2001, Lisbon, Portugal, S. 30 - 38

ISBN

0-7695-1028-0

---

External Validation of a Metrics-Based Quality Assessment of the JWAM Framework

Author(s)

Lewerentz, Claus, Simon, Frank, Steinbrückner, Frank, Breitling, H., Lilienthal, C., Lippert, M.

Type

conference publication

Year of publication

2001

Publisher name

Wiesbaden : Dt. Univ.-Verl.

Source

Software-Messung und -Bewertung, Tagungsband Workshop der GI-Fachgruppe 2.1.10, 10./11. September 2001 an der Universität Kaiserslautern, S. 32 - 49

ISBN

3-8244-7592-8

Gabler Edition Wissenschaft : Information-Engineering und IV-Controlling

---

Software-Ingenieure als kompetente Teamworker

Author(s)

Lewerentz, Claus, Rust, Heinrich

Type

article

Year of publication

2001

Source

Softwaretechnik-Trends, S. 30 - 35

Volume

21

Issue/Journal number

1

ISSN

0720-8928

---

Reachability Analysis and Refinement Checking for BDD-based Model Checking of Timed Automata

Author(s)

Beyer, Dirk

Type

report

Year of publication

2001

Publisher name

Cottbus : Inst. of Computer Science

Computer science reports ; 2001,04

---

Rabbit Verification of Real-Time Systems

Author(s)

Beyer, Dirk

Type

report

Year of publication

2001

Publisher name

Cottbus : Inst. of Computer Science

Computer science reports ; 2001,05

---

BDD-basierte Verifikation von Realzeit-Systemen

Author(s)

Beyer, Dirk, Noack, Andreas

Type

conference publication

Year of publication

2000

Source

Grabowski, Jens (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme : 10. GI/ITC-Fachgespräch, Lübeck, Juni 2000. - Aachen : Shaker, 2000, S. 79-89, 3-8265-7491-5 (Berichte aus der Informatik)

---