@article{19195, author = {{Seng, Eva- Maria}}, journal = {{MUT. Forum für Kultur, Politik und Geschichte, Nr.407, Juli 2001}}, number = {{Nr. 407}}, pages = {{18--27}}, title = {{{Vom Kristallpalast zum gläsernen Menschen}}}, year = {{2001}}, } @inproceedings{18152, abstract = {{Computing the spectral decomposition of a normal matrix is among the most frequent tasks to numerical mathematics. A vast range of methods are employed to do so, but all of them suffer from instabilities when applied to degenerate matrices, i.e., those having multiple eigenvalues. We investigate the spectral representation's effectivity properties on the sound formal basis of computable analysis. It turns out that in general the eigenvectors cannot be computed from a given matrix. If however the size of the matrix' spectrum (=number of different eigenvalues) is known in advance, it can be diagonalized effectively. Thus, in principle the spectral decomposition can be computed under remarkably weak non-degeneracy conditions.}}, author = {{Ziegler, Martin and Brattka, Vasco}}, booktitle = {{Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA'2000)}}, isbn = {{9783540421979}}, issn = {{0302-9743}}, pages = {{378--388}}, title = {{{A Computable Spectral Theorem}}}, doi = {{10.1007/3-540-45335-0_23}}, volume = {{2064}}, year = {{2001}}, } @inproceedings{7884, abstract = {{Object-oriented modeling favors the modeling of object behavior from different viewpoints and at different levels of abstraction. This gives rise to consistency problems between overlapping or semantically related submodels. The absence of a formal semantics for the UML and the numerous ways of employing the language within the development process lead to a number of different consistency notions. Therefore, general meta-level techniques are required for specifying, analyzing, and communicating consistency constraints. In this paper, we discuss the issue of consistency of behavioral models in the UML and present techniques for specifying and analyzing consistency. Using meta-model rules we transform elements of UML models into a semantic domain. Then, consistency constraints can by specified and validated using the language and the tools of the semantic domain. This general methodology is exemplified by the problem of protocol statechart inheritance.}}, author = {{Engels, Gregor and Heckel, Reiko and Küster, Jochen}}, booktitle = {{Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada)}}, pages = {{272--287}}, publisher = {{Springer}}, title = {{{Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model}}}, doi = {{http://dx.doi.org/10.1007/3-540-45441-1_21}}, volume = {{2185}}, 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}}, } @inproceedings{7891, author = {{Heckel, Reiko and Sauer, Stefan}}, booktitle = {{Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)}}, pages = {{109--123}}, publisher = {{Springer}}, title = {{{Strengthening UML Collaboration Diagrams by State Transformations}}}, doi = {{http://dx.doi.org/10.1007/3-540-45314-8_9}}, volume = {{2029}}, year = {{2001}}, } @inproceedings{8357, author = {{Depke, Ralph and Heckel, Reiko and Küster, Jochen}}, booktitle = {{Proceedings of the First international workshop on Agent-oriented software engineering (AOSE 2000), Limerick (Ireland)}}, pages = {{105--120}}, publisher = {{Springer}}, title = {{{Agent-oriented Modeling with Graph Transformation}}}, doi = {{http://dx.doi.org/10.1007/3-540-44564-1_7}}, volume = {{1957}}, year = {{2001}}, } @inbook{16493, author = {{Meyer auf der Heide, Friedhelm}}, booktitle = {{Graph-Theoretic Concepts in Computer Science}}, isbn = {{9783540427070}}, issn = {{0302-9743}}, title = {{{Data Management in Networks}}}, doi = {{10.1007/3-540-45477-2_2}}, volume = {{2204}}, year = {{2001}}, } @inbook{16494, author = {{Meyer auf der Heide, Friedhelm and Wanka, Rolf}}, booktitle = {{Computational Science - ICCS 2001}}, isbn = {{9783540422334}}, issn = {{0302-9743}}, title = {{{Parallel Bridging Models and Their Impact on Algorithm Design}}}, doi = {{10.1007/3-540-45718-6_68}}, year = {{2001}}, } @book{16722, editor = {{Meyer auf der Heide, Friedhelm}}, isbn = {{9783540424932}}, issn = {{0302-9743}}, publisher = {{Springer }}, title = {{{Algorithms — ESA 2001, 9th Annual European Symposium Århus, Denmark}}}, doi = {{10.1007/3-540-44676-1}}, year = {{2001}}, } @misc{34770, author = {{Süßmann, Johannes}}, booktitle = {{Historische Zeitschrift}}, pages = {{764 f.}}, title = {{{[Rez. v.] Marcus Weidner: Landadel in Münster 1600–1780. Stadtverfassung, Standesbehauptung und Fürstenhof. 2 Teilbde. (Quellen und Forschungen zur Geschichte der Stadt Münster, NF., Bd. 18/1 u. 2.) Münster, Aschendorff 2000}}}, doi = {{https://doi.org/10.1524/hzhz.2001.272.jg.667}}, volume = {{272}}, 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}}, } @misc{34930, author = {{Goody, Jack R.}}, booktitle = {{Revolutionen des Wissens. Von der Steinzeit bis zur Moderne}}, editor = {{Fried, Johannes and Süßmann, Johannes}}, isbn = {{3-406-475760-0}}, pages = {{40–55}}, publisher = {{C.H. Beck}}, title = {{{Wissen und die Arten seiner Weitergabe}}}, volume = {{1450}}, year = {{2001}}, } @inbook{34929, author = {{Fried, Johannes and Süßmann, Johannes}}, booktitle = {{Revolutionen des Wissens. Von der Steinzeit bis zur Moderne}}, editor = {{Fried, Johannes and Süßmann, Johannes}}, isbn = {{3-406-475760-0}}, pages = {{7–20}}, publisher = {{C.H. Beck}}, title = {{{Revolutionen des Wissens – eine Einführung}}}, volume = {{1450}}, year = {{2001}}, } @book{34784, editor = {{Fried, Johannes and Süßmann, Johannes}}, isbn = {{978-3-406-47576-4}}, keywords = {{Antikenrezeption, Griechenland, Ägypten, Vor- und Frühgeschichte, Babylon, Perser, Wissenschaftsgeschichte, Bewußtseinsphilosophie, Bloch, Ernst, Benjamin, Walter, Mündlichkeit, Schriftlichkeit}}, pages = {{192}}, publisher = {{C.H. Beck}}, title = {{{Revolutionen des Wissens. Von der Steinzeit bis zur Moderne}}}, volume = {{1450}}, year = {{2001}}, } @misc{34932, author = {{Aschheim, Steven E.}}, booktitle = {{Revolutionen des Wissens. Von der Steinzeit bis zur Moderne}}, editor = {{Fried, Johannes and Süßmann, Johannes}}, isbn = {{978-3-406-47576-4}}, pages = {{136–155 und 174–185}}, publisher = {{C.H. Beck}}, title = {{{Jenseits von Bildung und Liberalismus. Die radikale jüdische Erneuerungsbewegung in der Weimarer Republik}}}, volume = {{1450}}, year = {{2001}}, } @book{34421, author = {{Kamp, Hermann}}, title = {{{Friedensstifter und Vermittler im Mittelalter}}}, year = {{2001}}, } @inbook{36158, author = {{Kamp, Hermann}}, booktitle = {{Formen und Funktionen der Öffentlichkeit im Mittelalter}}, editor = {{Althoff, Gerd}}, pages = {{125--155}}, title = {{{Die Macht der Zeichen und Gesten bei Dudo von Saint-Quentin}}}, volume = {{51}}, year = {{2001}}, } @inbook{36157, author = {{Kamp, Hermann}}, booktitle = {{Otto der Große, Magdeburg und Europa. Ausstellungskatalog Magdeburg 2001}}, editor = {{Puhle, Matthias}}, pages = {{168--178}}, title = {{{Konflikte und Konfliktführung in den Anfängen der Regierung Ottos I.}}}, year = {{2001}}, } @inbook{36154, author = {{Kamp, Hermann}}, booktitle = {{Frühmittelalterliche Studien}}, pages = {{329--347}}, title = {{{Geld, Politik und Moral im hohen Mittelalter}}}, volume = {{35}}, year = {{2001}}, } @article{48782, author = {{Hartung, Olaf and Krause, Markus}}, issn = {{0343-4648}}, journal = {{Geschichte, Politik und ihre Didaktik}}, pages = {{206--214}}, publisher = {{Geschichtslehrer-Landesverbände Hessen, Niedersachsen, Nordrhein-Westfalen und Schleswig-Holstein im VGD}}, title = {{{Industriegeschichte erleben. Das Rheinische Industriemuseum als außerschulischer Lernort}}}, volume = {{3/4}}, year = {{2001}}, }