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
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
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systemsm, Conference VaMoS 2013, Pisa, Italy — January 23 - 25, 2013
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
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
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
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
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
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
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
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
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
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)
Hinweis zu Cookies
Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Das Einverständnis in die Verwendung der technisch nicht notwendigen Cookies können Sie jeder Zeit wiederrufen. Weitere Informationen erhalten Sie auf unseren Seiten zum Datenschutz.
