@inproceedings{8433,
  author       = {{Salger, Frank and Engels, Gregor and Hofmann, Alexander}},
  booktitle    = {{Proceedings of the ICSE Workshop on Software Quality (WoSQ 2009)}},
  pages        = {{15--21}},
  title        = {{{Inspection Effectiveness for Different Quality Attributes of Software Requirement Specifications - An Industrial Case Study}}},
  year         = {{2009}},
}

@inproceedings{8434,
  abstract     = {{The software specification acts as a bridge between customers, architects, software developers and testers. If information gets lost or distorted when building this bridge, the wrong system will be built or the system will not be built in time and budget–or both! Standards and recommendations give advice on how to structure specifications or check software-engineering artefacts with reviews or inspections. But these constructive and analytical approaches are not well integrated with each other. Moreover, they are often too generic to efficiently support the specification of particular system types. In this paper, we present the integrated “specification framework” of Capgemini sd&m. It consists of our specification method for business information systems (BIS) and its concerted analytical counterpart, the “specification quality gate”. Since this framework is tailored to the specification of large BIS, it allows a quick ramp-up phase for software engineering projects without the need for extensive tailoring or extension.}},
  author       = {{Salger, Frank and Sauer, Stefan and Engels, Gregor}},
  booktitle    = {{Proceedings of the Forum at the CAiSE 2009 Conference, Amsterdam (The Netherlands)}},
  pages        = {{25--30}},
  publisher    = {{CEUR}},
  title        = {{{An Integrated Quality Assurance Framework for Specifying Business Information Systems}}},
  volume       = {{453}},
  year         = {{2009}},
}

@inproceedings{8435,
  abstract     = {{Visual Process Pattern (VPP) is a visual language to describe constraints on the behavior of UML Activities. They have been developed for the sake of formulating and verifying requirements on business process models (with Activities being one possible description language). In the VPP approach, a visual pattern is translated into an LTL formula, which can then be verified against a transition system describing the behavior of the Activity under consideration. In this paper, we aim at generalizing VPP. We show how to formulate patterns more generally, using either concrete or abstract syntax of the behavioral model under consideration. Additionally, we describe how these more general patterns can be verified against a model’s behavior.}},
  author       = {{Soltenborn, Christian and Engels, Gregor}},
  booktitle    = {{Proceedings of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA)}},
  publisher    = {{European Association of Software Science and Technology}},
  title        = {{{Towards Generalizing Visual Process Pattern}}},
  volume       = {{25}},
  year         = {{2009}},
}

@inproceedings{8436,
  author       = {{von der Maßen, Thomas and Wübbeke, Andreas}},
  booktitle    = {{Proceedings of Produktlinien im Kontext (PIK09)}},
  pages        = {{15--23}},
  title        = {{{Lösungsorientierte Software Produktlinienentwicklung in heterogenen Systemlandschaften}}},
  year         = {{2009}},
}

@article{8578,
  author       = {{Wilde, M. A. and Reuter, Dirk and Heyn, Ch. and Wieck, A. D. and Grundler, D.}},
  issn         = {{1098-0121}},
  journal      = {{Physical Review B}},
  title        = {{{Inversion-asymmetry-induced spin splitting observed in the quantum oscillatory magnetization of a two-dimensional electron system}}},
  doi          = {{10.1103/physrevb.79.125330}},
  year         = {{2009}},
}

@article{8579,
  author       = {{Buchholz, S. S. and Fischer, S. F. and Kunze, U. and Reuter, Dirk and Wieck, A. D.}},
  issn         = {{0003-6951}},
  journal      = {{Applied Physics Letters}},
  title        = {{{Nonlocal Aharonov–Bohm conductance oscillations in an asymmetric quantum ring}}},
  doi          = {{10.1063/1.3069281}},
  year         = {{2009}},
}

@article{8580,
  author       = {{Blokland, J. H. and Bozkurt, M. and Ulloa, J. M. and Reuter, Dirk and Wieck, A. D. and Koenraad, P. M. and Christianen, P. C. M. and Maan, J. C.}},
  issn         = {{0003-6951}},
  journal      = {{Applied Physics Letters}},
  title        = {{{Ellipsoidal InAs quantum dots observed by cross-sectional scanning tunneling microscopy}}},
  doi          = {{10.1063/1.3072366}},
  year         = {{2009}},
}

