Publikationen
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
- Herausgeber
- Lambers, Leen, Uchitel, Sebastián
- Publikationsart
- Buch (Herausgeber)
- Erscheinungsjahr
- 2023
- Verlag
- Cham, Switzerland : Springer
- Freie Schlagworte
- 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
- Schriftenreihe(n) ; Bandnummer
- Lecture Notes in Computer Science LNCS ; volume 13991
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties
- Autor(en)
- John, Stefan, Kosiol, Jens, Lambers, Leen, Taentzer, Gabriele
- Publikationsart
- Wissenschaftlicher Zeitschriftenartikel referiert
- Erscheinungsjahr
- 2023
- Freie Schlagworte
- Search-Based Software Engineering; Model-Driven Engineering; Evolutionary Computation
- Quelle
- Software and Systems Modeling, S. 1281 - 1318
- Band/Jahrgang
- 22
- ISSN
- 1619-1374
- DOI
- https://doi.org/10.1007/s10270-022-01078-x
Evaluation diversity for graph conditions
- Autor(en)
- Schneider, Sven, Lambers, Leen
- Publikationsart
- Wissenschaftlicher Zeitschriftenartikel referiert
- Erscheinungsjahr
- 2023
- Freie Schlagworte
- Graph logic; Logic coverage; Coverage criteria; Model generation; Validation; Debugging
- Quelle
- Journal of Logical and Algebraic Methods in Programming
- Band/Jahrgang
- 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
- Autor(en)
- Sakizloglou, Lucas
- Publikationsart
- Dissertation
- Erscheinungsjahr
- 2023
- Verlag
- 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
- Autor(en)
- Zöllner, Christian, Adriano, Christian M., Wietheger, Simon, Lambers, Leen, Giese, Holger
- Herausgeber
- Kühn, Thomas, Sousa, Vasco
- Publikationsart
- Konferenzveröffentlichung referiert
- Erscheinungsjahr
- 2022
- Verlag
- New York, NY, United States : Association for Computing Machinery
- Freie Schlagworte
- modeling; education; statecharts; simulation; validation framework
- Quelle
- 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
- Autor(en)
- Schubanz, Mathias
- Herausgeber
- Manner, Johannes, Haarmann, Stephan, Kolb, Stefan, Herzberg, Nico, Kopp, Oliver
- Publikationsart
- Konferenzveröffentlichung referiert
- Erscheinungsjahr
- 2021
- Freie Schlagworte
- agile; decision-making; Language Server Protocol; domain-specific languages; documentation; tool support; rationale management
- Quelle
- 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
- Schriftenreihe(n) ; Bandnummer
- CEUR-WS ; 2839
What Matters to Students - A Rationale Management Case Study in Agile Software Development
- Autor(en)
- Schubanz, Mathias, Lewerentz, Claus
- Herausgeber
- Krusche, Stephan, Wagner, Stefan
- Publikationsart
- Konferenzveröffentlichung referiert
- Erscheinungsjahr
- 2020
- Verlag
- Aachen : RWTH
- Freie Schlagworte
- rationale management; agile software development; scrum; teaching; case study; decision types; design decision
- Quelle
- 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
- Schriftenreihe(n) ; Bandnummer
- CEUR workshop proceedings ; vol 2531
Guidelines for Managing Requirements Rationales
- Autor(en)
- Thurimella, Anil Kumar, Schubanz, Mathias, Pleuss, Andreas, Botterweck, Goetz
- Publikationsart
- Wissenschaftlicher Zeitschriftenartikel referiert
- Erscheinungsjahr
- 2017
- Freie Schlagworte
- Stakeholders; Requirements engineering; Organizations; Software engineering; Systematics
- Quelle
- IEEE Software, S. 82 - 90
- Band/Jahrgang
- 34
- Ausgabe/Heft
- 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?
- Autor(en)
- Schubanz, Mathias
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2014
- Verlag
- New York, USA : ACM
- Freie Schlagworte
- Design Rationale; Capture; Research Proposal
- Quelle
- 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
- Autor(en)
- Schubanz, Mathias
- Herausgeber
- Plödereder, Erhard, Grunske, Lars, Schneider, Eric, Ull, Dominik
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2014
- Verlag
- Bonn : Gesellschaft für Informatik
- Freie Schlagworte
- Design Rationale; Capture; Research Proposal
- Quelle
- 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
- Schriftenreihe(n) ; Bandnummer
- GI-Edition : Proceedings ; 232
Guidance for Design Rationale Capture to Support Software Evolution
- Autor(en)
- Schubanz, Mathias, Pleuss, Andreas, Jordan, Howell, Botterweck, Goetz
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2014
- Verlag
- Bonn : Gesellschaft für Informatik
- Freie Schlagworte
- design rationale; software erosion; decision making; question catalogue; literature review
- Quelle
- 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
- Schriftenreihe(n) ; Bandnummer
- Softwaretechnik-Trends ; 34,2
Model-driven Planning and Monitoring of Long-term Software Product Line Evolution
- Autor(en)
- Schubanz, Mathias, Pleuss, Andreas, Pradhan, Ligaj, Botterweck, Goetz, Thurimella, Anil Kumar
- Herausgeber
- Gnesi, Stefania, Collet, Philippe, Schmid, Klaus
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2013
- Verlag
- New York, NY : ACM
- Freie Schlagworte
- software product lines; software evolution; software maintenance; software release planning
- Quelle
- 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
- Autor(en)
- Steinbrückner, Frank, Lewerentz, Claus
- Publikationsart
- Wissenschaftlicher Zeitschriftenartikel referiert
- Erscheinungsjahr
- 2013
- Freie Schlagworte
- software cities; software landscapes; software evolution; software visualization; metrics; software comprehension
- Quelle
- Information Visualization, S. 200 - 216
- Band/Jahrgang
- 12
- Ausgabe/Heft
- 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
- Autor(en)
- Schubanz, Mathias, Pleuss, Andreas, Botterweck, Goetz, Lewerentz, Claus
- Herausgeber
- Eisenecker, Ulrich W., Apel, Sven, Gnesi, Stefania
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2012
- Verlag
- New York, NY : ACM
- Freie Schlagworte
- software product lines; software evolution; software maintenance; rationale
- Quelle
- 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
- Autor(en)
- Bennicke, Marcel, Lewerentz, Claus
- Publikationsart
- Teil eines Buches (Kapitel)
- Erscheinungsjahr
- 2010
- Freie Schlagworte
- Softwaretechnik; Softwarearchitekturen; Software-Ontologien
- Quelle
- 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
- Autor(en)
- Steinbrückner, Frank
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2010
- Verlag
- Piscataway, NJ : IEEE
- Freie Schlagworte
- software visualization; software cities; software evolution
- Quelle
- 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
- Autor(en)
- Steinbrückner, Frank, Lewerentz, Claus
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2010
- Freie Schlagworte
- Graphical environments; Restructuring; reverse engineering; reengineering; Product Metrics; Process Metrics; Graphical User Interfaces; Softwaretechnik; Softwarevisualisierung; Softwareevolution
- Quelle
- 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
- Herausgeber
- Engels, Gregor, Lewerentz, Claus, Schäfer, Wilhelm, Schürr, Andy, Westfechtel, Bernhard
- Publikationsart
- Buch (Herausgeber)
- Erscheinungsjahr
- 2010
- Verlag
- Berlin [u.a.] : Springer
- Freie Schlagworte
- 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
- Schriftenreihe(n) ; Bandnummer
- Lecture notes in computer science ; 5765
A design of a configurable feature model configurator
- Autor(en)
- Botterweck, Goetz, Janota, Mikolás, Schneeweiss, Denny
- Herausgeber
- Benavides, David
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2009
- Verlag
- Essen : ICB
- Freie Schlagworte
- Softwaretechnik; Produktlinien; Konfigurationsmanagement
- Quelle
- 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/
- Schriftenreihe(n) ; Bandnummer
- ICB research report ; 29
SoftUrbs: Visualizing Software Systems as Urban Structures
- Autor(en)
- Lewerentz, Claus, Steinbrückner, Frank
- Publikationsart
- Bericht
- Erscheinungsjahr
- 2009
- Verlag
- Cottbus : BTU, Institut für Informatik
- Freie Schlagworte
- Softwaretechnik; Softwarevisualisierung
- Schriftenreihe(n) ; Bandnummer
- Computer Science Reports 2009 ; 2
Interactive Techniques to Support the Configuration of Complex Feature Models
- Autor(en)
- Botterweck, Goetz, Schneeweiss, Denny, Pleuss, Andreas
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2009
- Freie Schlagworte
- Softwaretechnik; Produktlinien; Konfigurationsmanagement
- Quelle
- 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
- Autor(en)
- Noack, Andreas
- Publikationsart
- Wissenschaftlicher Zeitschriftenartikel referiert
- Erscheinungsjahr
- 2009
- Freie Schlagworte
- Graph Theory; Applications; Clustering; Graphvisualisierung
- Quelle
- Physical Review : E
- Band/Jahrgang
- 79
- ISSN
- 1550-2376
- URL
- http://pre.aps.org/abstract/PRE/v79/i2/e026102
Multi-level Algorithms for Modularity Clustering
- Autor(en)
- Noack, Andreas, Rotta, Randolf
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2009
- Freie Schlagworte
- Clustering; Algorithmen
- Quelle
- 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
- Autor(en)
- Botterweck, Goetz, Thiel, Steffen, Cawley, Ciarán, Nestor, Daren, Preußner, André
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2008
- Freie Schlagworte
- Softwaretechnik; Produktlinien; Visualisierung; Konfigurationsmanagement
- Quelle
- 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
- Autor(en)
- Ciolkowski, Marcus, Heidrich, Jens, Simon, Frank, Radicke, Mathias
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2008
- Verlag
- New York : ACM
- Freie Schlagworte
- Programming teams; Management; Measurement; Performance; Experimentation; SPCC; Case Study; Effectiveness; Cost; Softwaretechnik; Softwareleitstand; Softwaremetriken
- Quelle
- 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
- Autor(en)
- Salger, Frank, Bennicke, Marcel, Engels, Gregor, Lewerentz, Claus
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2008
- Freie Schlagworte
- Softwaretechnik; Softwarearchitektur
- Quelle
- 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
- Autor(en)
- Cawley, Ciarán, Nestor, Daren, Preußner, André, Botterweck, Goetz, Thiel, Steffen
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2008
- Freie Schlagworte
- Softwaretechnik; Produktlinien; Visualisierung; Konfigurationsmanagement
- Quelle
- 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
- Autor(en)
- Bennicke, Marcel, Hofmann, Alexander, Lewerentz, Claus, Wichert, Karl-Heinz
- Publikationsart
- Artikel
- Erscheinungsjahr
- 2008
- Freie Schlagworte
- Softwaretechnik; Softwaremetriken
- Quelle
- 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
- Autor(en)
- Noack, Andreas
- Publikationsart
- Dissertation
- Erscheinungsjahr
- 2007
- Freie Schlagworte
- 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
- Autor(en)
- Beyer, Dirk, Noack, Andreas
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2005
- Verlag
- Los Alamitos, Calif. [u.a.] : IEEE Computer Society
- Quelle
- 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
- Autor(en)
- Noack, Andreas, Lewerentz, Claus
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2005
- Quelle
- 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
- Autor(en)
- Noack, Andreas, Lewerentz, Claus
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2005
- Verlag
- New York, NY : Association for Computing Machinery
- Quelle
- Proceedings of the 2nd ACM Symposium on Software Visualization (SoftVis 2005)
- Quelle
- 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
- Autor(en)
- Beyer, Dirk, Noack, Andreas, Lewerentz, Claus
- Publikationsart
- Artikel
- Erscheinungsjahr
- 2005
- Quelle
- IEEE Transactions on Software Engineering 31(2005)2, S. 137-149, 0098-5589
An Energy Model for Visual Graph Clustering
- Autor(en)
- Noack, Andreas
- Herausgeber
- Liotta, Guiseppe
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2004
- Verlag
- Berlin [u.a.] : Springer Verlag
- Quelle
- Graph Drawing, 11th International Symposium, GD 2003, Perugia, Italy, Sep. 21 - 24, 2003, S. 425 - 436
- ISBN
- 3-540-20831-3
- Schriftenreihe(n) ; Bandnummer
- Lecture Notes in Computer Science ; 2912
Software Landscapes: Visualizing the Structure of Large Software Systems
- Autor(en)
- Balzer, Michael, Noack, Andreas, Deussen, Oliver, Lewerentz, Claus
- Publikationsart
- Wissenschaftlicher Zeitschriftenartikel nicht referiert
- Erscheinungsjahr
- 2004
- Verlag
- Aire-la-Ville : Eurographics Association
- Quelle
- VisSym 2004, Symposium on Visualization, Konstanz, Germany, May 19- 21, 2004, S. 261 - 266
Visual Clustering of Graphs with Nonuniform Degrees
- Autor(en)
- Noack, Andreas
- Publikationsart
- Bericht
- Erscheinungsjahr
- 2004
- Verlag
- Cottbus : Inst. of Computer Science
- Schriftenreihe(n) ; Bandnummer
- Computer science reports ; 2004,2
Rabbit: A Tool for BDD-based Verification of Real-Time Systems
- Autor(en)
- Beyer, Dirk, Lewerentz, Claus, Noack, Andreas
- Herausgeber
- Hunt, Warren A.
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2003
- Verlag
- Berlin [u.a.] : Springer
- Quelle
- Computer aided verification, 15th international conference, proceedings, CAV 2003, Boulder, CO, USA, July 8 - 12, 2003, S. 122 - 125
- ISBN
- 3-540-40524-0
- Schriftenreihe(n) ; Bandnummer
- Lecture notes in computer science ; 2725
Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?
- Autor(en)
- Beyer, Dirk, Noack, Andreas
- Herausgeber
- König, Hartmut
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2003
- Verlag
- Berlin [u.a.] : Springer
- Quelle
- 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
- Schriftenreihe(n) ; Bandnummer
- Lecture notes in computer science ; 2767
A Non-standard Approach to Operational Semantics for Timed Systems
- Autor(en)
- Rust, Heinrich
- Herausgeber
- Börger, Egon
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2003
- Verlag
- Heidelberg [u.a.] : Springer
- Quelle
- 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
- Schriftenreihe(n) ; Bandnummer
- Lecture notes in computer science ; 2589
CrocoCosmos - 3D Visualization of Large Object-Oriented Programs
- Autor(en)
- Lewerentz, Claus, Noack, Andreas
- Herausgeber
- Jünger, Michael, Mutzel, Petra
- Publikationsart
- Teil eines Buches (Kapitel)
- Erscheinungsjahr
- 2003
- Verlag
- Berlin [u.a.] : Springer
- Quelle
- Graph drawing software, S. 279 - 297
- ISBN
- 3-540-00881-0
CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs
- Autor(en)
- Beyer, Dirk, Lewerentz, Claus
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2003
- Quelle
- 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
- Autor(en)
- Beyer, Dirk, Noack, Andreas, Lewerentz, Claus
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2003
- Verlag
- Los Alamitos, Calif. [u.a.] : IEEE Computer Society
- Quelle
- 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
- Autor(en)
- Noack, Andreas
- Publikationsart
- Bericht
- Erscheinungsjahr
- 2003
- Verlag
- Cottbus : Inst. of Computer Science
- Schriftenreihe(n) ; Bandnummer
- Computer science reports ; 2003,7
A Comparative Study of Decision Diagrams for Real-Time Verification
- Autor(en)
- Beyer, Dirk, Noack, Andreas
- Publikationsart
- Bericht
- Erscheinungsjahr
- 2003
- Verlag
- Cottbus : BTU, Institut für Informatik
- Schriftenreihe(n) ; Bandnummer
- Computer science reports ; 2003,3
CrocoPat: A Tool for Efficient Pattern Recognition in Large Object-Oriented Programs
- Autor(en)
- Beyer, Dirk, Lewerentz, Claus
- Publikationsart
- Bericht
- Erscheinungsjahr
- 2003
- Verlag
- Cottbus : Inst. of Computer Science
- Schriftenreihe(n) ; Bandnummer
- Computer science reports ; 2003,4
Metrics-based 3D Visualization of Large Object-Oriented Programs
- Autor(en)
- Lewerentz, Claus, Simon, Frank
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2002
- Quelle
- 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
- Autor(en)
- Beyer, Dirk
- Publikationsart
- Dissertation
- Erscheinungsjahr
- 2002
- Freie Schlagworte
- 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
- Autor(en)
- Lewerentz, Claus
- Herausgeber
- Dumke, Reiner
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2002
- Verlag
- Aachen : Shaker
- Quelle
- 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
- Schriftenreihe(n) ; Bandnummer
- Magdeburger Schriften zum Empirischen Software Engineering
Software Quality Assessments for System, Architecture, Design and Code
- Autor(en)
- Simon, Frank, Lewerentz, Claus, Bischofberger, Walter
- Herausgeber
- Meyerhoff, Dirk
- Publikationsart
- Teil eines Buches (Kapitel)
- Erscheinungsjahr
- 2002
- Verlag
- Berlin [u.a.] : Springer Verlag
- Quelle
- Software quality and software testing in Internet times, S. 230 - 249
- ISBN
- 3-540-42632-9
CrocoCosmos
- Autor(en)
- Lewerentz, Claus, Simon, Frank, Steinbrückner, Frank
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2002
- Quelle
- 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
- Autor(en)
- Simon, Frank, Steinbrückner, Frank, Lewerentz, Claus
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2001
- Verlag
- Koblenz-Landau : Univ., Inst. für Informatik
- Quelle
- 3. Workshop Software Reengineering, Bad Honnef, 10./11. Mai 2001
- Schriftenreihe(n) ; Bandnummer
- Fachberichte Informatik, Universität Koblenz-Landau, Institut für Informatik ; 2002,1-6
Different Strategies for BDD-based Reachability Analysis of Timed Automata
- Autor(en)
- Beyer, Dirk, Heinig, Andy
- Herausgeber
- Rozenblit, Jerzy, Sveda, Miroslav, Rattray, Charles
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2001
- Quelle
- 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
- Autor(en)
- Beyer, Dirk, Lewerentz, Claus, Simon, Frank
- Herausgeber
- Abran, Alain, Dumke, Reiner
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2001
- Verlag
- Berlin [u.a.] : Springer
- Quelle
- 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
- Schriftenreihe(n) ; Bandnummer
- Lecture notes in computer science ; 2006
Efficient Verification of Timed Automata using BDDs
- Autor(en)
- Beyer, Dirk, Noack, Andreas
- Herausgeber
- Ultes-Nitsche, Ulrich, Gnesi, Stefania
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2001
- Verlag
- Rocquencourt : INRIA
- Quelle
- 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
- Autor(en)
- Beyer, Dirk, Rust, Heinrich
- Herausgeber
- Rattray, Charles, Sveda, Miroslav, Rozenblit, Jerzy
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2001
- Verlag
- Stirling : University of Stirling, Dept. of Computing Science and
- Quelle
- 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
- Autor(en)
- Beyer, Dirk
- Herausgeber
- Margaria, Tiziana, Melham, Tom
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2001
- Verlag
- Berlin [u.a.] : Springer
- Quelle
- 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
- Schriftenreihe(n) ; Bandnummer
- Lecture notes in computer science ; 2144
Improvements in BDD-based Reachability Analysis of Timed Automata
- Autor(en)
- Beyer, Dirk
- Herausgeber
- Zave, Pamela, Oliveira, José Nuno
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2001
- Verlag
- Berlin [u.a.] : Springer
- Quelle
- 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
- Schriftenreihe(n) ; Bandnummer
- Lecture notes in computer science ; 2021
Die Rolle der Reflexion in Software-Praktika
- Autor(en)
- Lewerentz, Claus, Rust, Heinrich
- Herausgeber
- Lichter, Horst, Glinz, Martin
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2001
- Verlag
- Heidelberg : dpunkt-Verlag
- Quelle
- 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
- Autor(en)
- Rust, Heinrich, Lewerentz, Claus
- Herausgeber
- Althoff, Klaus-Dieter
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2001
- Verlag
- Berlin [u.a.] : Springer
- Quelle
- 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
- Schriftenreihe(n) ; Bandnummer
- Lecture notes in computer science ; 2176
Metrics Based Refactoring
- Autor(en)
- Simon, Frank, Steinbrückner, Frank, Lewerentz, Claus
- Herausgeber
- Sousa, Pedro
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2001
- Verlag
- Los Alamitos, Calif. [u.a.] : IEEE Computer Society
- Quelle
- 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
- Autor(en)
- Lewerentz, Claus, Simon, Frank, Steinbrückner, Frank, Breitling, H., Lilienthal, C., Lippert, M.
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2001
- Verlag
- Wiesbaden : Dt. Univ.-Verl.
- Quelle
- 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
- Schriftenreihe(n) ; Bandnummer
- Gabler Edition Wissenschaft : Information-Engineering und IV-Controlling
Software-Ingenieure als kompetente Teamworker
- Autor(en)
- Lewerentz, Claus, Rust, Heinrich
- Publikationsart
- Artikel
- Erscheinungsjahr
- 2001
- Quelle
- Softwaretechnik-Trends, S. 30 - 35
- Band/Jahrgang
- 21
- Ausgabe/Heft
- 1
- ISSN
- 0720-8928
Reachability Analysis and Refinement Checking for BDD-based Model Checking of Timed Automata
- Autor(en)
- Beyer, Dirk
- Publikationsart
- Bericht
- Erscheinungsjahr
- 2001
- Verlag
- Cottbus : Inst. of Computer Science
- Schriftenreihe(n) ; Bandnummer
- Computer science reports ; 2001,04
Rabbit Verification of Real-Time Systems
- Autor(en)
- Beyer, Dirk
- Publikationsart
- Bericht
- Erscheinungsjahr
- 2001
- Verlag
- Cottbus : Inst. of Computer Science
- Schriftenreihe(n) ; Bandnummer
- Computer science reports ; 2001,05
BDD-basierte Verifikation von Realzeit-Systemen
- Autor(en)
- Beyer, Dirk, Noack, Andreas
- Publikationsart
- Konferenzveröffentlichung
- Erscheinungsjahr
- 2000
- Quelle
- 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)
entstanden am Lehrstuhl unter Prof. Dr. rer. nat. Claus Lewerentz
![](/fileadmin/user_upload/b-tu.de/fg-software-systemtechnik/Bilder/Publikationen/BILD_K073_Sprint_Planning.png)
![](/fileadmin/user_upload/b-tu.de/fg-software-systemtechnik/Bilder/Publikationen/2020/BILD_Veroeffentlichung_Mathias.png)
Mathias Schubanz,Claus Lewerentz
What Matters to Students - A Rationale Management Case Study in Agile Software Development
Konferenz: Software Engineering im Unterricht der Hochschulen 2020. Tagungsband des 17. Workshops "Software Engineering im Unterricht der Hochschulen" 2020, Innsbruck 26.02.2020 - 27.02.2020
![](/fileadmin/user_upload/b-tu.de/fg-software-systemtechnik/Bilder/Publikationen/BILD_A017.png)
Anil Thurimella ; Mathias Schubanz ; Andreas Pleuss ; Goetz Botterweck
Guidelines for Managing Rationales in Requirements Engineering
IEEE Software Volume 34, Issue 1, Jan.-Feb. 2017, pages 82 - 90, Print ISSN 0740-7459
![](/fileadmin/user_upload/b-tu.de/fg-software-systemtechnik/Bilder/Publikationen/BILD_K072_GI.png)
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
Towards Enabling Design Rationale Capture by Asking the Right Questions
![](/fileadmin/user_upload/b-tu.de/fg-software-systemtechnik/Bilder/Publikationen/BILD_K071_WCOP.png)
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
Homepage des Doktorandensymposiums
ACM Digital Library
![](/fileadmin/user_upload/b-tu.de/fg-software-systemtechnik/Bilder/Publikationen/2014/2014_MS003_DFF_questions_generalized.png)
Mathias Schubanz, Andreas Pleuss, Howell Jordan, Goetz Botterweck
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
Homepage des Workshops
Proceedings des Workshops
![](/fileadmin/user_upload/b-tu.de/fg-software-systemtechnik/Bilder/Publikationen/2012/Bild_2012_02_.png)
Frank Steinbrückner, Claus Lewerentz
Understanding Software Evolution with Software Cities
In: Information Visualization. April 2013 Volume 12, pages 200-216, first published on March 19, 2012 doi:10.1177/1473871612438785
Sage Journals
2013[02] UBICO
![](/fileadmin/user_upload/b-tu.de/fg-software-systemtechnik/Bilder/Publikationen/2013/Bild_2013-01_K069.png)
Mathias Schubanz, Andreas Pleuss, Ligaj Pradhan, Goetz Botterweck, Anil Kumar Thurimella
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
Homepage VaMoS2013
ACM Digital Library
2013[01] UBICO
![](/fileadmin/_processed_/6/8/csm_Bild_2012_01__ce977ae498.png)
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
Homepage VaMoS 2012
ACM Digital Library
2012[01] UBICO
![](/fileadmin/_processed_/6/2/csm_Bild_2010_04_2665782f3d.png)
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
Homepage SOFTVIS 2010
ACM Digital Library
2010[04] UBICO
![](/fileadmin/_processed_/4/4/csm_Bild_2010_03_4cade751f8.png)
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
Homepage ICSM 2010
IEEE Computer Society - Paper
IEEE Computer Society - Proceedings
2010[03] UBICO
![](/fileadmin/_processed_/4/a/csm_Bild_1995_03_d9e88d8413.png)
Claus Lewerentz, Thomas Lindner (Eds.)
Formal Development of Reactive Systems. Case Study Production Cell
LNCS 891, Springer-Verlag, Berlin, Heidelberg, 1995, ISBN 3-540-58867-1
SpringerLink-Buch
HA 95-017,024 / 1995[03]
![](/fileadmin/_processed_/2/1/csm_Bild_1995_02_702f150850.png)
Claus Lewerentz, Thomas Lindner
Comparative Survey. Summary and Evaluation of the Case Study "Production Cell''
In: Claus Lewerentz, Thomas Lindner (Eds.): Formal Development of Reactive Systems, LNCS 891, pages 21-54, Springer- Verlag, Berlin, Heidelberg, 1995, ISBN 3-540-58867-1
SpringerLink-Buch
SpringerLink-Paper
HA 95-017,024 / 1995[02]
![](/fileadmin/_processed_/d/8/csm_Bild_1995_01_8101557a5d.png)
Claus Lewerentz, Thomas Lindner
Introduction
In: Claus Lewerentz, Thomas Lindner (Eds.): Formal Development of Reactive Systems, LNCS 891, pages 1-6, Springer- Verlag, Berlin, Heidelberg, 1995, ISBN 3-540-58867-1
SpringerLink-Buch
SpringerLink-Paper
HA 95-017,024 / 1995[01]
![](/fileadmin/_processed_/8/8/csm_Bild_1994_01_c63d427f0a.png)
Claus Lewerentz, Thomas Lindner (Editors)
Case Study "Production Cell". A Comparative Study in Formal Software Development
FZI-Publication 1/94, Forschungszentrum Informatik, Karlsruhe, ISSN 0944-3037
HA 118 (94-005)