UBICO

Publikationen

Liste in UBICO öffnen

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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)

Name	Zweck	Ablauf	Typ	Anbieter
_pk_id	Wird verwendet, um ein paar Details über den Benutzer wie die eindeutige Besucher-ID zu speichern.	13 Monate	HTML	Matomo
_pk_ref	Wird benutzt, um die Informationen der Herkunftswebsite des Benutzers zu speichern.	6 Monate	HTML	Matomo
_pk_ses	Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern.	30 Minuten	HTML	Matomo