@article{8581,
  author       = {{Greilich, A. and Spatzek, S. and Yugova, I. A. and Akimov, I. A. and Yakovlev, D. R. and Efros, Al. L. and Reuter, Dirk and Wieck, A. D. and Bayer, M.}},
  issn         = {{1098-0121}},
  journal      = {{Physical Review B}},
  title        = {{{Collective single-mode precession of electron spins in an ensemble of singly charged (In,Ga)As/GaAs quantum dots}}},
  doi          = {{10.1103/physrevb.79.201305}},
  year         = {{2009}},
}

@article{8582,
  author       = {{Greilich, A. and Economou, Sophia E. and Spatzek, S. and Yakovlev, D. R. and Reuter, Dirk and Wieck, A. D. and Reinecke, T. L. and Bayer, M.}},
  issn         = {{1745-2473}},
  journal      = {{Nature Physics}},
  pages        = {{262--266}},
  title        = {{{Ultrafast optical rotations of electron spins in quantum dots}}},
  doi          = {{10.1038/nphys1226}},
  year         = {{2009}},
}

@article{8583,
  author       = {{Yugova, I. A. and Sokolova, A. A. and Yakovlev, D. R. and Greilich, A. and Reuter, Dirk and Wieck, A. D. and Bayer, M.}},
  issn         = {{0031-9007}},
  journal      = {{Physical Review Letters}},
  title        = {{{Long-Term Hole Spin Memory in the Resonantly Amplified Spin Coherence ofInGaAs/GaAsQuantum Well Electrons}}},
  doi          = {{10.1103/physrevlett.102.167402}},
  year         = {{2009}},
}

@article{8584,
  author       = {{Wilde, M. A. and Reuter, Dirk and Heyn, Ch. and Wieck, A. D. and Grundler, D.}},
  issn         = {{1098-0121}},
  journal      = {{Physical Review B}},
  title        = {{{Inversion-asymmetry-induced spin splitting observed in the quantum oscillatory magnetization of a two-dimensional electron system}}},
  doi          = {{10.1103/physrevb.79.125330}},
  year         = {{2009}},
}

@article{8585,
  author       = {{Marquardt, B. and Geller, M. and Lorke, A. and Reuter, Dirk and Wieck, A. D.}},
  issn         = {{0003-6951}},
  journal      = {{Applied Physics Letters}},
  title        = {{{Using a two-dimensional electron gas to study nonequilibrium tunneling dynamics and charge storage in self-assembled quantum dots}}},
  doi          = {{10.1063/1.3175724}},
  year         = {{2009}},
}

@article{8586,
  author       = {{Völk, S. and Wixforth, A. and Reuter, Dirk and Wieck, A. D. and Ebbecke, J.}},
  issn         = {{1098-0121}},
  journal      = {{Physical Review B}},
  title        = {{{Conversion of bound excitons to free excitons by surface acoustic waves}}},
  doi          = {{10.1103/physrevb.80.165307}},
  year         = {{2009}},
}

@article{8587,
  author       = {{Auer, T. and Oulton, R. and Bauschulte, A. and Yakovlev, D. R. and Bayer, M. and Verbin, S. Yu. and Cherbunin, R. V. and Reuter, Dirk and Wieck, A. D.}},
  issn         = {{1098-0121}},
  journal      = {{Physical Review B}},
  title        = {{{Measurement of the Knight field and local nuclear dipole-dipole field in an InGaAs/GaAs quantum dot ensemble}}},
  doi          = {{10.1103/physrevb.80.205303}},
  year         = {{2009}},
}

@article{8588,
  author       = {{Fischer, S F and Deborde, J L and Kunze, U and Reuter, Dirk and Wieck, A D}},
  issn         = {{1742-6596}},
  journal      = {{Journal of Physics: Conference Series}},
  title        = {{{Lateral electron tunnelling spectroscopy in etched GaAs/AlGaAs-based nanostructures}}},
  doi          = {{10.1088/1742-6596/193/1/012043}},
  year         = {{2009}},
}

@article{8589,
  author       = {{Fischer, S F and Deborde, J L and Kunze, U and Reuter, Dirk and Wieck, A D}},
  issn         = {{1742-6596}},
  journal      = {{Journal of Physics: Conference Series}},
  title        = {{{Lateral electron tunnelling spectroscopy in etched GaAs/AlGaAs-based nanostructures}}},
  doi          = {{10.1088/1742-6596/193/1/012043}},
  year         = {{2009}},
}

