@inbook{7562,
  author       = {{Kremer, H.-Hugo and Sloane, Peter F. E.}},
  booktitle    = {{Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms 'Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung'}},
  editor       = {{Sloane, P. F. E.}},
  pages        = {{81--83}},
  title        = {{{DFG-Projekt 'FäLoU': Evaluationskonzept}}},
  year         = {{2000}},
}

@inbook{7563,
  author       = {{Kremer, H.-Hugo}},
  booktitle    = {{Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms 'Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung'}},
  editor       = {{Sloane, P. F. E.}},
  pages        = {{109--120}},
  title        = {{{Wissensanwendung - Evaluationskonzept und Auswertungsbeispiel}}},
  year         = {{2000}},
}

@inbook{7564,
  author       = {{Kremer, H.-Hugo}},
  booktitle    = {{Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms 'Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung'}},
  editor       = {{Sloane, P. F. E.}},
  pages        = {{121--129}},
  title        = {{{Fächer- und lernortübergreifender Unterricht aus Sicht der Beteiligten}}},
  year         = {{2000}},
}

@inbook{7565,
  author       = {{Kremer, H.-Hugo and Sloane, Peter F. E.}},
  booktitle    = {{Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms 'Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung'}},
  editor       = {{Sloane, P. F. E.}},
  pages        = {{130--134}},
  title        = {{{Zur Fortführung des Forschungsprogramms}}},
  year         = {{2000}},
}

@inbook{7667,
  author       = {{Bliemel, F and Eggert, A and Adolphs, K}},
  booktitle    = {{Electronic Commerce}},
  editor       = {{Bliemel, F and Fassott, G and Theobald, A}},
  pages        = {{205--217}},
  publisher    = {{Gabler}},
  title        = {{{Preispolitik mit Electronic Commerce}}},
  year         = {{2000}},
}

@inbook{7670,
  author       = {{Bliemel, F and Eggert, A}},
  booktitle    = {{Jahrbuch für Dienstleistungsmanagement 2000 - Kundenbeziehungen im Dienstleistungsbereich}},
  editor       = {{Bruhn , M and Stauss, B}},
  pages        = {{197--211}},
  publisher    = {{Gabler}},
  title        = {{{Stärkt Customer Care die Kundenbeziehung? Eine kausalanalytische Untersuchung aus Kundensicht}}},
  year         = {{2000}},
}

@article{7690,
  author       = {{Heidtkamp, C. and Meier, Cedrik and Reuter, D. and Versen, M. and Hoch, S. and Diaconescu, D. and Wieck, A.D.}},
  issn         = {{0921-4526}},
  journal      = {{Physica B: Condensed Matter}},
  pages        = {{1728--1729}},
  publisher    = {{Elsevier BV}},
  title        = {{{Tunable backscattering in quantum Hall systems induced by neighbouring gates}}},
  doi          = {{10.1016/s0921-4526(99)02892-6}},
  volume       = {{284-288}},
  year         = {{2000}},
}

@article{7691,
  author       = {{Diaconescu, Dorina and Hoch, Sascha and Heidtkamp, Christian and Meier, Cedrik and Reuter, Dirk and Wieck, Andreas D}},
  issn         = {{0921-4526}},
  journal      = {{Physica B: Condensed Matter}},
  pages        = {{1906--1907}},
  publisher    = {{Elsevier BV}},
  title        = {{{A new peak in the bend resistance of a four-terminal device written by FIB implantation}}},
  doi          = {{10.1016/s0921-4526(99)03002-1}},
  volume       = {{284-288}},
  year         = {{2000}},
}

@inproceedings{7692,
  author       = {{Reuter, D. and Meier, Cedrik and Alvarez, M. A. and Koch, J. and Wieck, A. D.}},
  booktitle    = {{IECON Proc. }},
  pages        = {{1878}},
  title        = {{{Laterally resolved doping by focused ion beam implantation}}},
  year         = {{2000}},
}

