@article{64721, author = {{Glöckner, Helge}}, issn = {{0039-3223}}, journal = {{Studia Mathematica}}, keywords = {{22E65, 46E25, 46F05, 46H05, 46H30}}, number = {{2}}, pages = {{147–177}}, title = {{{Algebras whose groups of units are Lie groups}}}, doi = {{10.4064/sm153-2-4}}, volume = {{153}}, year = {{2002}}, } @article{13745, author = {{Onida, G. and Schmidt, Wolf Gero and Pulci, O. and Palummo, M. and Marini, A. and Hogan, C. and Del Sole, R.}}, issn = {{0031-8965}}, journal = {{physica status solidi (a)}}, number = {{4}}, pages = {{1233--1242}}, title = {{{Theory for Modeling the Optical Properties of Surfaces}}}, doi = {{10.1002/1521-396x(200112)188:4<1233::aid-pssa1233>3.0.co;2-w}}, volume = {{188}}, year = {{2002}}, } @article{13741, author = {{Schmidt, Wolf Gero and Bechstedt, F. and Fleischer, K. and Cobet, C. and Esser, N. and Richter, W. and Bernholc, J. and Onida, G.}}, issn = {{0031-8965}}, journal = {{physica status solidi (a)}}, number = {{4}}, pages = {{1401--1409}}, title = {{{GaAs(001): Surface Structure and Optical Properties}}}, doi = {{10.1002/1521-396x(200112)188:4<1401::aid-pssa1401>3.0.co;2-1}}, volume = {{188}}, year = {{2002}}, } @article{13742, author = {{Bechstedt, F. and Schmidt, Wolf Gero and Hahn, P.H.}}, issn = {{0031-8965}}, journal = {{physica status solidi (a)}}, number = {{4}}, pages = {{1383--1392}}, title = {{{Towards a Complete Many-Body Description: Optical Response of Real Surfaces}}}, doi = {{10.1002/1521-396x(200112)188:4<1383::aid-pssa1383>3.0.co;2-g}}, volume = {{188}}, year = {{2002}}, } @phdthesis{19622, author = {{Schröder, Klaus}}, isbn = {{3-931466-88-4}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Balls into Bins: A Paradigm for Job Allocation, Data Distribution Processes, and Routing}}}, volume = {{89}}, year = {{2001}}, } @inbook{19703, author = {{Büker, Petra}}, booktitle = {{Grundlegende Bildung in und für Europa. Grundschulverband (Beiträge zur Reform der Grundschule, Bd. 112)}}, editor = {{Schmitt, Rudolf}}, pages = {{166--181}}, title = {{{Europa - ein aktuelles Thema für die Grundschule}}}, volume = {{112}}, year = {{2001}}, } @inbook{19704, author = {{Büker, Petra and Malinowski, Anna and Störmer-Langer, Gabriele}}, booktitle = {{Grundlegende Bildung in und für Europa. Grundschulverband (Beiträge zur Reform der Grundschule, Bd. 112)}}, editor = {{Schmitt, Rudolf}}, pages = {{182--195}}, title = {{{"Begeisterung steckt an wie Grippeviren" - ein deutsch-polnisches Literaturprojekt rund um das Kinderbuch "Irgendwie Anders". }}}, volume = {{112}}, year = {{2001}}, } @article{19707, author = {{Büker, Petra}}, journal = {{Grundschule }}, pages = {{34--40}}, title = {{{Europa - (k)ein Thema für die Grundschule?! }}}, volume = {{33, H. 4}}, year = {{2001}}, } @article{19708, author = {{Büker, Petra}}, journal = {{Grundschule 33, Internetbeitrag zu H. 4. }}, title = {{{"Ich möchte gern in Frankreich leben, weil die da...". Ergebnisse einer Erkundungsstudie mit Grundschulkindern rund um das Thema "Europa".}}}, year = {{2001}}, } @inproceedings{19927, abstract = {{Februar 2001 (In Kooperation mit dem Studienseminar Primarstufe Solingen; Anerkannte Fortbildungsveranstaltung des Schulamtes Bielefeld).}}, author = {{Büker, Petra}}, title = {{{Konzeption und Durchführung der integrierten Lehreraus- und -fortbildungsveranstaltung: Begegnungsorientierter Umgang mit Kinder- und Jugendliteratur im interkulturellen Deutschunterricht der Grundschule. Universität Bielefeld}}}, year = {{2001}}, } @proceedings{19957, editor = {{Büker, Petra and Kammler, Clemens}}, location = {{Bielefeld}}, title = {{{Begegnungsorientierter Umgang mit Kinder- und Jugendliteratur im interkulturellen Deutschunterricht der Grundschule. Dokumentationsschrift zur gleichnamigen Lehreraus- und Fortbildungsveranstaltung am 08./09.02.2001 an der Universität Bielefeld}}}, year = {{2001}}, } @inbook{26846, author = {{Grüßing, Meike and Hellmich, Frank}}, booktitle = {{Proceedings of the 25th Conference of the International Group for the Psychology of Mathematics Education}}, editor = {{van den Heuvel-Panhuizen, Marja}}, pages = {{396}}, publisher = {{Utrecht University}}, title = {{{Spatial ability & geometry learning}}}, year = {{2001}}, } @inbook{26847, author = {{Hellmich, Frank}}, booktitle = {{Beiträge zum Mathematikunterricht 2001}}, editor = {{Kaiser, Gabriele}}, pages = {{277--280}}, publisher = {{Franzbecker}}, title = {{{Förderung des räumlichen Vorstellungsvermögens lernbehinderter Schülerinnen und Schüler im Zusammenhang mit ihren Leistungen im Geometrieunterricht}}}, year = {{2001}}, } @book{26848, author = {{Hellmich, Frank}}, publisher = {{Didaktisches Zentrum (Oldenburger VorDrucke 434)}}, title = {{{Raumvorstellung und Geometrielernen in der Schule für Lernhilfe}}}, year = {{2001}}, } @article{3655, author = {{Gruber, Hans and Harteis, Christian and Hawelka, Birgit}}, journal = {{DIE-Zeitschrift f{\"u}r Erwachsenenbildung}}, number = {{1}}, pages = {{20----22}}, title = {{{Medienkompetenz als Herausforderung. Neue Medien und die Veränderung von Kommunikation}}}, year = {{2001}}, } @article{3658, author = {{Harteis, Christian and Heid, Helmut and Bauer, Johannes and Festner, Dagmar}}, journal = {{Zeitschrift für Berufs-und Wirtschaftspädagogik}}, number = {{2}}, pages = {{222----246}}, title = {{{Kernkompetenzen und ihre Interpretation zwischen ökonomischen und pädagogischen Ansprüchen}}}, volume = {{97}}, year = {{2001}}, } @inproceedings{21010, author = {{Brüdgam, S. and Meschut, Gerson}}, booktitle = {{DVS-Berichte, Band 218}}, isbn = {{ISBN 3-87155-676-9}}, location = {{Bejing, P.R. China}}, pages = {{191--200}}, title = {{{Material technologies und joining techniques for multi material car body structures}}}, volume = {{218}}, year = {{2001}}, } @article{23731, abstract = {{ On 22 May 2000, the factorization of a pseudorandom polynomial of degree 1 048 543 over the binary field Z 2 was completed on a 4-processor Linux PC, using roughly 100 CPU-hours. The basic approach is a combination of the factorization software BIPOLAR and a parallel version of Cantor's multiplication algorithm. The PUB-library (Paderborn University BSP library) is used for the implementation of the parallel communication. }}, author = {{Bonorden, Olaf and von zur Gathen, Joachim and Gerhard, Jürgen and Müller, Olaf}}, issn = {{0163-5824}}, journal = {{ACM SIGSAM Bulletin}}, pages = {{16--18}}, title = {{{Factoring a binary polynomial of degree over one million}}}, doi = {{10.1145/504331.504333}}, year = {{2001}}, } @inproceedings{7889, abstract = {{In Requirements Engineering structural and functional requirements for a new software system are gathered, analyzed, and manifested. Unfortunately the connection between these aspects gets lost in the standard object oriented methodology and has to be re-established later on. Not only is this tedious work but the detection of conflicts and inconsistencies in early phases is hindered by the separation of static and dynamic aspects. We propose the use of graph transformations to specify the connection between these aspects. Based on what we call an integrated business model, consistency analysis at the requirements model level becomes possible. Keywords: UML, Unified Process, functional specifications, integrated business model, graph transformation 1 Introduction At the beginning of each software development there are several ideas or visions of what the system to be build should achieve. The techniques developed in the area of requirements engineering are concerned with gathering, structuring and integrating these different ideas for the new system. It is the goal of this process to achieve a set of reasonable and consistent requirements for the further development process. The main problem is the detection and resolution of inconsistencies and conflicts between competing requirements. The application of formal methods and notations promises to support this task by enabling automated analysis. Although multiple formal methods have been proposed by scientists (see e.g. [7] for a survey), the standard methodologies in object oriented software engineering still use very informal and imprecise techniques in this phase of the development process. In particular, what is missing is a coupling between the structural (data) description (captured in class diagrams) and the behavior of the system (captured in activity and use case diagrams). In this paper we will show how to improve this situation by giving use cases a precise description, thus achieving a coupling of the dynamic and static parts of the model. This allows to apply formal techniques of consistency analysis. The paper is organized as follows: Section 2 gives an introduction to the requirements analysis phase in the Unified Process (UP) and points out some weak points of this approach. We will advance the basic ideas presented in the UP by further elaborating the ideas of a business model and formalizing their notion in Section 3. Section 4 introduces use case diagrams and their new role in the context of the integrated business model. Section 5 extends the notion of views to structure the whole requirements model and the concluding Section 6 gives perspectives toward further work on this topic.}}, author = {{Hendrik Hausmann, Jan and Heckel, Reiko}}, booktitle = {{Proceedings of the GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit (2001), Wien (Österreich)}}, pages = {{595--599}}, publisher = {{Österreichische Computer Gesellschaft}}, title = {{{Use Cases as views: A formal approach to Requirements engineering in the Unified Process}}}, volume = {{1}}, year = {{2001}}, } @misc{34931, author = {{Lloyd, Geoffrey}}, booktitle = {{Revolutionen des Wissens. Von der Steinzeit bis zur Moderne}}, editor = {{Fried, Johannes and Süßmann, Johannes}}, isbn = {{978-3-406-47576-4}}, pages = {{96–115}}, publisher = {{C.H. Beck}}, title = {{{Wissenschaft und Gesellschaft in antiken Kulturen}}}, volume = {{1450}}, year = {{2001}}, }