In der magnetischen Formgedächtnislegierung Ni-Co-Mn-In kann eine reversible Umwandlung von einer niedrigsymmetrischen, para- oder antiferromagnetischen Phase (Martensit) in eine hochsymmetrische ferromagnetische Phase (Austenit) sowohl durch eine Temperaturerhöhung als auch durch das Anlegen eines Magnetfelds induziert werden. Da dünne Schichten sich als interessantes Modellsystem für magnetische Formgedächtnislegierungen erwiesen haben, wird diese Umwandlung und der mit ihr verbundene inverse magnetokalorische Effekt an epitaktischen Ni-Co-Mn-In-Schichten untersucht. Die Temperatur des Substrats während der Herstellung wird als entscheidender Parameter für die Zusammensetzung und chemische Ordnung der Schicht identifiziert. Untersuchungen der Struktur mittels Röntgenbeugung zeigten, in Übereinstimmung mit dem Konzept des adaptiven Martensits, die Koexistenz von Austenit, moduliertem und nichtmoduliertem Martensit bei Raumtemperatur. Dieses Ergebnis wird durch Gefügeabbildungen untermauert. Die Transformation wird sowohl durch temperaturabhängige Röntgenbeugung als auch durch temperatur- und feldabhängige Magnetisierungsmessungen untersucht. Die berechnete Änderung der magnetischen Entropie ist etwa halb so groß wie in massivem Ni-Co-Mn-In. Schließlich wird bei tiefen Temperaturen eine unidirektionale Austauschkopplung zwischen Restaustenit und Martensit nachgewiesen, die auf einen antiferromagnetischen Martensit schließen lässt. / The magnetic shape memory alloy (MSMA) Ni-Co-Mn-In shows a reversible transformation from a para- or antiferromagnetic low symmetry phase (martensite) into a ferromagnetic phase of high symmetry (austenite). This transformation can either be induced by raising the temperature or applying a magnetic field. Since thin films have be shown to be an interesting model system for MSMAs, this transformation and the associated inverse magnetcaloric effect are investigated in epitaxial Ni-Co-Mn-In films. The temperature of the substrate during deposition is identified as the essential parameter controlling both composition and chemical order. By studying structure using x-ray diffraction (XRD) the coexistence of austenite and modulated (14M) as well as nonmodulated martensite (NM) is shown. Coexistence of NM and 14M is also visible in micrographs of the films surface. This confirms results obtained for epitaxial Ni-Mn-Ga and validates the concept of adaptive martensite in this alloy. The transformation is investigated by temperature-dependent XRD and temperature- and field-dependent magnetometry. A positive change in entropy is calculated which is about half compared to bulk. Finally, an exchange bias between residual austenite and martensite is observed, which suggests an antiferromagnetic order in the martensitic state.

This paper presents a piece of software to automatically extract requirements captured in Microsoft Word files while using domain knowledge. In a subsequent step, these requirements are enhanced for implementation purposes and ultimately saved to ReqIF, an XML-based file format for the exchange of specification documents. ReqIF can be processed by a wide range of industry-standard requirements management tools. By way of this enhancement a formalization of both the document structure and selected elements of its natural language contents is achieved. In its current version, the software was specifically developed for processing the Subset-026, a conceptually demanding specification document covering the core functionality of the pan-European train protection system ETCS. Despite this initial focus, the two-part design of this thesis facilitates a generic applicability of its findings: Section 2 presents the fundamental challenges of weakly structured specification documents and devotes a large part to the computation of unique, but human-readable requirement identifiers. Section 3, however, delves into more domain-specific features, the text processing capabilities, and the actual implementation of this novel software. Due to the open-source nature of the application, an adaption to other use-cases can be achieved with comparably little effort. / Diese Arbeit befasst sich mit einer Software zur automatisierten Extraktion von Anforderungen aus Dokumenten im Microsoft Word Format unter Nutzung von Domänenwissen. In einem nachgelagerten Schritt werden diese Anforderungen für Implementierungszwecke aufgewertet und schließlich als ReqIF, einem XML-basierten Dateiformat zum Austausch von Spezifikationsdokumenten, gespeichert. ReqIF wird von zahlreichen branchenüblichen Anforderungsmanagementwerkzeugen unterstützt. Durch die Aufwertung wird eine Formalisierung der Struktur sowie ausgewählter Teile der natürlichsprachlichen Inhalte des Dokuments erreicht. Die jetzige Version der Software wurde speziell für die Verarbeitung des Subset-026 entwickelt, eines konzeptionell anspruchsvollen Anforderungsdokuments zur Beschreibung der Kernfunktionalität des europaweiten Zugsicherungssystems ETCS. Trotz dieser ursprünglichen Intention erlaubt die zweigeteilte Gestaltung der Arbeit eine allgemeine Anwendung der Ergebnisse: Abschnitt 2 zeigt die grundsätzlichen Herausforderungen in Bezug auf schwach strukturierte Anforderungsdokumente auf und widmet sich dabei ausführlich der Ermittlung von eindeutigen, aber dennoch menschenlesbaren Anforderungsidentifikatoren. Abschnitt 3 befasst sich hingegen eingehender mit den domänenspezifischen Eigenschaften, den Textaufbereitungsmöglichkeiten und der konkreten Implementierung der neuen Software. Da die Software unter open-source Prinzipien entwickelt wurde, ist eine Anpassung an andere Anwendungsfälle mit relativ geringem Aufwand möglich.