@inproceedings{8341,
  author       = {{Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}},
  booktitle    = {{Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)}},
  pages        = {{310--322}},
  publisher    = {{Springer}},
  title        = {{{A Fully Abstract Model for Graph-Interpreted Temporal Logic}}},
  doi          = {{http://dx.doi.org/10.1007/b75045}},
  volume       = {{1764}},
  year         = {{2000}},
}

@inproceedings{8342,
  abstract     = {{This position paper weighs the benefits against the problems of using a graph rewrite system for the formal specification of an integrated software engineering model and for its implementation using the same graph rewrite system. The integrated software engineering approach, called GRIDS1, has been motivated by the shortcomings of software engineering support for real-life software projects. It is based on the formal integration of software engineering aspects for the automatic construction and well-defined manipulation of situational project frameworks. GRIDS uses the graph rewrite system PROGRES for the formal specification of the concepts and for their prototypical implementation. Without claiming to cover the entire field of graph rewrite systems, the experiences of this particular, graph-based approach are used as example for a discussion about the adequacy, the benefits, but also the shortcomings and the problems of applying a graph rewrite approach to realize automated software and method engineering support.}},
  author       = {{Engels, Gregor and Zamperoni, Andreas}},
  booktitle    = {{Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)}},
  pages        = {{359--368}},
  publisher    = {{Springer}},
  title        = {{{Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!}}},
  doi          = {{http://dx.doi.org/10.1007/3-540-45104-8_28}},
  volume       = {{1779}},
  year         = {{2000}},
}

@inproceedings{8343,
  author       = {{Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the 7th GI-Workshop GROOM}},
  number       = {{2}},
  pages        = {{43--44}},
  publisher    = {{University of Koblenz-Landau}},
  title        = {{{Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML}}},
  volume       = {{20}},
  year         = {{2000}},
}

@inproceedings{8344,
  author       = {{Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)}},
  number       = {{0006}},
  pages        = {{63--69}},
  publisher    = {{Ludwig-Maximilians-University}},
  title        = {{{Strengthening the Semantics of UML Collaboration Diagrams}}},
  year         = {{2000}},
}

@inproceedings{8345,
  author       = {{Küster, Jochen and Stroop, Joachim}},
  booktitle    = {{Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK)}},
  publisher    = {{University of York}},
  title        = {{{Towards Consistency of Dynamic Models and Analysis of Timing Constraints}}},
  year         = {{2000}},
}

@inproceedings{8346,
  abstract     = {{In den letzten Jahren ist ein deutlicher Trend zu verstärkt nebenläufiger Software festzustellen. Hierfür gibt es verschiedene Gründe, wie die rasante Verbreitung des Internets mit seinen Client/Server-Architekturen und die verstärkte Unterstützung nebenläufiger Programmierung in neuen Programmiersprachen wie z.B. Java. Softwareentwickler werden somit zunehmend mit dem Problem der Synchronisation der nebenläufigen Abläufe in der Software konfrontiert. Dabei treten immer wieder gravierende Fehler auf. Besonders problematisch ist in diesem Zusammenhang der Nichtdeterminismus nebenläufiger Abläufe, der dazu führt, dass Fehler unter Umständen bei Tests nicht auffällig werden, weil das Auftreten der Fehler von einem bestimmten Zeitverhalten abhängt, das beim Test nicht auftritt. Die Situation wird noch erschwert, wenn man nebenläufige Software aus Komponenten verschiedener Hersteller zusammensetzt. Bei der Zusammenarbeit dieser Komponenten auftretende Fehler im nebenläufigen Ablauf sind besonders schwierig zu diagnostizieren und zu beheben, da über die verwendeten Komponenten meist nichts außerhalb ihrer nicht notwendigerweise vollständigen und korrekten Spezifikation bekannt ist. Dies ist ein aktuelles Problem, da Komponententechnologien den Kern vieler moderner Anwendungen bilden. Viele Fehler in nebenläufiger Software sind auf grundsätzliche Fehler beim Entwurf der Software zurückzuführen. Auch beim Übergang vom Modell zur Implementierung entstehen Fehler, insbesondere wenn das Modell nicht direkt bei der Implementierung umsetzbar ist. Dies ist häufig der Fall, weil die Implementierung meist auf der Verwendung einfacher Synchronisationskonstrukte, wie z.B. Semaphoren, basiert, welche in der verwendeten Modellierung kein direktes Gegenstück haben. Es ist also entscheidend, dass die Softwareentwickler beim Entwurf ein klares Bild von der zu entwickelnden Software erhalten, welches leicht in der Implementierung umzusetzen ist. Wir wollen im folgenden grundlegende Strukturen nebenläufiger Softwaresysteme aufzeigen, basierend darauf Anforderungen an Modellierungssprachen für solche Systeme formulieren und existierende Modellierungssprachen auf diese Anforderungen hin untersuchen. Dabei werden wir sehen, dass sich in diesen Systemen kleinere, nahezu in sich abgeschlossene, Abläufe identifizieren lassen, die wir als Operationen bezeichnen werden. Betrachtet man die Implementation so ist festzustellen, dass hier einige einfache Konstrukte im Vordergrund stehen, auf die das Modell abgebildet werden muss. Damit ergeben sich aus unserer Sicht zwei wesentliche Forderungen an Modellierungssprachen: · Die Aufteilung in einzelne Operationen soll gefördert werden. · Gängige Synchronisationskonstrukte sollen direkt dargestellt werden, um die Lesbarkeit der Darstellung zu verbessern und um den Übergang in die Implementierung zu vereinfachen. Im nächsten Abschnitt werden wir die grundlegende Struktur nebenläufiger Software beschreiben, bevor wir dann Anforderungen diskutieren. Wir werden State Charts als eine gebräuchliche Modellierungssprache hinsichtlich dieser Anforderungen untersuchen und dabei sehen, dass diese den Forderungen nicht vollständig gerecht werden. Dies wird an einem Beispiel vertieft. Abschließend gehen wir kurz auf den Übergang von der Modellierung in die Implementierung ein.}},
  author       = {{Mehner, Katharina and Schattkowsky, Tim}},
  booktitle    = {{Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)}},
  pages        = {{14--18}},
  publisher    = {{Universität Münster}},
  title        = {{{Methodische Aspekte von Modellierungssprachen für nebenläufige Software}}},
  volume       = {{24}},
  year         = {{2000}},
}

