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 . accepted.
[
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}
}
T. Eckardt, S. Henkler:
Component Behavior Synthesis for Critical Systems. In
1st International Symposium on Architecting Critical Systems (ISARCS). Springer, May 2010 . accepted.
[
PDF] [
Show BibTeX]

@inproceedings{EH10,
author = {T. Eckardt AND S. Henkler},
title = {Component Behavior Synthesis for Critical Systems},
booktitle = {1st International Symposium on Architecting Critical Systems (ISARCS)},
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
[
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, U. Nickel:
Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. In
Proc. of the Software Engineering 2010 Conference - Workshop Contributions, Workshop ENVISION2020, Paderborn, Germany, 22.-26.2.2010, LNI, vol. 160. Gesellschaft für Informatik, 2010 . accepted.
[
Show BibTeX]

@inproceedings{MHN10_ag,
author = {J. Meyer AND J. Holtmann AND U. Nickel},
title = {Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie},
booktitle = {Proc. of the Software Engineering 2010 Conference - Workshop Contributions, Workshop ENVISION2020, Paderborn, Germany, 22.-26.2.2010},
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 International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, vol. 2, pp. 267 - 270. ACM Press, 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 International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa},
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. 202-209. IEEE Computer Society Press, 5 2010 . accepted.
[
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_ag,
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 automotiver Softwaresysteme. In
Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 2010, Schloss Dagstuhl, Germany, Informatik-Bericht (Technische Universität Braunschweig), pp. 78-84. April 2010 . accepted.
[
Show BibTeX]

@inproceedings{HMSN10b_ag,
author = {S. Henkler AND J. Meyer AND W. Sch{\"a}fer AND U. Nickel},
title = {Reverse Engineering automotiver Softwaresysteme},
booktitle = {Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 2010, Schloss Dagstuhl, Germany},
year = {2010}
}
S. Henkler, J. Meyer, W. Schäfer, U. Nickel:
Reverse Engineering mechatronischer Systeme. In
Seventh Paderborner Workshop Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe, pp. 1-16. 2010 . accepted.
[
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}
}
M. von Detten, M. Meyer, D. Travkin:
Reverse Engineering with the Reclipse Tool Suite. In
Proceedings of the 32nd International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, vol. 2, 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 International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa},
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
[
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 specication 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. Tech. Rep.. (Eindhoven University of Technology, The Netherlands) November 2009
[
Show BibTeX]

@techreport{PT09_ag,
author = {C. Priesterjahn AND M. Tichy},
title = {Modeling Safe Reconfiguration with the FUJABA Real-Time Tool Suite},
institution = {},
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
[
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}
}
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}
}
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
[
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
[
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}
}
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.):
Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, pp. 36-39. 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 = {Proc. of the 6th International Fujaba Days 2008, Dresden, Germany},
year = {2008}
}
M. Tichy, S. Henkler, J. Holtmann, S. Oberthür:
Towards a Transformation Language for Component Structures. In
Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, pp. 27-39. 2008
[
Show BibTeX]

@inproceedings{THHO08_ag,
author = {M. Tichy AND S. Henkler AND J. Holtmann AND S. Oberth{\"u}r},
title = {Towards a Transformation Language for Component Structures},
booktitle = {Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany},
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 system 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]
Liste als Bibtex exportieren@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}
}
@inproceedings{EH10,
author = {T. Eckardt AND S. Henkler},
title = {Component Behavior Synthesis for Critical Systems},
booktitle = {1st International Symposium on Architecting Critical Systems (ISARCS)},
year = {2010}
}
@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}
}
@inproceedings{MHN10_ag,
author = {J. Meyer AND J. Holtmann AND U. Nickel},
title = {Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie},
booktitle = {Proc. of the Software Engineering 2010 Conference - Workshop Contributions, Workshop ENVISION2020, Paderborn, Germany, 22.-26.2.2010},
year = {2010}
}
@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 International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa},
year = {2010}
}
@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}
}
@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}
}
@techreport{HHH10_ag,
author = {C. Heinzemann AND S. Henkler AND M. Hirsch},
title = {Refinement Checking of Self-Adaptive Embedded Component Architectures},
institution = {University of Paderborn},
year = {2010}
}
@inproceedings{HMSN10b_ag,
author = {S. Henkler AND J. Meyer AND W. Sch{\"a}fer AND U. Nickel},
title = {Reverse Engineering automotiver Softwaresysteme},
booktitle = {Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 2010, Schloss Dagstuhl, Germany},
year = {2010}
}
@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}
}
@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 International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa},
year = {2010}
}
@techreport{EH10b,
author = {T. Eckardt AND S. Henkler},
title = {Synthesis of Reconfiguration Charts},
institution = {Software Engineering Group},
year = {2010}
}
@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}
}
@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}
}
@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}
}
@techreport{PT09_ag,
author = {C. Priesterjahn AND M. Tichy},
title = {Modeling Safe Reconfiguration with the FUJABA Real-Time Tool Suite},
institution = {},
year = {2009}
}
@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}
}
@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}
}
@inproceedings{EH09_ag,
author = {T. Eckardt AND S. Henkler},
title = {Synthesis of Component Behavior},
booktitle = {Proceedings of the 7th International Fujaba Days},
year = {2009}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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 = {Proc. of the 6th International Fujaba Days 2008, Dresden, Germany},
year = {2008}
}
@inproceedings{THHO08_ag,
author = {M. Tichy AND S. Henkler AND J. Holtmann AND S. Oberth{\"u}r},
title = {Towards a Transformation Language for Component Structures},
booktitle = {Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany},
year = {2008}
}
@phdthesis{Wen07,
author = {L. Wendehals},
title = {Struktur- und verhaltensbasierte Entwurfsmustererkennung},
school = {University of Paderborn, Paderborn, Germany},
year = {2007}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@phdthesis{Nie04,
author = {J. Niere},
title = {Inkrementelle Entwurfsmustererkennung},
school = {University of Paderborn, Paderborn, Germany},
year = {2004}
}
@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}
}
@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}
}
@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}
}
@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}
}
@mastersthesis{Rec04_ag,
author = {C. Reckord},
title = {Optimierung von Genauigkeitswerten unscharfer Regeln},
school = {University of Paderborn, Department of Computer Science, Paderborn, Germany},
year = {2004}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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 = {}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@proceedings{FujabaDays03_ag,
title = {Proc. of the First International Fujaba Days 2003},
year = {2003}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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 = {}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@book{Zuen01_ag,
author = {A. Z{\"u}ndorf},
editor = {},
title = {Rigorous Object Oriented Software Development},
publisher = {University of Paderborn},
year = {2001}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}