Publikationen

Guidelines for Managing Requirements Rationales

Autor(en)
Thurimella, Anil Kumar, Schubanz, Mathias, Pleuss, Andreas, Botterweck, Goetz
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2017
Quelle
IEEE Software, S. 82 - 90
Band/Jahrgang
34
Ausgabe/Heft
1
ISSN
0740-7459
URL
http://ieeexplore.ieee.org/document/7325184/
DOI
http://dx.doi.org/10.1109/MS.2015.157

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
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

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
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
http://dx.doi.org/10.1145/2601328.2601329

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
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
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
http://dx.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
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
http://dx.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
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
http://dx.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
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
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
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
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

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
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
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
Schriftenreihe(n) ; Bandnummer
Computer Science Reports 2009 ; 2

Modularity clustering is force-directed layout

Autor(en)
Noack, Andreas
Publikationsart
Wissenschaftlicher Zeitschriftenartikel referiert
Erscheinungsjahr
2009
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
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/

Software Controlling

Autor(en)
Bennicke, Marcel, Hofmann, Alexander, Lewerentz, Claus, Wichert, Karl-Heinz
Publikationsart
Artikel
Erscheinungsjahr
2008
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
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
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
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
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
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

Software Landscapes: Visualizing the Structure of Large Software Systems

Autor(en)
Balzer, Michael, Noack, Andreas, Deussen, Oliver
Publikationsart
Konferenzveröffentlichung
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

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

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

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

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

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: 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

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

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

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
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

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)

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

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

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

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

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

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)