@inproceedings{8347,
  author       = {{Mehner, Katharina and Wagner, Annika}},
  booktitle    = {{Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)}},
  publisher    = {{Fölbach}},
  title        = {{{Visualisierung der Synchronisation von Java-Threads mit UML}}},
  volume       = {{15}},
  year         = {{2000}},
}

@inbook{8422,
  author       = {{Kremer, H.-Hugo and Sloane, Peter F. E.}},
  booktitle    = {{Zusätzliche Bildungsangebote beruflichen Lernens - Konzepte und Materialien für gewerblich-technische Berufe}},
  editor       = {{Pahl, J.-P. and Rach, G.}},
  pages        = {{191--225}},
  title        = {{{Existenzgründung: Kapitalbedarfsermittlung und -beschaffung}}},
  year         = {{2000}},
}

@inbook{8455,
  author       = {{Kremer, H.-Hugo and Sloane, Peter F. E.}},
  booktitle    = {{Lernen in Lernfeldern - Theoretische Analysen und Gestaltungsansätze zum Lernfeldkonzept}},
  editor       = {{Bader, R. and Sloane, P.F.E.}},
  pages        = {{71--84}},
  title        = {{{Lernfeldkonzept - Erste Umsetzungserfahrungen und Konsequenzen für die Implementation}}},
  year         = {{2000}},
}

@inbook{8456,
  author       = {{Kremer, H.-Hugo and Sloane, Peter F. E.}},
  booktitle    = {{Berufliche Bildung in Deutschland für das 21. Jahrhundert}},
  editor       = {{Kaiser, F.J.}},
  pages        = {{135--144}},
  title        = {{{Lern- und Maßnahmeerfolg "Fächer- und Lernortübergreifender Lehr- Lernarrangements" - Erste Projektergebnisse}}},
  year         = {{2000}},
}

@inbook{8457,
  author       = {{Kremer, H.-Hugo}},
  booktitle    = {{Sozialökonomische Theorie - sozialökonomisches Handeln. Konturen und Perspektiven der Wirtschafts- und Sozialpädagogik}},
  editor       = {{Euler, D. and Jongebloed, H.-C. and Sloane, P.F.E.}},
  title        = {{{Didaktische Theorie implementieren - Innovationen gestalten}}},
  year         = {{2000}},
}