@article{8591,
  author       = {{Cerchez, M. and Heinzel, T. and Reuter, Dirk and Wieck, A.D.}},
  issn         = {{0749-6036}},
  journal      = {{Superlattices and Microstructures}},
  pages        = {{723--727}},
  title        = {{{Magnetic barrier in a two-dimensional hole gas}}},
  doi          = {{10.1016/j.spmi.2009.07.016}},
  year         = {{2009}},
}

@article{8592,
  author       = {{Kurtze, H. and Seebeck, J. and Gartner, P. and Yakovlev, D. R. and Reuter, Dirk and Wieck, A. D. and Bayer, M. and Jahnke, F.}},
  issn         = {{1098-0121}},
  journal      = {{Physical Review B}},
  title        = {{{Carrier relaxation dynamics in self-assembled semiconductor quantum dots}}},
  doi          = {{10.1103/physrevb.80.235319}},
  year         = {{2009}},
}

@book{9579,
  abstract     = {{Gegenstand des Sonderforschungsbereichs 614 "Selbstoptimierende Systeme des Maschinenbaus" sind maschinenbauliche Systeme von morgen. Diese werden aus Konfigurationen von Systemelementen mit einer inh{\"a}renten Teilintelligenz bestehen. Das Verhalten des Gesamtsystems wird durch die Kommunikation und Kooperation der intelligenten Systemelemente geprägt sein. Selbstoptimierung ermöglicht handlungsfähige Systeme mit inhärenter "Intelligenz", die in der Lage sind, selbständig und flexibel auf veränderte Betriebsbedingungen zu reagieren. Die Vision des SFB 614 ist eine neue Schule des Entwurfs von intelligenten mechatronischen Systemen. Diese neue Schule beruht auf einem Instrumentarium bestehend aus Vorgehensmodellen, Entwurfsmethoden und -werkzeugen und Praktiken. Das Instrumentarium entsteht im Wechselspiel mit der Entwicklung von anspruchsvollen Demonstratoren, die als repräsentativ für künftige Erzeugnisse des Maschinenbaus und verwandter Branchen wie der Automobilindustrie und der Medizintechnik gelten können. Vor diesem Hintergrund zeichnet sich die Herausforderung ab, derartige Systeme zuverlässig zu gestalten. Wir haben statt Zuverlässigkeit den Begriff Verlässlichkeit gewählt, weil er die Aspekte Verfügbarkeit, Zuverlässigkeit, Sicherheit und Vertraulichkeit umfasst und somit unser Anliegen auf den Weg zu den Erzeugnissen von morgen treffend zum Ausdruck bringt. Das vorliegende Buch ist das Ergebnis der projektübergreifenden interdisziplinären Zusammenarbeit in dem Arbeitskreis "Sicherheit und Stabilität" des SFB 614. Es gibt eine gut aufbereitete Einführung in den umfassenden Themenkomplex Verlässlichkeit und zeigt anhand von anspruchsvollen Beispielen der fortgeschrittenen Mechatronik, wie komplexe, stark durch Informations- und Kommunikationstechnik geprägte technische Systeme verlässlich gestaltet werden können. Dabei wird deutlich, dass das Wirkparadigma der Selbstoptimierung nicht nur größere Anstrengungen erfordert, um Verlässlichkeit zu erreichen, sondern auch neue Möglichkeiten für mehr Verlässlichkeit eröffnet.}},
  author       = {{Dell'Aere, Alessandro and Hirsch, Martin and Klöpper, Benjamin and Koester, Markus and Krup, Alexander and Krüger, Martin and Müller, Thomas and Oberthür, Simon and Pook, Sebastian and Priesterjahn, Claudia and Romaus, Christoph and Schmidt, Alexander and Sondermann-Wölke, Christoph and Tichy, Matthias and Vöcking, Henner and Zimmer, Detmar}},
  publisher    = {{Heinz Nixdorf Institut, Universität Paderborn}},
  title        = {{{Verlässlichkeit selbstoptimierender Systeme -- Potenziale nutzen und Risiken vermeiden}}},
  volume       = {{235}},
  year         = {{2009}},
}

@inbook{9616,
  author       = {{Kakvi, Saqib}},
  booktitle    = {{Lecture Notes in Computer Science}},
  isbn         = {{9783642040511}},
  issn         = {{0302-9743}},
  title        = {{{Reinforcement Learning for Blackjack}}},
  doi          = {{10.1007/978-3-642-04052-8_43}},
  year         = {{2009}},
}