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

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

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/

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

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)