M. von Detten:
Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction. In
Proceedings of the 19th Working Conference on Reverse Engineering. October 2012
[
Show BibTeX]
@inproceedings{vD12,
author = {M. von Detten},
title = {Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction},
booktitle = {Proceedings of the 19th Working Conference on Reverse Engineering},
year = {2012}
}
U. Pohlmann, W. Schäfer, H. Reddehase, J. Röckemann, R. Wagner:
Generating Functional Mockup Units from Software Speci fications. In
Proceedings of the 9th International Modelica Conference 2012. September 2012
[
Show Abstract]
This paper presents an approach to use the Functional Mockup Interface (FMI) for integration of classical controller speci fications and statechart-based specifiations of real-time critical message exchange protocols. The Functional Mockup Unit (FMU) is automatically generated from the specifi cation. Using the generated FMU we are able to exploit simulation facilities as provided by Modelica/ Dymola.
[
Show BibTeX]
@inproceedings{PSR+12,
author = {U. Pohlmann AND W. Sch{\"a}fer AND H. Reddehase AND J. R{\"o}ckemann AND R. Wagner},
title = {Generating Functional Mockup Units from Software Speci fications},
booktitle = {Proceedings of the 9th International Modelica Conference 2012},
year = {2012}
}
C. Heinzemann, U. Pohlmann, J. Rieke, W. Schäfer, O. Sudmann, M. Tichy:
Generating Simulink and Stateflow Models From Software Specifications. In
Proceedings of the 12h International Design Conference DESIGN 2012. May 2012
[
Show BibTeX]
@inproceedings{HPR+12,
author = {C. Heinzemann AND U. Pohlmann AND J. Rieke AND W. Sch{\"a}fer AND O. Sudmann AND M. Tichy},
title = {Generating Simulink and Stateflow Models From Software Specifications},
booktitle = {Proceedings of the 12h International Design Conference DESIGN 2012},
year = {2012}
}
M. von Detten, C. Heinzemann, M. Platenius, J. Rieke, D. Travkin, S. Hildebrandt:
Story Diagrams - Syntax and Semantics. Tech. Rep., no. tr-ri-12-324. Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn July 2012 . Version 0.2.
[
PDF] [
Show BibTeX]
@techreport{vDHP+12b,
author = {M. von Detten AND C. Heinzemann AND M. Platenius AND J. Rieke AND D. Travkin AND S. Hildebrandt},
title = {Story Diagrams - Syntax and Semantics},
institution = {Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn},
year = {2012}
}
M. von Detten, C. Heinzemann, M. Platenius, J. Rieke, J. Suck, D. Travkin, S. Hildebrandt:
Story Diagrams - Syntax and Semantics. Tech. Rep., no. tr-ri-12-320. Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn April 2012 . Version 0.1.
[
PDF] [
Show BibTeX]
@techreport{vDHP+12,
author = {M. von Detten AND C. Heinzemann AND M. Platenius AND J. Rieke AND J. Suck AND D. Travkin AND S. Hildebrandt},
title = {Story Diagrams - Syntax and Semantics},
institution = {Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn},
year = {2012}
}
M. Tichy:
A Master Level Course on Modeling Self-Adaptive Systems with Graph Transformations. In
Proc. of the 8th International Fujaba Days 2011, Tartu, Estonia. May 2011
[
Show Abstract]
A growing emphasis in software and systems development is being laid on the integration of self-x characteristics like selfhealing, self-adaption, self-optimization. More often than not those characteristics can be modeled in terms of graphs and graph transformations. At the Organic Computing group at the University of Augsburg we addressed the topic of modeling self-adaptive systems in a semester long course at the master level. It was designed to contain extensive practical applications of software modeling tools to go along with the lectures. We employed GROOVE and Fujaba as tools for the practical assignments w.r.t. to graph transformations. We report about the course topics, the practical assignments and lessons learned.
[
PDF] [
Show BibTeX]
@inproceedings{Tic11_ag,
author = {M. Tichy},
title = {A Master Level Course on Modeling Self-Adaptive Systems with Graph Transformations},
booktitle = {Proc. of the 8th International Fujaba Days 2011, Tartu, Estonia},
year = {2011}
}
M. von Detten, J. Rieke, C. Heinzemann, D. Travkin, M. Lauder:
A new Meta-Model for Story Diagrams. In
Proceedings of the 8th International Fujaba Days (University of Tartu, Estonia). May 2011
[
Show Abstract]
Story-driven modeling (SDM) is a model-based specification approach combining UML activity diagrams and graph transformations. In recent years, the development in the SDM community led to many incompatible meta-models for story diagrams based on the same common concepts. The diversity of meta-models hindered the reuse of tools and limited synergy effects. In this paper, we introduce the new meta-model for story diagrams which was created in joint effort of the SDM community. The new EMF-based model integrates the recent developments and paves the way for the interoperation of SDM tools with each other and with EMF-based tools.
[
PDF] [
Show BibTeX]
@inproceedings{vDRH+11,
author = {M. von Detten AND J. Rieke AND C. Heinzemann AND D. Travkin AND M. Lauder},
title = {A new Meta-Model for Story Diagrams},
booktitle = {Proceedings of the 8th International Fujaba Days},
year = {2011}
}
M. Fockel, D. Travkin, M. von Detten:
Interpreting Story Diagrams for the Static Detection of Software Patterns. In
Proceedings of the 8th International Fujaba Days (University of Tartu, Estonia). May 2011
[
Show Abstract]
Software maintenance tasks require knowledge about the software’s design. Several tools help to identify implementations of software patterns, e.g. Design Patterns, in source code and thus help to reveal the underlying design. In case of the reverse engineering tool suite Reclipse, detection algorithms are generated from manually created, formal pattern specifications. Due to numerous variants that have to be considered, the pattern specification is error-prone.Because of this, the complex, step-wise generation process has to be traceable backwards to identify specification mistakes. To increase the traceability, we directly interpret the detection algorithm models (story diagrams) instead of executing code generated from these models.This way, a reverse engineer no longer has to relate generated code to the story diagrams to find mistakes in pattern specifications.
[
PDF] [
Show BibTeX]
@inproceedings{FTvD11,
author = {M. Fockel AND D. Travkin AND M. von Detten},
title = {Interpreting Story Diagrams for the Static Detection of Software Patterns},
booktitle = {Proceedings of the 8th International Fujaba Days},
year = {2011}
}
S. Becker, S. Dziwok, T. Gewering, C. Heinzemann, U. Pohlmann, C. Priesterjahn, W. Schäfer, O. Sudmann, M. Tichy:
MechatronicUML - Syntax and Semantics. Tech. Rep., no. tr-ri-11-325. Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn August 2011
[
PDF] [
Show BibTeX]
@techreport{BDG+11,
author = {S. Becker AND S. Dziwok AND T. Gewering AND C. Heinzemann AND U. Pohlmann AND C. Priesterjahn AND W. Sch{\"a}fer AND O. Sudmann AND M. Tichy},
title = {MechatronicUML - Syntax and Semantics},
institution = {Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn},
year = {2011}
}
T. Eckardt, C. Heinzemann:
Providing Timing Computations for FUJABA. In
Proceedings of the 8th International Fujaba Days (University of Tartu, Estonia). May 2011
[
PDF] [
Show BibTeX]
@inproceedings{EH11,
author = {T. Eckardt AND C. Heinzemann},
title = {Providing Timing Computations for FUJABA},
booktitle = {Proceedings of the 8th International Fujaba Days (University of Tartu, Estonia)},
year = {2011}
}
S. Becker, M. von Detten, C. Heinzemann, J. Rieke:
Structuring Complex Story Diagrams by Polymorphic Calls. Tech. Rep., no. tr-ri-11-323. Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn March 2011
[
Show Abstract]
In model-driven software engineering, model transformations occur frequently, e.g., to transform platform independent models into platform specific models. Hybrid languages using imperative and declarative elements seem to be a promising approach as they integrate explicit control-flow with efficient matching. Story diagrams are such a hybrid model transformation language that combines UML activity diagrams and graph transformations in a graphical transformation language.
Hitherto, story diagrams do not support structuring complex transformations into several independent story diagrams which can be called in a well-defined manner. This prevents rule reuse and hence significantly reduces the maintainability of the transformations. In this paper, we therefore extend story diagrams by explicit call activities that invoke other story diagrams and support polymorphic dispatching. We evaluate the benefits of such calls by revisiting an already implemented model transformation and discussing improvements due to our new call concept.
[
PDF] [
Show BibTeX]
@techreport{BvDHR11,
author = {S. Becker AND M. von Detten AND C. Heinzemann AND J. Rieke},
title = {Structuring Complex Story Diagrams by Polymorphic Calls},
institution = {Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn},
year = {2011}
}
J. Greenyer, J. Rieke, W. Schäfer, O. Sudmann:
The Mechatronic UML Development Process. In Tarr, Peri L. and Wolf, Alexander L. (eds.):
Engineering of Software - The Continuing Contributions of Leon J. Osterweil, pp. 311-322. Springer Berlin Heidelberg, 2011
[
Show Abstract]
The advanced functions of mechatronic systems today are essentially realized by software that controls complex processes and enables the communication and coordination of multiple system components. We have developed Mechatronic UML, a comprehensive technique for the model-based development of hybrid real-time component-based systems. Mechatronic UML is based on a well-defined subset of UML diagrams, formal analysis and composition methods. Vital for the successful development with Mechatronic UML, however, is a systematic development process, on which we report in this paper.
[
Show BibTeX]
@incollection{GRSS11,
author = {J. Greenyer AND J. Rieke AND W. Sch{\"a}fer AND O. Sudmann},
title = {The Mechatronic UML Development Process},
booktitle = {Engineering of Software -- The Continuing Contributions of Leon J. Osterweil},
publisher = {Springer Berlin Heidelberg},
year = {2011}
}
[
DOI]
O. Travkin, M. von Detten, S. Becker:
Towards the Combination of Clustering-based and Pattern-based Reverse Engineering Approaches. In
Proceedings of the 3rd Workshop of the GI Working Group L2S2 - Design for Future 2011 (Karlsruhe, Germany). February 2011
[
Show Abstract]
Reverse Engineering, i.e. the analysis of software for the purpose of recovering its design documentation, e.g. in form of the conceptual architecture, is an important area of software engineering. Today, two prevalent reverse engineering approaches have emerged:(1) the clustering-based approach which tries to analyze a given software system by grouping its elements based on metric values to provide the reverse engineer with an overview of the system and (2) the pattern-based approach which tries to detect predefined structural patterns in the software which can give insight about the original developers’ intentions. These approaches operate on different levels of abstraction and have specific strengths and weaknesses.In this paper, we sketch an approach towards combining these techniques which can remove some of the specific shortcomings.
[
PDF] [
Show BibTeX]
@inproceedings{TDB11,
author = {O. Travkin AND M. von Detten AND S. Becker},
title = {Towards the Combination of Clustering-based and Pattern-based Reverse Engineering Approaches},
booktitle = {Proceedings of the 3rd Workshop of the GI Working Group L2S2 - Design for Future 2011},
year = {2011}
}
M. Platenius, M. von Detten, D. Travkin:
Visualization of Pattern Detection Results in Reclipse. In
Proceedings of the 8th International Fujaba Days (University of Tartu, Estonia). May 2011
[
Show Abstract]
Reverse engineering tools can simplify the recovery of a software system’s design by detecting design pattern implementations. This helps to understand a software system andthereby supports the process of maintaining or extending a software.Because the manual specification of patterns has to maintain the balance between precision and generality, detection results may contain incorrectly detected pattern implementations.Usually, a detected candidate cannot be displayed in detail so that interpreting the detection results is difficult. In this paper, we present an approach for a comprehensive and comprehensible visualization of detection results in the reverse engineering tool suite Reclipse.
[
PDF] [
Show BibTeX]
@inproceedings{PvDT11,
author = {M. Platenius AND M. von Detten AND D. Travkin},
title = {Visualization of Pattern Detection Results in Reclipse},
booktitle = {Proceedings of the 8th International Fujaba Days},
year = {2011}
}
H. Giese, S. Henkler, M. Hirsch:
A Multi-Paradigm Approach Supporting the Modular Execution of Reconfigurable Hybrid Systems. In
Transactions of the Society for Modeling and Simulation International, pp. 528-566. December 2010
[
PDF] [
Show BibTeX]
@inproceedings{GHH10_ag,
author = {H. Giese AND S. Henkler AND M. Hirsch},
title = {A Multi-Paradigm Approach Supporting the Modular Execution of Reconfigurable Hybrid Systems},
booktitle = {Transactions of the Society for Modeling and Simulation International},
year = {2010}
}
M. von Detten, D. Travkin:
An Evaluation of the Reclipse Tool Suite based on the Static Analysis of JHotDraw. Tech. Rep., no. tr-ri-10-322. Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn October 2010
[
Show Abstract]
The detection of software design pattern implementations in existing code helps reverse engineers to understand the software design and the original developers’ intentions. In order to automate the tedious and time-consuming task of finding pattern implementations several research groups developed pattern detection algorithms and reported their precision and recall values to compare the approaches.
Our research group developed another approach for the detection of software patterns, Reclipse, that exhibits some unique features like fuzzy expressions to better describe patterns and rate the detected pattern occurrences. For evaluation, we applied our pattern detection approach to JHotDraw. In the following, we present and compare our pattern detection results with those of other approaches.
[
PDF] [
Show BibTeX]
@techreport{vDT10_ag,
author = {M. von Detten AND D. Travkin},
title = {An Evaluation of the Reclipse Tool Suite based on the Static Analysis of JHotDraw},
institution = {Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn},
year = {2010}
}
T. Eckardt, S. Henkler:
Component Behavior Synthesis for Critical Systems. In Holger Giese (eds.):
Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings, Lecture Notes in Computer Science, vol. 6150, pp. 52-71. Springer-Verlag Berlin Heidelberg, 2010
[
PDF] [
Show BibTeX]
@inproceedings{EH10,
author = {T. Eckardt AND S. Henkler},
title = {Component Behavior Synthesis for Critical Systems},
booktitle = {Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings},
year = {2010}
}
W. Schäfer, T. Eckardt, C. Henke, L. Kaiser, T. Kerstan, J. Rieke, M. Tichy:
Der Softwareentwurf im Entwicklungsprozess mechatronischer Systeme. In
7. Paderborner Workshop Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe, vol. 272, pp. 3-22. March 2010
[
PDF] [
Show BibTeX]
@inproceedings{SEHKKRT10_ag,
author = {W. Sch{\"a}fer AND T. Eckardt AND C. Henke AND L. Kaiser AND T. Kerstan AND J. Rieke AND M. Tichy},
title = {Der Softwareentwurf im Entwicklungsprozess mechatronischer Systeme},
booktitle = {7. Paderborner Workshop Entwurf mechatronischer Systeme},
year = {2010}
}
J. Meyer, J. Holtmann, W. Schäfer, U. Nickel:
Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. In Gregor Engels; Markus Luckey; Alexander Pretschner; Ralf Reussner (eds.):
Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium), GI-Edition - Lecture Notes in Informatics (LNI), vol. 160. Bonner Köllen Verlag, 2010
[
Show Abstract]
Heutige Transportsysteme, wie z.B. Automobile sind gekennzeichnet durch eine Vielzahl von Funktionalität, die sehr häufig durch Software realisiert wird. Hiermit ist eine Zunahme der Komplexität festzustellen. Zur Beherrschung dieser Komplexität und damit einhergehend die Aufteilung des Systems in verschiedene Komponenten, ist eine Gesamtmodellierung des Systems inklusive des Verhaltens unerlässlich. Ein besonderer Augenmerk liegt auf Grund der Echtzeitsysteme in dieser Domäne dabei auf der Modellierung von Zeiten auf Systemebene. Die derzeitigen Modellierungskonzepte, wie beispielsweise die Systems Modeling Language (SysML), sind dafür aber noch nicht ausreichend. In dem hier vorgestellten Ansatz wird eine erweiterte Systemmodellierung vorgestellt, die zusätzlich eine formale Spezifizierung von Zeiten erlaubt. Durch diese Modellierung sind weitere Analysemethoden, wie z.B. Simulationen oder Verifikationen möglich, die zum einen die sicherheitsrelevante Funktionalität sicherstellen und zum anderen die Qualität der Software steigern.
[
PDF] [
Show BibTeX]
@inproceedings{HMSN10,
author = {J. Meyer AND J. Holtmann AND W. Sch{\"a}fer AND U. Nickel},
title = {Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie},
booktitle = {Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium)},
year = {2010}
}
S. Henkler, J. Meyer, W. Schäfer, U. Nickel, M. von Detten:
Legacy Component Integration by the Fujaba Real-Time Tool Suite. In
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, vol. 2 (New York, NY, USA), pp. 267-270. ACM, May 2010
[
PDF] [
Show BibTeX]
@inproceedings{HMSNc+10_ag,
author = {S. Henkler AND J. Meyer AND W. Sch{\"a}fer AND U. Nickel AND M. von Detten},
title = {Legacy Component Integration by the Fujaba Real-Time Tool Suite},
booktitle = {Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering},
year = {2010}
}
S. Henkler, S. Oberthür, H. Giese, A. Seibel:
Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures. In
In Proc. of 13th International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC), pp. 58 - 65. IEEE Computer Society Press, 5 2010
[
Show BibTeX]
@inproceedings{HOGS10_ag,
author = {S. Henkler AND S. Oberth{\"u}r AND H. Giese AND A. Seibel},
title = {Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures},
booktitle = {In Proc. of 13th International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC)},
year = {2010}
}
M. von Detten, M. Meyer, D. Travkin:
Reclipse - A Reverse Engineering Tool Suite. Tech. Rep., no. tr-ri-10-312. Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn March 2010
[
Show Abstract]
Design pattern detection is a reverse engineering methodology that helps software engineers to analyze and understand legacy software by recovering design decisions and thereby providing deeper insight into software. In this report we present Reclipse, a reverse engineering tool suite based on Fujaba. Reclipse provides static and dynamic design pattern detection in combination with a pattern rating that is used to evaluate the quality of our detection results.
[
PDF] [
Show BibTeX]
@techreport{vDMT10_ag,
author = {M. von Detten AND M. Meyer AND D. Travkin},
title = {Reclipse - A Reverse Engineering Tool Suite},
institution = {Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn},
year = {2010}
}
C. Heinzemann, S. Henkler, M. Hirsch:
Refinement Checking of Self-Adaptive Embedded Component Architectures. Tech. Rep., no. tr-ri-10-313. University of Paderborn March 2010
[
PDF] [
Show BibTeX]
@techreport{HHH10,
author = {C. Heinzemann AND S. Henkler AND M. Hirsch},
title = {Refinement Checking of Self-Adaptive Embedded Component Architectures},
institution = {University of Paderborn},
year = {2010}
}
S. Henkler, J. Meyer, W. Schäfer, U. Nickel:
Reverse Engineering mechatronischer Systeme. In
Seventh Paderborner Workshop Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe, vol. 272, pp. 1-16. 2010
[
Show BibTeX]
@inproceedings{HMSN10_ag,
author = {S. Henkler AND J. Meyer AND W. Sch{\"a}fer AND U. Nickel},
title = {Reverse Engineering mechatronischer Systeme},
booktitle = {Seventh Paderborner Workshop Entwurf mechatronischer Systeme},
year = {2010}
}
S. Henkler, J. Meyer, W. Schäfer, U. Nickel:
Reverse Engineering vernetzter automotiver Softwaresysteme. In
Proceedings of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 2010, Schloss Dagstuhl, Germany, Informatik-Bericht (Technische Universität Braunschweig). April 2010
[
Show BibTeX]
@inproceedings{HMSN10b_ag,
author = {S. Henkler AND J. Meyer AND W. Sch{\"a}fer AND U. Nickel},
title = {Reverse Engineering vernetzter automotiver Softwaresysteme},
booktitle = {Proceedings of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 2010, Schloss Dagstuhl, Germany},
year = {2010}
}
M. von Detten, M. Meyer, D. Travkin:
Reverse Engineering with the Reclipse Tool Suite. In
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, vol. 2 (New York, NY, USA), pp. 299 - 300. ACM Press, May 2010 . Informal Research Demonstration.
[
PDF] [
Show BibTeX]
@inproceedings{DMT10_ag,
author = {M. von Detten AND M. Meyer AND D. Travkin},
title = {Reverse Engineering with the Reclipse Tool Suite},
booktitle = {Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010},
year = {2010}
}
T. Eckardt, S. Henkler:
Synthesis of Reconfiguration Charts. Tech. Rep., no. tr-ri-10-314. Software Engineering Group January 2010
[
PDF] [
Show BibTeX]
@techreport{EH10b,
author = {T. Eckardt AND S. Henkler},
title = {Synthesis of Reconfiguration Charts},
institution = {Software Engineering Group},
year = {2010}
}
C. Heinzemann, J. Suck, R. Jubeh, A. Zündorf:
Topology Analysis of Car Platoons Merge with FujabaRT & TimedStoryCharts - a Case Study. In Pieter Van Gorp and Steffen Mazanek and Arend Rensink (eds.):
Transformation Tool Contest (Malaga). 2010
[
PDF] [
Show BibTeX]
@inproceedings{HSJZ10,
author = {C. Heinzemann AND J. Suck AND R. Jubeh AND A. Z{\"u}ndorf},
title = {Topology Analysis of Car Platoons Merge with FujabaRT & TimedStoryCharts - a Case Study},
booktitle = {Transformation Tool Contest},
year = {2010}
}
S. Henkler, M. Breit, C. Brink, M. Böger, C. Brenner, K. Bröker, U. Pohlmann, M. Richtermeier, J. Suck, O. Travkin, C. Priesterjahn:
FRiTSCab: Fujaba Re-Engineering Tool Suite for Mechatronic Systems. In Pieter Van Gorp (eds.):
Proceedings of the 7th International Fujaba Days (Eindhoven University of Technology, The Netherlands), pp. 25-29. November 2009
[
PDF] [
Show BibTeX]
@inproceedings{HBB+09_ag,
author = {S. Henkler AND M. Breit AND C. Brink AND M. B{\"o}ger AND C. Brenner AND K. Br{\"o}ker AND U. Pohlmann AND M. Richtermeier AND J. Suck AND O. Travkin AND C. Priesterjahn},
title = {FRiTSCab: Fujaba Re-Engineering Tool Suite for Mechatronic Systems},
booktitle = {Proceedings of the 7th International Fujaba Days},
year = {2009}
}
M. von Detten, M. Platenius:
Improving Dynamic Design Pattern Detection in Reclipse with Set Objects. In Pieter Van Gorp (eds.):
Proceedings of the 7th International Fujaba Days, pp. 15-19. Eindhoven University of Technology, The Netherlands, November 2009
[
Show Abstract]
Design pattern detection is a reverse engineering methodology that helps software engineers to analyze and understand legacy software by recovering design decisions and thereby providing deeper insight into software. Recent research has shown that a combination of static and dynamic source code analysis can produce better results than purely static approaches.
In this paper we present an extension of the pattern detection approach proposed by Wendehals. In particular, we extend the speci cation language for behavioral patterns to increase its expressiveness and the approach's recall by introducing the concept of set objects.
[
PDF] [
Show BibTeX]
@inproceedings{DP09_ag,
author = {M. von Detten AND M. Platenius},
title = {Improving Dynamic Design Pattern Detection in Reclipse with Set Objects},
booktitle = {Proceedings of the 7th International Fujaba Days},
year = {2009}
}
C. Priesterjahn, M. Tichy:
Modeling Safe Reconfiguration with the FUJABA Real-Time Tool Suite. In Pieter van Gorp (eds.):
Proceedings of the 7th International Fujaba Days (Eindhoven, The Netherlands), pp. 20-24. Eindhoven University of Technology, November 2009
[
PDF] [
Show BibTeX]
@inproceedings{PT09_ag,
author = {C. Priesterjahn AND M. Tichy},
title = {Modeling Safe Reconfiguration with the FUJABA Real-Time Tool Suite},
booktitle = {Proceedings of the 7th International Fujaba Days},
year = {2009}
}
P. Adelt, J. Donoth, J. Gausemeier, J. Geisler, S. Henkler, S. Kahl, B. Klöpper, A. Krupp, E. Münch, S. Oberthür, C. Paiz, H. Podlogar, M. Porrmann, R. Radkowski, C. Romaus, A. Schmidt, B. Schulz, H. Vöcking, U. Witkowski, K. Witting, O. Znamenshchykov:
Selbstoptimierende Systeme des Maschinenbaus - Definitionen, Anwendungen, Konzepte., vol. Band 234 (Paderborn). HNI-Verlagsschriftenreihe, 2009
[
Show BibTeX]
@book{ADG+09_ag,
author = {P. Adelt AND J. Donoth AND J. Gausemeier AND J. Geisler AND S. Henkler AND S. Kahl AND B. Kl{\"o}pper AND A. Krupp AND E. M{\"u}nch AND S. Oberth{\"u}r AND C. Paiz AND H. Podlogar AND M. Porrmann AND R. Radkowski AND C. Romaus AND A. Schmidt AND B. Schulz AND H. V{\"o}cking AND U. Witkowski AND K. Witting AND O. Znamenshchykov},
editor = {},
title = {Selbstoptimierende Systeme des Maschinenbaus - Definitionen, Anwendungen, Konzepte.},
publisher = {HNI-Verlagsschriftenreihe},
year = {2009}
}
C. Heinzemann, S. Henkler, A. Zündorf:
Specification and Refinement Checking of Dynamic Systems. In Pieter Van Gorp (eds.):
Proceedings of the 7th International Fujaba Days (Eindhoven University of Technology, The Netherlands), pp. 6-10. November 2009
[
PDF] [
Show BibTeX]
@inproceedings{HHZ09_ag,
author = {C. Heinzemann AND S. Henkler AND A. Z{\"u}ndorf},
title = {Specification and Refinement Checking of Dynamic Systems},
booktitle = {Proceedings of the 7th International Fujaba Days},
year = {2009}
}
T. Eckardt, S. Henkler:
Synthesis of Component Behavior. In Pieter Van Gorp (eds.):
Proceedings of the 7th International Fujaba Days (Eindhoven University of Technology, The Netherlands), pp. 1-5. November 2009
[
Show BibTeX]
@inproceedings{EH09_ag,
author = {T. Eckardt AND S. Henkler},
title = {Synthesis of Component Behavior},
booktitle = {Proceedings of the 7th International Fujaba Days},
year = {2009}
}
S. Henkler, J. Greenyer, M. Hirsch, W. Schäfer, K. Alhawash, T. Eckardt, C. Heinzemann, R. Löffler, A. Seibel, H. Giese:
Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite. In
Proc. of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada, pp. 615-618. May 2009
[
PDF] [
Show BibTeX]
@inproceedings{HGH+09_ag,
author = {S. Henkler AND J. Greenyer AND M. Hirsch AND W. Sch{\"a}fer AND K. Alhawash AND T. Eckardt AND C. Heinzemann AND R. L{\"o}ffler AND A. Seibel AND H. Giese},
title = {Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite},
booktitle = {Proc. of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada},
year = {2009}
}
A. Dell'Aere, M. Hirsch, B. Klöpper, M. Koester, M. Krüger, A. Krupp, T. Müller, S. Oberthür, S. Pook, C. Priesterjahn, C. Romaus, A. Schmidt, C. Sondermann-Wölke, M. Tichy, H. Vöcking, H. Zimmer:
Verlässlichkeit selbstoptimierender Systeme - Potenziale nutzen und Risiken vermeiden, vol. Band 235 (Paderborn). HNI-Verlagsschriftenreihe, 2009
[
Show BibTeX]
@book{DGH+09_ag,
author = {A. Dell'Aere AND M. Hirsch AND B. Kl{\"o}pper AND M. Koester AND M. Kr{\"u}ger AND A. Krupp AND T. M{\"u}ller AND S. Oberth{\"u}r AND S. Pook AND C. Priesterjahn AND C. Romaus AND A. Schmidt AND C. Sondermann-W{\"o}lke AND M. Tichy AND H. V{\"o}cking AND H. Zimmer},
editor = {},
title = {Verl{\"a}sslichkeit selbstoptimierender Systeme - Potenziale nutzen und Risiken vermeiden},
publisher = {HNI-Verlagsschriftenreihe},
year = {2009}
}
J. Holtmann, M. Tichy:
Component Story Diagrams in Fujaba4Eclipse. In
Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, pp. 44-47. September 2008
[
Show Abstract]
A current trend in Software Engineering is the development of self-adaptive component-based software architectures. Our modeling approach for component-based software systems Mechatronic UML, integrated in the Fujaba Real-Time Tool Suite plugin for Fujaba4Eclipse, supports self-adaptiveness only to a certain degree. This paper presents tool support for an extension of Mechatronic UML, which facilitates initialization and recon guration of a Mechatronic UML system based on Story Diagrams and thus enables a step towards self-adaptiveness on a structural level.
[
PDF] [
Show BibTeX]
@inproceedings{HT08_ag,
author = {J. Holtmann AND M. Tichy},
title = {Component Story Diagrams in Fujaba4Eclipse},
booktitle = {Proc. of the 6th International Fujaba Days 2008, Dresden, Germany},
year = {2008}
}
M. Tichy, S. Henkler, J. Holtmann, S. Oberthür:
Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems. In Matthias Gehrke; Holger Giese; Joachim Stroop (eds.):
Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, HNI-Verlagsschriftenreihe, vol. 236, pp. 27-38. Heinz Nixdorf Institut, 2008
[
Show Abstract]
To cope with the high complexity of software in advanced technical systems, the software of these systems is often built in a component-based fashion. The growing usage of self-adaptive techniques leads to sophisticated reconfigurations of the software component structures during runtime. Current modeling approaches for component-based software systems do not include a transformation language for the specification of component structure reconfigurations. In this paper we therefore introduce an extension of a component-based modeling approach. This extension enables (1) the specification of hierarchical component structures and (2) the specification of structural transformations based on the specified hierarchical component structures. Further, as we consider mechatronic systems, we also show the predictable runtime behavior of the transformations.
[
PDF] [
Show BibTeX]
@inproceedings{THHO08_ag,
author = {M. Tichy AND S. Henkler AND J. Holtmann AND S. Oberth{\"u}r},
title = {Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems},
booktitle = {Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany},
year = {2008}
}
S. Henkler, M. Hirsch, S. Kahl, A. Schmidt:
Development of Self-optimizing Systems: Domain-spanning and Domain-specific Models exemplified by an Air Gap Adjustment System for Autonomous Vehicles. In
ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, August 3-6, 2008, New York, USA (New York, USA), pp. 1-11. ASME, September 2008
[
Show BibTeX]
@inproceedings{HHK+08_ag,
author = {S. Henkler AND M. Hirsch AND S. Kahl AND A. Schmidt},
title = {Development of Self-optimizing Systems: Domain-spanning and Domain-specific Models exemplified by an Air Gap Adjustment System for Autonomous Vehicles},
booktitle = {ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, August 3-6, 2008, New York, USA},
year = {2008}
}
J. Holtmann:
Graphtransformationen für komponentenbasierte Softwarearchitekturen. Master's thesis, Software Engineering Group, University of Paderborn, April 2008
[
PDF] [
Show BibTeX]
@mastersthesis{Hol08,
author = {J. Holtmann},
title = {Graphtransformationen f{\"u}r komponentenbasierte Softwarearchitekturen},
school = {Software Engineering Group, University of Paderborn},
year = {2008}
}
S. Henkler, M. Hirsch, C. Priesterjahn:
Hybrid Model Checking with the FUJABA Real-Time Tool Suite. In Uwe Aßmann and Jendrik Johannes and Albert Zündorf (eds.):
Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, pp. 40-43. September 2008
[
PDF] [
Show BibTeX]
@inproceedings{HHP08_ag,
author = {S. Henkler AND M. Hirsch AND C. Priesterjahn},
title = {Hybrid Model Checking with the FUJABA Real-Time Tool Suite},
booktitle = {Proc. of the 6th International Fujaba Days 2008, Dresden, Germany},
year = {2008}
}
C. Brenner, H. Giese, S. Henkler, M. Hirsch, C. Priesterjahn:
Integration of Legacy Components in Mechatronic UML Architectures. In Uwe Aßmann and Jendrik Johannes and Albert Zündorf (eds.):
Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, pp. 52-55. September 2008
[
PDF] [
Show BibTeX]
@inproceedings{BHH+08_ag,
author = {C. Brenner AND H. Giese AND S. Henkler AND M. Hirsch AND C. Priesterjahn},
title = {Integration of Legacy Components in Mechatronic UML Architectures},
booktitle = {Proc. of the 6th International Fujaba Days 2008, Dresden, Germany},
year = {2008}
}
S. Henkler, M. Hirsch:
Iterative Behavior Synthesis by Combining Formal Verification and Model-Based Testing. In
Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, pp. 39-51. 2008
[
Show BibTeX]
@inproceedings{HH08b_ag,
author = {S. Henkler AND M. Hirsch},
title = {Iterative Behavior Synthesis by Combining Formal Verification and Model-Based Testing},
booktitle = {Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany},
year = {2008}
}
M. Hirsch, H. Giese, S. Henkler:
Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML. In
Proc. of the ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'08), Leipzig, Germany, pp. 33-40. ACM Press, May 2008
[
Show BibTeX]
@inproceedings{HHG08_ag,
author = {M. Hirsch AND H. Giese AND S. Henkler},
title = {Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML},
booktitle = {Proc. of the ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'08), Leipzig, Germany},
year = {2008}
}
M. Tichy, S. Henkler, M. Meyer, M. von Detten:
Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse. In
Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany. May 2008
[
PDF] [
Show BibTeX]
@inproceedings{THMD08_ag,
author = {M. Tichy AND S. Henkler AND M. Meyer AND M. von Detten},
title = {Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse},
booktitle = {Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany},
year = {2008}
}
K. Alhawash, T. Ceylan, T. Eckardt, M. Fazal-Baqaie, J. Greenyer, C. Heinzemann, S. Henkler, R. Ristov, D. Travkin, C. Yalcin:
The Fujaba Automotive Tool Suite. In Uwe Aßmann and Jendrik Johannes and Albert Zündorf (eds.):
Proceedings of 6th International Fujaba Days (Fujaba Days 2008), Dresden, Germany, September 18-19, 2008, vol. TUD-FI08-09 (Dresden, Germany), pp. 36-39. Technische Universität Dresden, September 2008
[
PDF] [
Show BibTeX]
@inproceedings{ACEetal08_ag,
author = {K. Alhawash AND T. Ceylan AND T. Eckardt AND M. Fazal-Baqaie AND J. Greenyer AND C. Heinzemann AND S. Henkler AND R. Ristov AND D. Travkin AND C. Yalcin},
title = {The Fujaba Automotive Tool Suite},
booktitle = {Proceedings of 6th International Fujaba Days (Fujaba Days 2008), Dresden, Germany, September 18-19, 2008},
year = {2008}
}
L. Wendehals:
Struktur- und verhaltensbasierte Entwurfsmustererkennung. PhD thesis, University of Paderborn, Paderborn, Germany, September 2007 . In German.
[
Show BibTeX]
@phdthesis{Wen07,
author = {L. Wendehals},
title = {Struktur- und verhaltensbasierte Entwurfsmustererkennung},
school = {University of Paderborn, Paderborn, Germany},
year = {2007}
}
[
URL]
S. Burmester, H. Giese, S. Henkler, M. Hirsch, M. Tichy, A. Gambuzza, E. Münch, H. Vöcking:
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. In
Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, pp. 801-804. IEEE Computer Society Press, May 2007
[
PDF] [
Show BibTeX]
@inproceedings{BGH+07_ag,
author = {S. Burmester AND H. Giese AND S. Henkler AND M. Hirsch AND M. Tichy AND A. Gambuzza AND E. M{\"u}nch AND H. V{\"o}cking},
title = {Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View},
booktitle = {Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA},
year = {2007}
}
M. Tichy, S. Henkler:
Towards a Transformation Language for Component Structures. In
Proc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, pp. 68-73. October 2007
[
PDF] [
Show BibTeX]
@inproceedings{TH07_ag,
author = {M. Tichy AND S. Henkler},
title = {Towards a Transformation Language for Component Structures},
booktitle = {Proc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany},
year = {2007}
}
J. Gausemeier, H. Giese, W. Schäfer, B. Axenath, U. Frank, S. Henkler, S. Pook, M. Tichy:
Towards the Design of Self-Optimizing Mechatronic Systems: Consistency between Domain-Spanning and Domain-Specific Models. In
Proc. of the 16th International Conference on Engineering Design (ICED), Paris, France. August 2007
[
Show BibTeX]
@inproceedings{GGSAFHPT07_ag,
author = {J. Gausemeier AND H. Giese AND W. Sch{\"a}fer AND B. Axenath AND U. Frank AND S. Henkler AND S. Pook AND M. Tichy},
title = {Towards the Design of Self-Optimizing Mechatronic Systems: Consistency between Domain-Spanning and Domain-Specific Models},
booktitle = {Proc. of the 16th International Conference on Engineering Design (ICED), Paris, France},
year = {2007}
}
E. Kindler, R. Wagner:
Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios. Tech. Rep., no. tr-ri-07-284. Software Engineering Group, Department of Computer Science, University of Paderborn June 2007
[
PDF] [
Show BibTeX]
@techreport{KW07_ag,
author = {E. Kindler AND R. Wagner},
title = {Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios},
institution = {Software Engineering Group, Department of Computer Science, University of Paderborn},
year = {2007}
}
H. Giese, S. Henkler, M. Hirsch:
Analysis and Modeling of Real-Time with Mechatronic UML taking Clock Drift into Account. In
Proc. of the International Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES), Satellite Event of the 9th International Conference on Model Driven Engineering Languages and Systems, MoDELS/UML2006, Genova, Italy, Research Report, vol. 343 (University of Oslo), pp. 41-60. October 2006
[
Show BibTeX]
@inproceedings{GHH06a_ag,
author = {H. Giese AND S. Henkler AND M. Hirsch},
title = {Analysis and Modeling of Real-Time with Mechatronic UML taking Clock Drift into Account},
booktitle = {Proc. of the International Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES), Satellite Event of the 9th International Conference on Model Driven Engineering Languages and Systems, MoDELS/UML2006, Genova, Italy},
year = {2006}
}
D. Travkin:
Bewertung automatisch erkannter Instanzen von Software-Mustern. Master's thesis, University of Paderborn, Department of Computer Science, Paderborn, Germany, September 2006
[
PDF] [
Show BibTeX]
@mastersthesis{Tra06_ag,
author = {D. Travkin},
title = {Bewertung automatisch erkannter Instanzen von Software-Mustern},
school = {University of Paderborn, Department of Computer Science, Paderborn, Germany},
year = {2006}
}
R. Wagner:
Developing Model Transformations with Fujaba. In Holger Giese and Bernhard Westfechtel (eds.):
Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, Technical Report, vol. tr-ri-06-275, pp. 79-82. University of Paderborn, September 2006
[
PDF] [
Show BibTeX]
@inproceedings{Wag06_ag,
author = {R. Wagner},
title = {Developing Model Transformations with Fujaba},
booktitle = {Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany},
year = {2006}
}
S. Burmester, H. Giese, O. Oberschelp:
Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In Braz, J. and Araujo, H. and Vieira, A. and Encarnacao, B. (eds.):
Informatics in Control, Automation and Robotics I. Springer Verlag, March 2006
[
Show Abstract]
Complex technical systems, such as mechatronic systems, can exploit the computational power available today to achieve an automatic improvement of the technical system performance at run-time by means of self-optimization. To realize this vision appropriate means for the design of such systems are required. To support self-optimization it is not enough just to permit to alter some free parameters of the controllers. Furthermore, support for the modular reconfiguration of the internal structures of the controllers is required. Thereby it makes sense to find a representation for reconfigurable systems which includes classical, non-reconfigurable block diagrams. We therefore propose hybrid components and a related hybrid Statechart extension for the Unified Modeling Language (UML); it is to support the design of self-optimizing mechatronic systems by allowing specification of the necessary flexible reconfiguration of the system as well as of its hybrid subsystems in a modular manner.
[
PDF] [
Show BibTeX]
@incollection{BGO06_ag,
author = {S. Burmester AND H. Giese AND O. Oberschelp},
title = {Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems},
booktitle = {Informatics in Control, Automation and Robotics I},
publisher = {Springer Verlag},
year = {2006}
}
H. Giese, R. Wagner:
Incremental Model Synchronization with Triple Graph Grammars. In Oscar Nierstrasz and John Whittle and David Harel and Gianna Reggio (eds.):
Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy, Lecture Notes in Computer Science (LNCS), vol. 4199, pp. 543-557. Springer Verlag, October 2006
[
PDF] [
Show BibTeX]
@inproceedings{GW06_ag,
author = {H. Giese AND R. Wagner},
title = {Incremental Model Synchronization with Triple Graph Grammars},
booktitle = {Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy},
year = {2006}
}
Konzeption und Realisierung eines Code-Generators mit Tripel Graph Grammatiken. Master's thesis, University of Paderborn, Department of Computer Science, Paderborn, Germany, March 2006
[
PDF] [
Show BibTeX]
@mastersthesis{Kla06_ag,
author = {},
title = {Konzeption und Realisierung eines Code-Generators mit Tripel Graph Grammatiken},
school = {University of Paderborn, Department of Computer Science, Paderborn, Germany},
year = {2006}
}
M. Tichy, M. Meyer, H. Giese:
On Semantic Issues in Story Diagrams. In Holger Giese and Bernhard Westfechtel (eds.):
Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, Technical Report, vol. tr-ri-06-275, pp. 10-14. University of Paderborn, September 2006
[
PDF] [
Show BibTeX]
@inproceedings{TMG06_ag,
author = {M. Tichy AND M. Meyer AND H. Giese},
title = {On Semantic Issues in Story Diagrams},
booktitle = {Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany},
year = {2006}
}
L. Wendehals, A. Orso:
Recognizing Behavioral Patterns at Runtime using Finite Automata. In
Proc. of the 4th ICSE 2006 Workshop on Dynamic Analysis (WODA), Shanghai, China, pp. 33-40. ACM Press, May 2006
[
PDF] [
Show BibTeX]
@inproceedings{WO06_ag,
author = {L. Wendehals AND A. Orso},
title = {Recognizing Behavioral Patterns at Runtime using Finite Automata},
booktitle = {Proc. of the 4th ICSE 2006 Workshop on Dynamic Analysis (WODA), Shanghai, China},
year = {2006}
}
M. Tichy, H. Giese, A. Seibel:
Story Diagrams in Real-Time Software. In Holger Giese and Bernhard Westfechtel (eds.):
Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, Technical Report, vol. tr-ri-06-275, pp. 15-22. University of Paderborn, September 2006
[
PDF] [
Show BibTeX]
@inproceedings{TGS06_ag,
author = {M. Tichy AND H. Giese AND A. Seibel},
title = {Story Diagrams in Real-Time Software},
booktitle = {Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany},
year = {2006}
}
H. Giese, S. Glesner, J. Leitner, W. Schäfer, R. Wagner:
Towards Verified Model Transformations. In David Hearnden and Jörn Guy Süß and Benoit Baudry and Nicolas Rapin (eds.):
Proc. of the 3rd International Workshop on Model Development, Validation and Verification (MoDeV2a), Genova, Italy, pp. 78-93. Le Commissariat l'Energie Atomique - CEA, October 2006
[
PDF] [
Show BibTeX]
@inproceedings{GGL+06_ag,
author = {H. Giese AND S. Glesner AND J. Leitner AND W. Sch{\"a}fer AND R. Wagner},
title = {Towards Verified Model Transformations},
booktitle = {Proc. of the 3rd International Workshop on Model Development, Validation and Verification (MoDeV2a), Genova, Italy},
year = {2006}
}
B. Becker, H. Giese, D. Schilling:
A Plugin for Checking Inductive Invariants when Modeling with Class Diagrams and Story Patterns. In
Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, pp. 1-4. September 2005
[
Show BibTeX]
@inproceedings{BGS05a_ag,
author = {B. Becker AND H. Giese AND D. Schilling},
title = {A Plugin for Checking Inductive Invariants when Modeling with Class Diagrams and Story Patterns},
booktitle = {Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany},
year = {2005}
}
M. Meyer, J. Niere:
Calculation and Visualization of Software Product Metrics. In Holger Giese and Albert Zündorf (eds.):
Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, Technical Report, vol. tr-ri-05-259, pp. 41-44. University of Paderborn, September 2005
[
Show Abstract]
The paper presents a further step of the Fujaba Tool Suite RE to support coarse-grained analyses based on metrics and especially polymetric views. Polymetric views are graphical representations of certain metric combinations. Following an interactive reverse engineering approach, polymetric views can be created on demand. The reverse engineer is able to define new polymetric view descriptions and create new views afterwards.
[
PDF] [
Show BibTeX]
@inproceedings{MN05_ag,
author = {M. Meyer AND J. Niere},
title = {Calculation and Visualization of Software Product Metrics},
booktitle = {Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany},
year = {2005}
}
M. Tichy, H. Giese:
Extending Fault Tolerance Patterns by Visual Degradation Rules. In
Proc. of the Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, pp. 67-74. September 2005
[
PDF] [
Show BibTeX]
@inproceedings{TG05_ag,
author = {M. Tichy AND H. Giese},
title = {Extending Fault Tolerance Patterns by Visual Degradation Rules},
booktitle = {Proc. of the Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA},
year = {2005}
}
D. Travkin, M. Meyer:
Generation of Type Safe Association Implementations. In Holger Giese and Albert Zündorf (eds.):
Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, Technical Report, vol. tr-ri-05-259, pp. 63-66. University of Paderborn, September 2005
[
Show Abstract]
Model driven development facilitates the specification of software models from which code can be generated automatically. In practice, a software system can often not be modelled completely. Developers still have to implement parts of it manually and thus have to work with the generated code. Therefore, the usability of the code is important. The Fujaba Tool Suite is a UML case tool which allows to model the structure and behaviour of a system with UML diagrams and to generate Java code for the specifications. However, the code currently generated for associations is not type safe. Furthermore, a lot of code is added to the implementation of the model classes which decreases their usability. In this paper, we present an approach to generate type safe association implementations in Java which also improves the readability and usability of the generated code.
[
PDF] [
Show BibTeX]
@inproceedings{TM05_ag,
author = {D. Travkin AND M. Meyer},
title = {Generation of Type Safe Association Implementations},
booktitle = {Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany},
year = {2005}
}
D. Travkin:
Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen. Bachelor's thesis, University of Paderborn, Department of Computer Science, Paderborn, Germany, February 2005
[
PDF] [
Show BibTeX]
@bachelorsthesis{Tra05_ag,
author = {D. Travkin},
title = {Generierung typsicherer Implementierungen f{\"u}r Assoziationen in UML-Modellen},
school = {University of Paderborn, Department of Computer Science, Paderborn, Germany},
year = {2005}
}
S. Henkler:
Laufzeitunterstützung für Test, Überwachung und Diagnose bei der modellbasierten Entwicklung mit Mechatronic UML. Master's thesis, University of Paderborn, June 2005
[
PDF] [
Show BibTeX]
@mastersthesis{hen05_ag,
author = {S. Henkler},
title = {Laufzeitunterst{\"u}tzung f{\"u}r Test, {\"U}berwachung und Diagnose bei der modellbasierten Entwicklung mit Mechatronic UML},
school = {University of Paderborn},
year = {2005}
}
S. Burmester, H. Giese, W. Schäfer:
Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code. In
Proc. of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA'05), Nürnberg, Germany, Lecture Notes in Computer Science (LNCS), vol. 3748, pp. 25-40. Springer Verlag, November 2005
[
PDF] [
Show BibTeX]
@inproceedings{BGS05_ag,
author = {S. Burmester AND H. Giese AND W. Sch{\"a}fer},
title = {Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code},
booktitle = {Proc. of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA'05), N{\"u}rnberg, Germany},
year = {2005}
}
S. Burmester, H. Giese, M. Tichy:
Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. In Uwe Assmann and Arend Rensink and Mehmet Aksit (eds.):
Model Driven Architecture: Foundations and Applications, Lecture Notes in Computer Science (LNCS), vol. 3599, pp. 47-61. Springer Verlag, August 2005
[
PDF] [
Show BibTeX]
@inproceedings{BGT05_ag,
author = {S. Burmester AND H. Giese AND M. Tichy},
title = {Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML},
booktitle = {Model Driven Architecture: Foundations and Applications},
year = {2005}
}
M. Meyer, L. Wendehals:
Selective Tracing for Dynamic Analyses. In Andy Zaidman and Abdelwahab Hamou-Lhadj and Orla Greevy (eds.):
Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), co-located with the 12th WCRE, Pittsburgh, Pennsylvania, USA, Technical Report, vol. 2005-12, pp. 33-37. November 2005
[
Show Abstract]
Reverse engineering based on dynamic analyses often uses method traces of the program under analysis. Recording all method traces during a program's execution produces too much data, though for most analyses, a 'slice' of all method traces is sufficient. In this paper, we present an approach to collect runtime information by selectively recording method calls during a program's execution. Only relevant classes and methods are monitored to reduce the amount of information. We developed the JavaTracer which we use for the recording of method calls in Java programs.
[
PDF] [
Show BibTeX]
@inproceedings{MW05_ag,
author = {M. Meyer AND L. Wendehals},
title = {Selective Tracing for Dynamic Analyses},
booktitle = {Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), co-located with the 12th WCRE, Pittsburgh, Pennsylvania, USA},
year = {2005}
}
S. Burmester, H. Giese, M. Hirsch, D. Schilling, M. Tichy:
The Fujaba Real-Time Tool Suite: Model-Driven Development of Safety-Critical, Real-Time Systems. In
Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, USA, pp. 670-671. ACM Press, May 2005
[
PDF] [
Show BibTeX]
@inproceedings{BGH+05_ag,
author = {S. Burmester AND H. Giese AND M. Hirsch AND D. Schilling AND M. Tichy},
title = {The Fujaba Real-Time Tool Suite: Model-Driven Development of Safety-Critical, Real-Time Systems},
booktitle = {Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, USA},
year = {2005}
}
H. Giese, S. Tissen:
The SceBaSy Plugin for the Scenario-Based Synthesis of Real-Time Coordination Patterns for Mechatronic UML. In
Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, pp. 67-70. September 2005
[
PDF] [
Show BibTeX]
@inproceedings{GT05_ag,
author = {H. Giese AND S. Tissen},
title = {The SceBaSy Plugin for the Scenario-Based Synthesis of Real-Time Coordination Patterns for Mechatronic UML},
booktitle = {Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany},
year = {2005}
}
L. Wendehals:
Tool Demonstration: Selective Tracer for Java Programs. In
12th Working Conference on Reverse Engineering, Pittsburgh, Pennsylvania, USA. November 2005
[
PDF] [
Show BibTeX]
@inproceedings{Wen05_ag,
author = {L. Wendehals},
title = {Tool Demonstration: Selective Tracer for Java Programs},
booktitle = {12th Working Conference on Reverse Engineering, Pittsburgh, Pennsylvania, USA},
year = {2005}
}
W. Pauls:
Verteilungsmodellierung für zuverlässige, komponentenbasierte Software in eingebetteten Systemen mit UML. Master's thesis, University of Paderborn, Department of Computer Science,Paderborn, Germany, March 2005
[
PDF] [
Show BibTeX]
@mastersthesis{Pau05_ag,
author = {W. Pauls},
title = {Verteilungsmodellierung f{\"u}r zuverl{\"a}ssige, komponentenbasierte Software in eingebetteten Systemen mit UML},
school = {University of Paderborn, Department of Computer Science,Paderborn, Germany},
year = {2005}
}
S. Burmester, H. Giese:
Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in Mechatronic UML. In
Proc. of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, pp. 109-116. IEEE Computer Society Press, September 2005
[
PDF] [
Show BibTeX]
@inproceedings{BG05_ag,
author = {S. Burmester AND H. Giese},
title = {Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in Mechatronic UML},
booktitle = {Proc. of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA},
year = {2005}
}
S. Burmester, H. Giese, S. Henkler:
Visual Model-Driven Development of Software Intensive Systems: A Survey of available Techniques and Tools. In
Proc. of the Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, pp. 11-18. September 2005
[
PDF] [
Show BibTeX]
@inproceedings{BG05b_ag,
author = {S. Burmester AND H. Giese AND S. Henkler},
title = {Visual Model-Driven Development of Software Intensive Systems: A Survey of available Techniques and Tools},
booktitle = {Proc. of the Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA},
year = {2005}
}
S. Burmester, H. Giese, A. Seibel, M. Tichy:
Worst-Case Execution Time Optimization of Story Patterns for Hard Real-Time Systems. In
Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, pp. 71-78. September 2005
[
PDF] [
Show BibTeX]
@inproceedings{BGST05_ag,
author = {S. Burmester AND H. Giese AND A. Seibel AND M. Tichy},
title = {Worst-Case Execution Time Optimization of Story Patterns for Hard Real-Time Systems},
booktitle = {Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany},
year = {2005}
}
M. Tichy, H. Giese:
A Self-Optimizing Run-Time Architecture for Configurable Dependability of Services. In Rogerio de Lemos and Cristina Gacek and Alexander Romanovsky (eds.):
Architecting Dependable Systems II, Lecture Notes in Computer Science (LNCS), vol. 3069, pp. 25-51. Springer Verlag, 2004
[
Show Abstract]
Many human activities today depend critically on systems where substantial functionality has been realized using complex software. Therefore, appropriate means to achieve a sufficient degree for dependability are required, which use the available information about the software components and the system architecture. For the special case of service-based architectures,\ext- an architecture proposed to cope with the complexity and dynamics of today's systems - we identify in this paper a set of architectural principles which can be used to improve dependability. We then describe how the identified architectural principles have been used in a realized service-based architecture which extends Jini. The dependable operation of the infrastructure services of the architecture further enables to systematically control and configure some dependability attributes of application services. We present a qualitative and quantitative evaluation of the dependability for a configuration of multiple identical services which are executed with the architecture and show how the different parameters effect the dependability. Additionally, a scheme for the dynamic control of the required dependability of the application services in the case of changing failure characteristics of the environment is outlined. Finally, we present a first evaluation of the developed architecture and its dynamic control of dependability.
[
PDF] [
Show BibTeX]
@incollection{TG04_ag,
author = {M. Tichy AND H. Giese},
title = {A Self-Optimizing Run-Time Architecture for Configurable Dependability of Services},
booktitle = {Architecting Dependable Systems II},
publisher = {Springer Verlag},
year = {2004}
}
E. Kindler, V. Rubin, R. Wagner:
An Adaptable TGG Interpreter for In-Memory Model Transformation. In Andy Schürr and Albert Zündorf (eds.):
Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany, Technical Report, vol. tr-ri-04-253, pp. 35-38. University of Paderborn, September 2004
[
Show Abstract]
Triple graph grammars are a technique for translating and for maintaining consistency among different models. Implementations of such triple graph grammar transformations work only for automatically generated models. Therefore, the transformations cannot be applied to third-party models. In this paper, we discuss this problem and ideas for its solution.
[
PDF] [
Show BibTeX]
@inproceedings{KRW04_ag,
author = {E. Kindler AND V. Rubin AND R. Wagner},
title = {An Adaptable TGG Interpreter for In-Memory Model Transformation},
booktitle = {Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany},
year = {2004}
}
W. Schäfer, R. Wagner, J. Gausemeier, R. Eckes:
An Engineer's Workstation to support Integrated Development of Flexible Production Control Systems. In H. Ehrig and W. Damm and J. Desel and M. Große-Rhode and W. Reif and E. Schnieder and E. Westkämper (eds.):
Integration of Software Specification Techniques for Applications in Engineering, Lecture Notes in Computer Science (LNCS), vol. 3147, pp. 48-68. Springer Verlag, September 2004
[
PDF] [
Show BibTeX]
@incollection{SWGE04_ag,
author = {W. Sch{\"a}fer AND R. Wagner AND J. Gausemeier AND R. Eckes},
title = {An Engineer's Workstation to support Integrated Development of Flexible Production Control Systems},
booktitle = {Integration of Software Specification Techniques for Applications in Engineering},
publisher = {Springer Verlag},
year = {2004}
}
M. Tichy, B. Becker, H. Giese:
Component Templates for Dependable Real-Time Systems. In Andy Schürr and Albert Zündorf (eds.):
Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany, Technical Report, vol. tr-ri-04-253, pp. 27-30. University of Paderborn, September 2004
[
PDF] [
Show BibTeX]
@inproceedings{TBG04_ag,
author = {M. Tichy AND B. Becker AND H. Giese},
title = {Component Templates for Dependable Real-Time Systems},
booktitle = {Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany},
year = {2004}
}
S. Burmester, H. Giese, F. Klein:
Design and Simulation of Self-Optimizing Mechatronic Systems with Fujaba and CAMeL. In Andy Schürr and Albert Zündorf (eds.):
Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany, Technical Report, vol. tr-ri-04-253, pp. 19-22. University of Paderborn, September 2004
[
PDF] [
Show BibTeX]
@inproceedings{BGK04b_ag,
author = {S. Burmester AND H. Giese AND F. Klein},
title = {Design and Simulation of Self-Optimizing Mechatronic Systems with Fujaba and CAMeL},
booktitle = {Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany},
year = {2004}
}
M. Tichy, D. Schilling, H. Giese:
Design of Self-Managing Dependable Systems with UML and Fault Tolerance Patterns. In
Proc. of the Workshop on Self-Managed Systems (WOSS) 2004, FSE 2004 Workshop, Newport Beach, USA. October 2004
[
PDF] [
Show BibTeX]
@inproceedings{TSG04_ag,
author = {M. Tichy AND D. Schilling AND H. Giese},
title = {Design of Self-Managing Dependable Systems with UML and Fault Tolerance Patterns},
booktitle = {Proc. of the Workshop on Self-Managed Systems (WOSS) 2004, FSE 2004 Workshop, Newport Beach, USA},
year = {2004}
}
M. Hirsch:
Effizientes Model Checking von UML-RT Modellen und Realtime Statecharts mit UPPAAL. Master's thesis, University of Paderborn, June 2004
[
PDF] [
Show BibTeX]
@mastersthesis{hir04_ag,
author = {M. Hirsch},
title = {Effizientes Model Checking von UML-RT Modellen und Realtime Statecharts mit UPPAAL},
school = {University of Paderborn},
year = {2004}
}
S. Alptekin:
Ein dynamischer Erweiterungsmechanismus für Fujaba. Bachelor's thesis, University of Paderborn, Department of Computer Science, Paderborn, Germany, April 2004
[
PDF] [
Show BibTeX]
@bachelorsthesis{Alp04_ag,
author = {S. Alptekin},
title = {Ein dynamischer Erweiterungsmechanismus f{\"u}r Fujaba},
school = {University of Paderborn, Department of Computer Science, Paderborn, Germany},
year = {2004}
}
S. Burmester, H. Giese, O. Oberschelp:
Hybrid UML Components for the Correct Design of Self-optimizing Mechatronic Systems. Tech. Rep., no. tr-ri-03-246. University of Paderborn (Paderborn, Germany) 2004
[
PDF] [
Show BibTeX]
@techreport{BGO04b_ag,
author = {S. Burmester AND H. Giese AND O. Oberschelp},
title = {Hybrid UML Components for the Correct Design of Self-optimizing Mechatronic Systems},
institution = {University of Paderborn},
year = {2004}
}
S. Burmester, H. Giese, O. Oberschelp:
Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In Helder Araujo and Alves Vieira and Jose Braz and Bruno Encarnacao and Marina Carvalho (eds.):
Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, pp. 222-229. INSTICC Press, August 2004
[
PDF] [
Show BibTeX]
@inproceedings{BGO04_ag,
author = {S. Burmester AND H. Giese AND O. Oberschelp},
title = {Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems},
booktitle = {Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal},
year = {2004}
}
S. Burmester, H. Giese, M. Hirsch, D. Schilling:
Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite. In
Proc. of the International Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems, SVERTS2004, Satellite Event of the 7th International Conference on the Unified Modeling Language, UML2004, pp. 1-20. October 2004
[
Show Abstract]
Model checking of complex time extended UML (UML/RT) models is limited today due to two main obstacles: (1) The state explosion problem restricts the size of the UML/RT models which can be addressed and (2) standard model checking approaches cannot be smoothly integrated into the usually incremental and iterative design process. The presented solution for incremental design and verification with UML/RT within the FUJABA Real-Time Tool Suite overcomes these two obstacles by applying a compositional reasoning approach [1] that is based on a restricted notion of UML patterns and components. A mapping of a subset of the UML/RT component model and additional real-time extensions for UML state diagrams to HUppaal enables the automatic, compositional formal verification of partial models such as patterns and components by means of a model checking Plugin [2]. This tool support makes an incremental and iterative design and verification process possible where only the patterns and components which have been modified have to be rechecked rather than the whole UML/RT model.
[
PDF] [
Show BibTeX]
@inproceedings{BGHS04_ag,
author = {S. Burmester AND H. Giese AND M. Hirsch AND D. Schilling},
title = {Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite},
booktitle = {Proc. of the International Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems, SVERTS2004, Satellite Event of the 7th International Conference on the Unified Modeling Language, UML2004},
year = {2004}
}
J. Niere:
Inkrementelle Entwurfsmustererkennung. PhD thesis, University of Paderborn, Paderborn, Germany, 2004 . In German.
[
Show BibTeX]
@phdthesis{Nie04,
author = {J. Niere},
title = {Inkrementelle Entwurfsmustererkennung},
school = {University of Paderborn, Paderborn, Germany},
year = {2004}
}
[
URL]
S. Burmester, M. Gehrke, H. Giese, S. Oberthür:
Making Mechatronic Agents Resource-aware in order to Enable Safe Dynamic Resource Allocation. In B. Georgio (eds.):
Proc. of Fourth ACM International Conference on Embedded Software 2004 (EMSOFT 2004), Pisa, Italy, pp. 175-183. ACM Press, September 2004
[
PDF] [
Show BibTeX]
@inproceedings{BGGO04_ag,
author = {S. Burmester AND M. Gehrke AND H. Giese AND S. Oberth{\"u}r},
title = {Making Mechatronic Agents Resource-aware in order to Enable Safe Dynamic Resource Allocation},
booktitle = {Proc. of Fourth ACM International Conference on Embedded Software 2004 (EMSOFT 2004), Pisa, Italy},
year = {2004}
}
S. Burmester, M. Tichy, H. Giese:
Modeling Reconfigurable Mechatronic Systems with Mechatronic UML. In U. Amann (eds.):
Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Linköping, Sweden, pp. 155-169. June 2004
[
PDF] [
Show BibTeX]
@inproceedings{BTG04_ag,
author = {S. Burmester AND M. Tichy AND H. Giese},
title = {Modeling Reconfigurable Mechatronic Systems with Mechatronic UML},
booktitle = {Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Link{\"o}ping, Sweden},
year = {2004}
}
H. Giese, S. Burmester, W. Schäfer, O. Oberschelp:
Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In
Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, pp. 179-188. ACM Press, November 2004
[
PDF] [
Show BibTeX]
@inproceedings{BGOS04_ag,
author = {H. Giese AND S. Burmester AND W. Sch{\"a}fer AND O. Oberschelp},
title = {Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration},
booktitle = {Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA},
year = {2004}
}
M. Kudak:
On- und off-line Visualisierung der Ausführung von Real-Time Statecharts. Bachelor's thesis, University of Paderborn, Department of Computer Science, Paderborn, Germany, July 2004
[
PDF] [
Show BibTeX]
@bachelorsthesis{Kudak04_ag,
author = {M. Kudak},
title = {On- und off-line Visualisierung der Ausf{\"u}hrung von Real-Time Statecharts},
school = {University of Paderborn, Department of Computer Science, Paderborn, Germany},
year = {2004}
}
C. Reckord:
Optimierung von Genauigkeitswerten unscharfer Regeln. Master's thesis, University of Paderborn, Department of Computer Science, Paderborn, Germany, May 2004
[
PDF] [
Show BibTeX]
@mastersthesis{Rec04_ag,
author = {C. Reckord},
title = {Optimierung von Genauigkeitswerten unscharfer Regeln},
school = {University of Paderborn, Department of Computer Science, Paderborn, Germany},
year = {2004}
}
S. Burmester, H. Giese, A. Gambuzza, O. Oberschelp:
Partitioning and Modular Code Synthesis for Reconfigurable Mechatronic Software Components. In C. Bobeanu (eds.):
Proc. of European Simulation and Modelling Conference (ESMc'2004), Paris, France, pp. 66-73. EOROSIS Publications, October 2004
[
PDF] [
Show BibTeX]
@inproceedings{BGGO04b_ag,
author = {S. Burmester AND H. Giese AND A. Gambuzza AND O. Oberschelp},
title = {Partitioning and Modular Code Synthesis for Reconfigurable Mechatronic Software Components},
booktitle = {Proc. of European Simulation and Modelling Conference (ESMc'2004), Paris, France},
year = {2004}
}
M. Knoop:
Reverse Engineering von im Bytecode vorliegenden Java-Bibliotheken. Bachelor's thesis, University of Paderborn, Department of Computer Science, Paderborn, Germany, October 2004
[
PDF] [
Show BibTeX]
@bachelorsthesis{Kno04_ag,
author = {M. Knoop},
title = {Reverse Engineering von im Bytecode vorliegenden Java-Bibliotheken},
school = {University of Paderborn, Department of Computer Science, Paderborn, Germany},
year = {2004}
}
L. Wendehals, M. Meyer, A. Elsner:
Selective Tracing of Java Programs. In Andy Schürr and Albert Zündorf (eds.):
Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany, Technical Report, vol. tr-ri-04-253, pp. 7-10. University of Paderborn, September 2004
[
Show Abstract]
Design recovery, which means extracting design documents from source code, is usually done by static analysis techniques. Analysing behaviour by static analysis is very imprecise. We combine static and dynamic analysis to increase the preciseness of our design recovery process. In this paper we present an approach to collect data for the dynamic analysis by recording method calls during a program's execution. To reduce the amount of information we monitor only relevant classes and methods identified by static analysis.
[
PDF] [
Show BibTeX]
@inproceedings{WME04_ag,
author = {L. Wendehals AND M. Meyer AND A. Elsner},
title = {Selective Tracing of Java Programs},
booktitle = {Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany},
year = {2004}
}
A. Elsner:
Selektive Aufzeichnung von Laufzeitinformationen bei der Ausführung von Java-Programmen. Bachelor's thesis, University of Paderborn, Department of Computer Science, Paderborn, Germany, September 2004
[
PDF] [
Show BibTeX]
@bachelorsthesis{Els04_ag,
author = {A. Elsner},
title = {Selektive Aufzeichnung von Laufzeitinformationen bei der Ausf{\"u}hrung von Java-Programmen},
school = {University of Paderborn, Department of Computer Science, Paderborn, Germany},
year = {2004}
}
L. Wendehals:
Specifying Patterns for Dynamic Pattern Instance Recognition with UML 2.0 Sequence Diagrams. In
Proc. of the 6th Workshop Software Reenginering (WSR), Bad Honnef, Germany, Softwaretechnik-Trends, vol. 24/2, pp. 63-64. May 2004
[
PDF] [
Show BibTeX]
@inproceedings{Wen04_ag,
author = {L. Wendehals},
title = {Specifying Patterns for Dynamic Pattern Instance Recognition with UML 2.0 Sequence Diagrams},
booktitle = {Proc. of the 6th Workshop Software Reenginering (WSR), Bad Honnef, Germany, Softwaretechnik-Trends},
year = {2004}
}
M. Meyer, L. Wendehals:
Teaching Object-Oriented Concepts with Eclipse. In
Proc. of the Eclipse Technology eXchange Workshop (ETX), Satellite Event of the 19th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Vancouver, Canada, pp. 1-5. ACM Press, October 2004
[
Show Abstract]
Object-oriented software development is a subject area difficult to teach, espcially to beginners. They face a lot of abstraction and (from a beginners point of view) isolated topics, such as the syntax and semantics of a programming language, the functionality of a software development environment and basic object-oriented concepts. Although many professionals in education believe in the ``object first'' approach as the best method of introducing object-oriented concepts, there is no common agreement on how to start such courses. Current study programs often begin by teaching a programming language, instead of focusing on the basics of object-oriented concepts. In the last years a learning environment was developed based on a visual programming language to abstract away from details. It assists teaching step-by-step object-oriented concepts and the syntax and semantics of a programming language in secondary schools and first year university courses. Our goal is to port this learning environment to the widely used IDE Eclipse.
[
PDF] [
Show BibTeX]
@inproceedings{MW04_ag,
author = {M. Meyer AND L. Wendehals},
title = {Teaching Object-Oriented Concepts with Eclipse},
booktitle = {Proc. of the Eclipse Technology eXchange Workshop (ETX), Satellite Event of the 19th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Vancouver, Canada},
year = {2004}
}
S. Burmester, H. Giese, J. Niere, M. Tichy, J. P. Wadsack, R. Wagner, L. Wendehals, A. Zündorf:
Tool Integration at the Meta-Model Level within the FUJABA Tool Suite. In
International Journal on Software Tools for Technology Transfer (STTT), vol. 6, no. 3, pp. 203-218. Springer Verlag, August 2004
[
PDF] [
Show BibTeX]
@article{BGN+04_ag,
author = {S. Burmester AND H. Giese AND J. Niere AND M. Tichy AND J. P. Wadsack AND R. Wagner AND L. Wendehals AND A. Z{\"u}ndorf},
title = {Tool Integration at the Meta-Model Level within the FUJABA Tool Suite},
journal = {International Journal on Software Tools for Technology Transfer (STTT)},
year = {2004},
volume = {6},
number = {3},
pages = {203-218},
month = {August},
note = {}
}
J. Niere, M. Meyer, L. Wendehals:
User-driven adaption in rule-based pattern recognition. Tech. Rep., no. tr-ri-04-249. University of Paderborn (Paderborn, Germany) June 2004
[
Show Abstract]
Today, in software intensive projects a huge amount of the budget flows into the analysis of the already existing system. The reason for the high costs results mainly from the fact that analyses are often made manually or with automatic tool support, which is inappropriate for analyzing large systems. Semi-automatic analysis approaches usually use a notion of fuzziness to overcome this limitation, but inherit the problem of selecting appropriate initial values. In this paper we present an approach to adapt the initial values of our semi-automatic reverse engineering process. We provide the reverse engineer with accuracy information for results produced by a rule-based inference algorithm. Based on the changes of the results done by the reverse engineer we automatically adapt a credibility value of each rule, which previously has been used to compute the accuracy of the result. The adaption fits seamlessly into our overall analysis process. First tests show that it is suitable for the calibration of our fuzzyfied rule-based pattern recognition approach.
[
PDF] [
Show BibTeX]
@techreport{NMW04_ag,
author = {J. Niere AND M. Meyer AND L. Wendehals},
title = {User-driven adaption in rule-based pattern recognition},
institution = {University of Paderborn},
year = {2004}
}
H. Giese:
A Formal Calculus for the Compositional Pattern-Based Design of Correct Real-Time Systems.. Tech. Rep., no. tr-ri-03-240. Lehrstuhl für Softwaretechnik, Universität Paderborn (Paderborn, Deutschland) July 2003
[
Show Abstract]
The trend towards more complex software within today's technical systems results in an increasing demand for dependable high quality software for real-time systems. In this report the foundations for the compositional pattern-based design of correct high level designs and architectures for real-time systems are presented. A formal calculus including a notion of discrete-time automata, a deadlock preserving refinement notion, and a class of supported compositional constraints is developed. It permits to design the required complex cooperation between the system components using verified patterns and includes support to derived the related correct component behavior in a systematic manner, such that the components itself do not invalidate the verified cooperation patterns.
[
PDF] [
Show BibTeX]
@techreport{G03b_ag,
author = {H. Giese},
title = {A Formal Calculus for the Compositional Pattern-Based Design of Correct Real-Time Systems.},
institution = {Lehrstuhl f{\"u}r Softwaretechnik, Universit{\"a}t Paderborn},
year = {2003}
}
R. Wagner, H. Giese, U. Nickel:
A Plug-In for Flexible and Incremental Consistency Management. In
Proc. of the International Conference on the Unified Modeling Language 2003 (Workshop 7: Consistency Problems in UML-based Software Development), San Francisco, USA, Technical Report. Blekinge Institute of Technology, San Francisco, October 2003
[
PDF] [
Show BibTeX]
@inproceedings{WGN03_ag,
author = {R. Wagner AND H. Giese AND U. Nickel},
title = {A Plug-In for Flexible and Incremental Consistency Management},
booktitle = {Proc. of the International Conference on the Unified Modeling Language 2003 (Workshop 7: Consistency Problems in UML-based Software Development), San Francisco, USA},
year = {2003}
}
J. Niere, L. Wendehals, A. Zündorf:
An Interactive and Scalable Approach to Design Pattern Recovery. Tech. Rep., no. tr-ri-03-236. University of Paderborn (Paderborn, Germany) 2003
[
Show Abstract]
Reverse engineering is a process highly influenced by assumptions and hypotheses of a reverse engineer, who has to analyse a syste
m manually, because tools are often not applicable to large systems with many different implementation styles. Successful tools have to support an interactive process, where the engineer is able to steer the analysis process by proving certain assumptions and hypotheses. Consequently, the input format of the analysis tool must support a kind of impreciseness to formulate weak presumptions. In this paper we present a reverse engineering process based on fuzzy graph transformation rules. We use graph rewrite rules in addition with fuzzy logic to detect design patterns in Java source code. Impreciseness is expressed by assigning fuzzy values to graph transformation rules and thresholds are used to look up only firmed occurrences of patterns. Underlying the transformation rules is an object-oriented graph model providing composition and inheritance, which reduces the complexity of the rules. We propose a reverse engineering process starting with imprecise rules and refining and specifying the rules during the analysis. Preliminary results applying our process are promising, i.e., we present the results of detecting design patterns in Java's Abstract Window Toolkit (AWT) library.
[
PDF] [
Show BibTeX]
@techreport{NWZ03_ag,
author = {J. Niere AND L. Wendehals AND A. Z{\"u}ndorf},
title = {An Interactive and Scalable Approach to Design Pattern Recovery},
institution = {University of Paderborn},
year = {2003}
}
S. Burmester, H. Giese, W. Schäfer:
Code Generation for Hard Real-time Systems from Real-time Statecharts. Tech. Rep., no. tr-ri-03-244. University of Paderborn (Paderborn, Germany) October 2003
[
PDF] [
Show BibTeX]
@techreport{BGS03_ag,
author = {S. Burmester AND H. Giese AND W. Sch{\"a}fer},
title = {Code Generation for Hard Real-time Systems from Real-time Statecharts},
institution = {University of Paderborn},
year = {2003}
}
J. Niere, J. P. Wadsack, L. Wendehals:
Handling Large Search Space in Pattern-Based Reverse Engineering. In
Proc. of the 11th International Workshop on Program Comprehension (IWPC), Portland, USA, pp. 274-279. IEEE Computer Society Press, May 2003
[
Show Abstract]
Large industrial legacy systems are challenges of reverse-engineering activities. Reverse-engineering approaches use text-search tools based on regular expressions or work on graph representations of programs, such as abstract syntax graphs. Analyzing large legacy systems often fail because of the large search space. Our approach to handle large search space in pattern-based reverse engineering is to allow imprecise results in means of false positives. We use the theory of fuzzy sets to express impreciseness and present our approach on the example of recovering associations.
[
PDF] [
Show BibTeX]
@inproceedings{NWW03_ag,
author = {J. Niere AND J. P. Wadsack AND L. Wendehals},
title = {Handling Large Search Space in Pattern-Based Reverse Engineering},
booktitle = {Proc. of the 11th International Workshop on Program Comprehension (IWPC), Portland, USA},
year = {2003}
}
L. Wendehals:
Improving Design Pattern Instance Recognition by Dynamic Analysis. In
Proc. of the ICSE 2003 Workshop on Dynamic Analysis (WODA), Portland, USA. May 2003
[
Show Abstract]
Design pattern instance recognition is often done by static analysis, thus approaches are limited to the recognition of static parts of design patterns. The dynamic behavior of patterns is disregarded and leads to lots of false positives during recognition. This paper presents an approach to combine the advantages of static and dynamic analyses to overcome this problem and improve the design pattern instance recognition.
[
PDF] [
Show BibTeX]
@inproceedings{Wen03_ag,
author = {L. Wendehals},
title = {Improving Design Pattern Instance Recognition by Dynamic Analysis},
booktitle = {Proc. of the ICSE 2003 Workshop on Dynamic Analysis (WODA), Portland, USA},
year = {2003}
}
M. Schwarz:
Integration eines inkrementellen Parsing-Algorithmus in Fujaba. Bachelor's thesis, University of Paderborn, Department of Computer Science, Paderborn, Germany, September 2003
[
PDF] [
Show BibTeX]
@bachelorsthesis{Sch03_ag,
author = {M. Schwarz},
title = {Integration eines inkrementellen Parsing-Algorithmus in Fujaba},
school = {University of Paderborn, Department of Computer Science, Paderborn, Germany},
year = {2003}
}
C. Klare:
Konzeption und Java Codegenerierung von graphischen Constraints und Pfaden für einen Editor zur Erstellung von Konsistenzerhaltungsmechanismen. Bachelor's thesis, University of Paderborn, Department of Computer Science,Paderborn, Germany, December 2003
[
PDF] [
Show BibTeX]
@bachelorsthesis{Kla03_ag,
author = {C. Klare},
title = {Konzeption und Java Codegenerierung von graphischen Constraints und Pfaden f{\"u}r einen Editor zur Erstellung von Konsistenzerhaltungsmechanismen},
school = {University of Paderborn, Department of Computer Science,Paderborn, Germany},
year = {2003}
}
Holger Giese and Albert Zündorf (eds.):
Proc. of the First International Fujaba Days 2003. , vol. tr-ri-04-247 October 2003
[
Show BibTeX]
@proceedings{FujabaDays03_ag,
title = {Proc. of the First International Fujaba Days 2003},
year = {2003}
}
[
URL]
H. Giese, S. Burmester:
Real-Time Statechart Semantics. Tech. Rep., no. tr-ri-03-239. Lehrstuhl für Softwaretechnik, Universität Paderborn (Paderborn, Germany) June 2003
[
PDF] [
Show BibTeX]
@techreport{GB03_ag,
author = {H. Giese AND S. Burmester},
title = {Real-Time Statechart Semantics},
institution = {Lehrstuhl f{\"u}r Softwaretechnik, Universit{\"a}t Paderborn},
year = {2003}
}
J. Niere, A. Zündorf:
Reverse Engineering with Fuzzy Layered Graph Grammars. Tech. Rep., no. tr-ri-03-235. University of Paderborn (Paderborn, Germany) 2003
[
PDF] [
Show BibTeX]
@techreport{NZ03_ag,
author = {J. Niere AND A. Z{\"u}ndorf},
title = {Reverse Engineering with Fuzzy Layered Graph Grammars},
institution = {University of Paderborn},
year = {2003}
}
M. Tichy, H. Giese:
Seamless UML Support for Service-based Software Architectures. In N. Guelfi and E. Artesiano and G. Reggio (eds.):
Proc. of the International Workshop on scientiFic engineering of Distributed Java applIcations (FIDJI) 2003, Luxembourg, Lecture Notes in Computer Science (LNCS), vol. 2952, pp. 128-138. Springer Verlag, November 2003
[
PDF] [
Show BibTeX]
@inproceedings{TG03a_ag,
author = {M. Tichy AND H. Giese},
title = {Seamless UML Support for Service-based Software Architectures},
booktitle = {Proc. of the International Workshop on scientiFic engineering of Distributed Java applIcations (FIDJI) 2003, Luxembourg},
year = {2003}
}
S. Burmester, H. Giese:
The Fujaba Real-Time Statechart Plugin. In Holger Giese and Albert Zündorf (eds.):
Proc. of the first International Fujaba Days 2003, Kassel, Germany, Technical Report, vol. tr-ri-04-247, pp. 1-8. University of Paderborn, October 2003
[
PDF] [
Show BibTeX]
@inproceedings{BG03_ag,
author = {S. Burmester AND H. Giese},
title = {The Fujaba Real-Time Statechart Plugin},
booktitle = {Proc. of the first International Fujaba Days 2003, Kassel, Germany},
year = {2003}
}
C. Schulte, J. Magenheim, J. Niere, W. Schäfer:
Thinking in Objects and their Collaboration: Introducing Object-Oriented Technology. In
Computer Science Education, vol. 13, no. 4. Swets and Zeitlinger, December 2003
[
Show BibTeX]
@article{SMNS03_ag,
author = {C. Schulte AND J. Magenheim AND J. Niere AND W. Sch{\"a}fer},
title = {Thinking in Objects and their Collaboration: Introducing Object-Oriented Technology},
journal = {Computer Science Education},
year = {2003},
volume = {13},
number = {4},
pages = {},
month = {December},
note = {}
}
S. Burmester, H. Giese, J. Niere, M. Tichy, J. P. Wadsack, R. Wagner, L. Wendehals, A. Zündorf:
Tool Integration at the Meta-Model Level within the FUJABA Tool Suite. In
Proc. of the Workshop on Tool-Integration in System Development (TIS), Helsinki, Finland, Satellite Event of the joint Conferences ESEC/FSE 2003, pp. 51-56. September 2003
[
Show Abstract]
Current initiatives in the field of integrated development environment (IDE) and CASE tool integration such as Eclipse as well as the lately happened acquisitions of Rational and Together by major IDE vendors indicate that tool integration has become an important issue for the IT industry. However, as outlined in this paper the current integration platforms fall short to address the underlying problems of overlapping data models and their consistency when it comes to a tool integration. Within the scshape Fujaba Tool Suite in contrast a framework has been developed which enables an integration of tools at the meta-model level. We report the employed concepts for meta-model integration and consistency management in this paper and illustrate them by means of an example.
[
PDF] [
Show BibTeX]
@inproceedings{BGN+03_ag,
author = {S. Burmester AND H. Giese AND J. Niere AND M. Tichy AND J. P. Wadsack AND R. Wagner AND L. Wendehals AND A. Z{\"u}ndorf},
title = {Tool Integration at the Meta-Model Level within the FUJABA Tool Suite},
booktitle = {Proc. of the Workshop on Tool-Integration in System Development (TIS), Helsinki, Finland, Satellite Event of the joint Conferences ESEC/FSE 2003},
year = {2003}
}
H. Giese, D. Schilling, M. Tichy, S. Burmester, W. Schäfer, S. Flake:
Towards the Compositional Verification of Real-Time UML Designs. Tech. Rep., no. tr-ri-03-241. Lehrstuhl für Softwaretechnik, Universität Paderborn (Paderborn, Deutschland) July 2003
[
PDF] [
Show BibTeX]
@techreport{GSTBSF03_ag,
author = {H. Giese AND D. Schilling AND M. Tichy AND S. Burmester AND W. Sch{\"a}fer AND S. Flake},
title = {Towards the Compositional Verification of Real-Time UML Designs},
institution = {Lehrstuhl f{\"u}r Softwaretechnik, Universit{\"a}t Paderborn},
year = {2003}
}
H. Giese, M. Tichy, S. Burmester, W. Schäfer, S. Flake:
Towards the Compositional Verification of Real-Time UML Designs. In
Proc. of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-11), pp. 38-47. ACM Press, September 2003
[
Show Abstract]
Current techniques for the verification of software as e.g. model checking are limited when it comes to the verification of complex distributed embedded real-time systems. Our approach addresses this problem and in particular the state explosion problem for the software controlling mechatronic systems, as we provide a domain specific formal semantic definition for a subset of the UML 2.0 component model and an integrated sequence of design steps. These steps prescribe how to compose complex software systems from domain-specific patterns which model a particular part of the system behavior in a well-defined context. The correctness of these patterns can be verified individually because they have only simple communication behavior and have only a fixed number of participating roles. The composition of these patterns to describe the complete component behavior and the overall system behavior is prescribed by a rigorous syntactic definition which guarantees that the verification of component and system behavior can exploit the results of the verification of individual patterns.
[
PDF] [
Show BibTeX]
@inproceedings{GTBSF03_ag,
author = {H. Giese AND M. Tichy AND S. Burmester AND W. Sch{\"a}fer AND S. Flake},
title = {Towards the Compositional Verification of Real-Time UML Designs},
booktitle = {Proc. of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-11)},
year = {2003}
}
[
DOI]
M. Hirsch, H. Giese:
Towards the Incremental Model Checking of Complex RealTime UML Models. In Holger Giese and Albert Zündorf (eds.):
Proc. of the first International Fujaba Days 2003, Kassel, Germany, Technical Report, vol. tr-ri-04-247, pp. 9-12. University of Paderborn, October 2003
[
PDF] [
Show BibTeX]
@inproceedings{HG03_ag,
author = {M. Hirsch AND H. Giese},
title = {Towards the Incremental Model Checking of Complex RealTime UML Models},
booktitle = {Proc. of the first International Fujaba Days 2003, Kassel, Germany},
year = {2003}
}
M. Tichy, M. Kudak:
Visualization of the execution of Real-Time Statecharts. In Holger Giese and Albert Zündorf (eds.):
Proc. of the first International Fujaba Days 2003, Kassel, Germany, Technical Report, vol. tr-ri-04-247. University of Paderborn, October 2003
[
PDF] [
Show BibTeX]
@inproceedings{TK03_ag,
author = {M. Tichy AND M. Kudak},
title = {Visualization of the execution of Real-Time Statecharts},
booktitle = {Proc. of the first International Fujaba Days 2003, Kassel, Germany},
year = {2003}
}
C. Chrysikopoulos:
Abbildung von UML Spezifikationen auf Abstract State Machines. Master's thesis, University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany, April 2002
[
PDF] [
Show BibTeX]
@mastersthesis{Chry02_ag,
author = {C. Chrysikopoulos},
title = {Abbildung von UML Spezifikationen auf Abstract State Machines},
school = {University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany},
year = {2002}
}
L. Geiger:
Design Level Debugging mit Fujaba. Bachelor's thesis, Technical University Carolo-Wilhemina at Brunswick, Department of Mathematics and Computer Science, Brunswick, Germany, 2002
[
PDF] [
Show BibTeX]
@bachelorsthesis{Gei02_ag,
author = {L. Geiger},
title = {Design Level Debugging mit Fujaba},
school = {Technical University Carolo-Wilhemina at Brunswick, Department of Mathematics and Computer Science, Brunswick, Germany},
year = {2002}
}
M. Tichy:
Durchgängige Unterstützung für Entwurf, Implementierung und Betrieb von Komponenten in offenen Softwarearchitekturen mittels UML. Master's thesis, University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany, July 2002
[
PDF] [
Show BibTeX]
@mastersthesis{Tic02_ag,
author = {M. Tichy},
title = {Durchg{\"a}ngige Unterst{\"u}tzung f{\"u}r Entwurf, Implementierung und Betrieb von Komponenten in offenen Softwarearchitekturen mittels UML},
school = {University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany},
year = {2002}
}
P. Hoven, M. Liebrecht:
Entwurf und Implementierung einer Import/Export Funktionalität für die Entwicklungsumgebung Fujaba. Bachelor's thesis, University of Paderborn, Department of Computer Science, Paderborn, Germany, August 2002
[
PDF] [
Show BibTeX]
@bachelorsthesis{HL02_ag,
author = {P. Hoven AND M. Liebrecht},
title = {Entwurf und Implementierung einer Import/Export Funktionalit{\"a}t f{\"u}r die Entwicklungsumgebung Fujaba},
school = {University of Paderborn, Department of Computer Science, Paderborn, Germany},
year = {2002}
}
J. Niere:
Fuzzy Logic based Interactive Recovery of Software Design. In
Proc. of Doctoral Symposium of the 24th International Conference on Software Engineering, Orlando, Florida, USA. May 2002
[
PDF] [
Show BibTeX]
@inproceedings{Nie02_2_ag,
author = {J. Niere},
title = {Fuzzy Logic based Interactive Recovery of Software Design},
booktitle = {Proc. of Doctoral Symposium of the 24th International Conference on Software Engineering, Orlando, Florida, USA},
year = {2002}
}
J. Niere:
Fuzzy Logic based Interactive Recovery of Software Design. In
Proc. of the 24th International Conference on Software Engineering (ICSE), Orlando, Florida, USA, pp. 727-728. May 2002
[
PDF] [
Show BibTeX]
@inproceedings{Nie02_ag,
author = {J. Niere},
title = {Fuzzy Logic based Interactive Recovery of Software Design},
booktitle = {Proc. of the 24th International Conference on Software Engineering (ICSE), Orlando, Florida, USA},
year = {2002}
}
S. Burmester:
Generierung von Java Real-Time Code für zeitbehaftete UML Modelle. Master's thesis, University of Paderborn, Department of Computer Science, Paderborn, Germany, September 2002
[
PDF] [
Show BibTeX]
@mastersthesis{Bur02_ag,
author = {S. Burmester},
title = {Generierung von Java Real-Time Code f{\"u}r zeitbehaftete UML Modelle},
school = {University of Paderborn, Department of Computer Science, Paderborn, Germany},
year = {2002}
}
J. Niere, C. Schulte:
Thinking in Object Structures: Teaching Modelling in Secondary Schools. In
Proc. of the ECOOP Workshop on Pedagogies and Tools for Learning Object-Oriented Concepts. 2002
[
PDF] [
Show BibTeX]
@inproceedings{NS02_ag,
author = {J. Niere AND C. Schulte},
title = {Thinking in Object Structures: Teaching Modelling in Secondary Schools},
booktitle = {Proc. of the ECOOP Workshop on Pedagogies and Tools for Learning Object-Oriented Concepts},
year = {2002}
}
J. Niere, W. Schäfer, J. P. Wadsack, L. Wendehals, J. Welsh:
Towards Pattern-Based Design Recovery. In
Proc. of the 24th International Conference on Software Engineering (ICSE), Orlando, Florida, USA, pp. 338-348. ACM Press, May 2002
[
PDF] [
Show BibTeX]
@inproceedings{NSW+02_ag,
author = {J. Niere AND W. Sch{\"a}fer AND J. P. Wadsack AND L. Wendehals AND J. Welsh},
title = {Towards Pattern-Based Design Recovery},
booktitle = {Proc. of the 24th International Conference on Software Engineering (ICSE), Orlando, Florida, USA},
year = {2002}
}
H. Giese, U. A. Nickel:
Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation. In
OMER - Object-oriented Modeling of Embedded Real-Time Systems, Lecture Notes in Informatics (LNI), vol. P5. Gesellschaft für Informatik, 2002
[
Show BibTeX]
@inproceedings{GN02_ag,
author = {H. Giese AND U. A. Nickel},
title = {Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation},
booktitle = {OMER - Object-oriented Modeling of Embedded Real-Time Systems},
year = {2002}
}
L. Wendehals:
Clich'e- und Mustererkennung auf Basis von Generic Fuzzy Reasoning Nets. Master's thesis, University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany, October 2001
[
PDF] [
Show BibTeX]
@mastersthesis{Wen01_ag,
author = {L. Wendehals},
title = {Clich'e- und Mustererkennung auf Basis von Generic Fuzzy Reasoning Nets},
school = {University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany},
year = {2001}
}
J. Niere, J. P. Wadsack, L. Wendehals:
Design Pattern Recovery Based on Source Code Analysis with Fuzzy Logic. Tech. Rep., no. tr-ri-01-222. University of Paderborn (Paderborn, Germany) March 2001
[
PDF] [
Show BibTeX]
@techreport{NWW01_ag,
author = {J. Niere AND J. P. Wadsack AND L. Wendehals},
title = {Design Pattern Recovery Based on Source Code Analysis with Fuzzy Logic},
institution = {University of Paderborn},
year = {2001}
}
C. Reckord:
Entwurf eines generischen Sichtenkonzeptes für die Entwicklungsumgebung Fujaba. Bachelor's thesis, University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany, February 2001
[
PDF] [
Show BibTeX]
@bachelorsthesis{Rec01_ag,
author = {C. Reckord},
title = {Entwurf eines generischen Sichtenkonzeptes f{\"u}r die Entwicklungsumgebung Fujaba},
school = {University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany},
year = {2001}
}
K. Wan, K. Wan:
Java Codegenerierung fürr Negative-Knoten und Multilinks einer Graphersetzungsregel. Bachelor's thesis, University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany, August 2001
[
PDF] [
Show BibTeX]
@bachelorsthesis{WW01_ag,
author = {K. Wan AND K. Wan},
title = {Java Codegenerierung f{\"u}rr Negative-Knoten und Multilinks einer Graphersetzungsregel},
school = {University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany},
year = {2001}
}
A. Zündorf, J. P. Wadsack, I. Rockel:
Merging graph-like object structures. In
Proc. of the 10th International Workshop on Software Configuration Management (SCM-10), Toronto, Canada. (ICSE 2001 Workshop 14). May 2001
[
PDF] [
Show BibTeX]
@inproceedings{ZWR01_ag,
author = {A. Z{\"u}ndorf AND J. P. Wadsack AND I. Rockel},
title = {Merging graph-like object structures},
booktitle = {Proc. of the 10th International Workshop on Software Configuration Management (SCM-10), Toronto, Canada. (ICSE 2001 Workshop 14)},
year = {2001}
}
U. A. Nickel, J. Niere:
Modelling and Simulation of a Material Flow System. In
Proc. of Workshop 'Modellierung' (Mod), Bad Lippspringe, Germany. Gesellschaft für Informatik, 2001
[
PDF] [
Show BibTeX]
@inproceedings{NN01_ag,
author = {U. A. Nickel AND J. Niere},
title = {Modelling and Simulation of a Material Flow System},
booktitle = {Proc. of Workshop 'Modellierung' (Mod), Bad Lippspringe, Germany},
year = {2001}
}
R. Wagner:
Realisierung eines diagrammübergreifenden Konsistenzmanagement-Systems für UML-Spezifikationen. Master's thesis, University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany, November 2001
[
PDF] [
Show BibTeX]
@mastersthesis{Wag01_ag,
author = {R. Wagner},
title = {Realisierung eines diagramm{\"u}bergreifenden Konsistenzmanagement-Systems f{\"u}r UML-Spezifikationen},
school = {University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany},
year = {2001}
}
J. Niere, J. P. Wadsack, A. Zündorf:
Recovering UML Diagrams from Java Code using Patterns. In Jens H. Jahnke and C. Ryan (eds.):
Proc. of the 2nd Workshop on Soft Computing Applied to Software Engineering, Enschede, The Netherlands. Centre for Telematics and Information Technology, University of Twente, The Netherlands, February 2001
[
PDF] [
Show BibTeX]
@inproceedings{NWZ01_ag,
author = {J. Niere AND J. P. Wadsack AND A. Z{\"u}ndorf},
title = {Recovering UML Diagrams from Java Code using Patterns},
booktitle = {Proc. of the 2nd Workshop on Soft Computing Applied to Software Engineering, Enschede, The Netherlands},
year = {2001}
}
A. Zündorf:
Rigorous Object Oriented Software Development. University of Paderborn, 2001 . (draft available online:
http://www.uni-paderborn.de/fachbereich/AG/schaefer/Personen/Ehemalige/Zuendorf/AZRigSoftDraft_0_2.pdf).
[
Show BibTeX]
@book{Zuen01_ag,
author = {A. Z{\"u}ndorf},
editor = {},
title = {Rigorous Object Oriented Software Development},
publisher = {University of Paderborn},
year = {2001}
}
J. Niere, W. Schäfer, J. P. Wadsack, L. Wendehals, J. Welsh:
Towards Pattern-Based Design Recovery. Tech. Rep., no. tr-ri-01-227. University of Paderborn (Paderborn, Germany) October 2001
[
PDF] [
Show BibTeX]
@techreport{NSW+01_ag,
author = {J. Niere AND W. Sch{\"a}fer AND J. P. Wadsack AND L. Wendehals AND J. Welsh},
title = {Towards Pattern-Based Design Recovery},
institution = {University of Paderborn},
year = {2001}
}
M. Kisker:
UML basierte Spezifikation von Benutzerschnittstellen. Master's thesis, University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany, October 2001
[
PDF] [
Show BibTeX]
@mastersthesis{Kis01_ag,
author = {M. Kisker},
title = {UML basierte Spezifikation von Benutzerschnittstellen},
school = {University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany},
year = {2001}
}
J. Niere:
Using Learning Toward Automatic Reengineering. In
Proc. of the 2nd International Workshop on Living with Inconsistency (LwI), Toronto, Canada. 2001
[
PDF] [
Show BibTeX]
@inproceedings{Nie01_ag,
author = {J. Niere},
title = {Using Learning Toward Automatic Reengineering},
booktitle = {Proc. of the 2nd International Workshop on Living with Inconsistency (LwI), Toronto, Canada},
year = {2001}
}
J. H. Jahnke, J. Niere, J. P. Wadsack:
Automated Quality Analysis of Component Software for Embedded Systems. In
Proc. of the 8th International Workshop on Program Comprehension (IWPC), Limerick, Ireland, pp. 18-26. IEEE Computer Society Press, June 2000
[
PDF] [
Show BibTeX]
@inproceedings{JNW00_ag,
author = {J. H. Jahnke AND J. Niere AND J. P. Wadsack},
title = {Automated Quality Analysis of Component Software for Embedded Systems},
booktitle = {Proc. of the 8th International Workshop on Program Comprehension (IWPC), Limerick, Ireland},
year = {2000}
}
R. Schomaker:
Development of a simulator for Dentralised controlled, track-bounded transport systems (in german). Master's thesis, University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany, 2000
[
PDF] [
Show BibTeX]
@mastersthesis{Sch00_ag,
author = {R. Schomaker},
title = {Development of a simulator for Dentralised controlled, track-bounded transport systems (in german)},
school = {University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany},
year = {2000}
}
H. Köhler, U. A. Nickel, J. Niere, A. Zündorf:
Integrating UML Diagrams for Production Control Systems. In
Proc. of the 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland, pp. 241-251. ACM Press, 2000
[
PDF] [
Show BibTeX]
@inproceedings{KNNZ00_ag,
author = {H. K{\"o}hler AND U. A. Nickel AND J. Niere AND A. Z{\"u}ndorf},
title = {Integrating UML Diagrams for Production Control Systems},
booktitle = {Proc. of the 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland},
year = {2000}
}
U. A. Nickel, J. Niere, J. P. Wadsack, A. Zündorf:
Roundtrip Engineering with FUJABA. In J. Ebert and B. Kullbach and F. Lehner (eds.):
Proc of 2nd Workshop on Software-Reengineering (WSR), Bad Honnef, Germany. Fachberichte Informatik, Universität Koblenz-Landau, August 2000
[
PDF] [
Show BibTeX]
@inproceedings{NNWZ00_ag,
author = {U. A. Nickel AND J. Niere AND J. P. Wadsack AND A. Z{\"u}ndorf},
title = {Roundtrip Engineering with FUJABA},
booktitle = {Proc of 2nd Workshop on Software-Reengineering (WSR), Bad Honnef, Germany},
year = {2000}
}
U. A. Nickel, J. Niere, A. Zündorf:
Tool demonstration: The FUJABA environment. In
Proc. of the 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland, pp. 742-745. ACM Press, 2000
[
PDF] [
Show BibTeX]
@inproceedings{NNZ00_ag,
author = {U. A. Nickel AND J. Niere AND A. Z{\"u}ndorf},
title = {Tool demonstration: The FUJABA environment},
booktitle = {Proc. of the 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland},
year = {2000}
}
I. Rockel:
Versionierungs- und Mischkonzepte für UML Diagramme. Master's thesis, University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany, September 2000
[
PDF] [
Show BibTeX]
@mastersthesis{Roc00_ag,
author = {I. Rockel},
title = {Versionierungs- und Mischkonzepte f{\"u}r UML Diagramme},
school = {University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany},
year = {2000}
}
U. A. Nickel, J. Niere, A. Zündorf, W. Schäfer:
Combining Statecharts and Collaboration Diagrams for the Development of Production Control Systems. In
Proc. of Object-Oriented Modeling of Embedded Realtime Systems workshop (OMER). Technical Report 1999-01 University of the German Armed Forces Munich, 1999
[
PDF] [
Show BibTeX]
@inproceedings{NNSZ99_ag,
author = {U. A. Nickel AND J. Niere AND A. Z{\"u}ndorf AND W. Sch{\"a}fer},
title = {Combining Statecharts and Collaboration Diagrams for the Development of Production Control Systems},
booktitle = {Proc. of Object-Oriented Modeling of Embedded Realtime Systems workshop (OMER)},
year = {1999}
}
T. Klein, U. A. Nickel, J. Niere, A. Zündorf:
From UML to Java And Back Again. Tech. Rep., no. tr-ri-00-216. University of Paderborn (Paderborn, Germany) September 1999
[
PDF] [
Show BibTeX]
@techreport{KNNZ99_2_ag,
author = {T. Klein AND U. A. Nickel AND J. Niere AND A. Z{\"u}ndorf},
title = {From UML to Java And Back Again},
institution = {University of Paderborn},
year = {1999}
}
J. Niere, A. Zündorf:
Tool Demonstration: Testing and Simulating Production Control Systems Using the Fujaba Environment. In
Proc. of International Workshop and Symposium on Applications Of Graph Transformations With Industrial Relevance (AGTIVE), Kerkrade, The Netherlands, Lecture Notes in Computer Science (LNCS) 1779. Springer Verlag, 1999
[
PDF] [
Show BibTeX]
@inproceedings{NZ99_2_ag,
author = {J. Niere AND A. Z{\"u}ndorf},
title = {Tool Demonstration: Testing and Simulating Production Control Systems Using the Fujaba Environment},
booktitle = {Proc. of International Workshop and Symposium on Applications Of Graph Transformations With Industrial Relevance (AGTIVE), Kerkrade, The Netherlands},
year = {1999}
}
J. Niere, A. Zündorf:
Using Fujaba for the Development of Production Control Systems. In
Proc. of International Workshop and Symposium on Applications Of Graph Transformations With Industrial Relevance (AGTIVE), Kerkrade, The Netherlands, Lecture Notes in Computer Science (LNCS) 1779. Springer Verlag, 1999
[
PDF] [
Show BibTeX]
@inproceedings{NZ99_ag,
author = {J. Niere AND A. Z{\"u}ndorf},
title = {Using Fujaba for the Development of Production Control Systems},
booktitle = {Proc. of International Workshop and Symposium on Applications Of Graph Transformations With Industrial Relevance (AGTIVE), Kerkrade, The Netherlands},
year = {1999}
}
H. Köhler, U. A. Nickel, J. Niere, A. Zündorf:
Using UML as a visual programming language. Tech. Rep., no. tr-ri-99-205. University of Paderborn (Paderborn, Germany) August 1999
[
PDF] [
Show BibTeX]
@techreport{KNNZ99_ag,
author = {H. K{\"o}hler AND U. A. Nickel AND J. Niere AND A. Z{\"u}ndorf},
title = {Using UML as a visual programming language},
institution = {University of Paderborn},
year = {1999}
}
T. Fischer, J. Niere, L. Torunski:
Konzeption und Realisierung einer integrierten Entwicklungsumgebung für UML, Java und Story-Driven-Modeling. Master's thesis, University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany, July 1998
[
Show BibTeX]
@mastersthesis{FNT98_ag,
author = {T. Fischer AND J. Niere AND L. Torunski},
title = {Konzeption und Realisierung einer integrierten Entwicklungsumgebung f{\"u}r UML, Java und Story-Driven-Modeling},
school = {University of Paderborn, Department of Mathematics and Computer Science, Paderborn, Germany},
year = {1998}
}
J. H. Jahnke, A. Zündorf:
Specification and Implementation of a Distributed Planning and Information System for Courses based on Story Driven Modeling. In
Proc. of 9th International Workshop on Software Specification and Design, Ise-Shima, Japan, pp. 77-86. IEEE Computer Society Press, 1998
[
Show BibTeX]
@inproceedings{JZ97_2_ag,
author = {J. H. Jahnke AND A. Z{\"u}ndorf},
title = {Specification and Implementation of a Distributed Planning and Information System for Courses based on Story Driven Modeling},
booktitle = {Proc. of 9th International Workshop on Software Specification and Design, Ise-Shima, Japan},
year = {1998}
}
J. H. Jahnke, A. Zündorf:
Specification and Implementation of a Distributed Planning and Information System for Courses based on Story Driven Modelling. In
Proc. of Intl. Workshop on Software Specification and Design IWSSD-9. Kyoto, Japan., pp. 77-86. IEEE Computer Society Press, 1998
[
Show BibTeX]
@inproceedings{JZ98_ag,
author = {J. H. Jahnke AND A. Z{\"u}ndorf},
title = {Specification and Implementation of a Distributed Planning and Information System for Courses based on Story Driven Modelling},
booktitle = {Proc. of Intl. Workshop on Software Specification and Design IWSSD-9. Kyoto, Japan.},
year = {1998}
}
[
URL]
T. Fischer, J. Niere, L. Torunski, A. Zündorf:
Story Diagrams: A new Graph Rewrite Language based on the Unified Modeling Language. In G. Engels and G. Rozenberg (eds.):
Proc. of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT), Paderborn, Germany, Lecture Notes in Computer Science (LNCS) 1764, pp. 296-309. Springer Verlag, November 1998
[
Show BibTeX]
@inproceedings{FNTZ98_ag,
author = {T. Fischer AND J. Niere AND L. Torunski AND A. Z{\"u}ndorf},
title = {Story Diagrams: A new Graph Rewrite Language based on the Unified Modeling Language},
booktitle = {Proc. of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT), Paderborn, Germany},
year = {1998}
}
J. H. Jahnke, W. Schäfer, A. Zündorf:
Generic Fuzzy Reasoning Nets as a basis for reverse engineering relational database applications. In
Proc. of European Software Engineering Conference (ESEC/FSE), Lecture Notes in Computer Science (LNCS) 1302. Springer Verlag, September 1997
[
Show BibTeX]
@inproceedings{JSZ97_ag,
author = {J. H. Jahnke AND W. Sch{\"a}fer AND A. Z{\"u}ndorf},
title = {Generic Fuzzy Reasoning Nets as a basis for reverse engineering relational database applications},
booktitle = {Proc. of European Software Engineering Conference (ESEC/FSE)},
year = {1997}
}
J. H. Jahnke, A. Zündorf:
Rewriting poor Design Patterns by Good Design Patterns. In Serge Demeyer and Harald Gall (eds.):
Proc. of the ESEC/FSE Workshop on Object-Oriented Re-engineering. Technical Report TUV-1841-97-10, Technical University of Vienna, Information Systems Institute, Distributed Systems Group, September 1997
[
Show BibTeX]
@inproceedings{JZ97_ag,
author = {J. H. Jahnke AND A. Z{\"u}ndorf},
title = {Rewriting poor Design Patterns by Good Design Patterns},
booktitle = {Proc. of the ESEC/FSE Workshop on Object-Oriented Re-engineering},
year = {1997}
}
[
URL]
