Suche
Anzeige der Dokumente 1721-1730 von 1738
Dissertation
Managing Quality Properties of Web Service Compositions
(2015-04-28)
Web services from different partners can be combined to applications that realize a more complex business goal. Such applications built as Web service compositions define how interactions between Web services take place in order to implement the business logic. Web service compositions not only have to provide the desired functionality but also have to comply with certain Quality of Service (QoS) levels. Maximizing the users' satisfaction, also reflected as Quality of Experience (QoE), is a primary goal to be achieved ...
Dissertation
Story Driven Web Applications
(2016-12-15)
Kern der vorliegenden Arbeit ist die Modellierung komplexer Webapplikationen mit dem Story-Driven-Modeling Ansatz.Ziel ist es hierbei,die komplette Applikation allein durch die Spezifikation von Modellen zu entwickeln. Das händische Erstellen von Quelltext ist nicht notwendig. Die vorliegende Arbeit zeigt sowohl den Forschungsweg, der die angestrebte Modellierung von Webapplikationen ermöglicht, als auch die resultierenden Ergebnisse auf. Zur Unterstützung des Entwicklungsprozesses wird weiterhin ein modellgetriebener ...
Dissertation
Relations and Transductions Realized by Restarting Automata
(2013-10-09)
Gegenstand der vorliegenden Arbeit ist die Analyse verschiedener Formalismen zur Berechnung binärer Wortrelationen. Dabei ist die Grundlage aller hier ausgeführten Betrachtungen das Modell der Restart-Automaten, welches 1995 von Jancar et. al. eingeführt wurde. Zum einen wird das bereits für Restart-Automaten bekannte Konzept der input/output- und proper-Relationen weiterführend untersucht, sowie auf Systeme von zwei parallel arbeitenden und miteinander kommunizierenden Restart-Automaten (PC-Systeme) erweitert. Zum ...
Dissertation
Ordered Restarting Automata
(epubli, 2018-07-10)
In der folgenden Arbeit geht es um geordnete Restartautomaten. Restartautomaten sind ein theoretisches Modell, das in der Linguistik bei der Analyse durch Reduktion Verwendung findet. Die geordneten Restartautomaten wurden im Zusammenhang von zweidimensionalen Bildsprachen eingeführt und bilden das zugrundeliegende eindimensionale Modell.
Von diesem eindimensionalen Modell betrachten wir verschiedene Varianten und untersuchen und vergleichen hauptsächlich Sprachklassen und Beschreibungskomplexität. Eine Gemeinsamkeit ...
Technischer Report
Software Stories Guide
(2017-07-31)
Software Stories are a simple graphical notation for requirements analysis and design in agile software projects. Software Stories are based on example scenarios. Example scenarios facilitate the communication between lay people or domain experts and software experts.
Dissertation
Systems of Parallel Communicating Restarting Automata
(2013-07-31)
In der vorliegenden Dissertation werden Systeme von parallel arbeitenden und miteinander kommunizierenden Restart-Automaten (engl.: systems of parallel communicating restarting automata; abgekürzt PCRA-Systeme) vorgestellt und untersucht. Dabei werden zwei bekannte Konzepte aus den Bereichen Formale Sprachen und Automatentheorie miteinander vescrknüpft: das Modell der Restart-Automaten und die sogenannten PC-Systeme (systems of parallel communicating components).
Ein PCRA-System besteht aus endlich vielen ...
Dissertation
Instant Storyboarding
(2015-11-09)
This thesis aims at empowering software customers with a tool to build software tests them selves, based on a gradual refinement of natural language scenarios into executable visual test models. The process is divided in five steps:
1. First, a natural language parser is used to extract a graph of grammatical relations from the textual scenario descriptions.
2. The resulting graph is transformed into an informal story pattern by interpreting structurization rules based on Fujaba Story Diagrams.
3. While the ...
Dissertation
Experimental Investigation of Augmented Electromagnetic Accelerators
(2017-03-03)
Elektromagnetische Schienenbeschleuniger verwenden elektrische Energie für die Beschleunigung von trägen Massen und erreichen Geschwindigkeiten, die mit konventionellen Beschleunigungstechnologien nur mit hohem Aufwand erreicht werden können. Die einfachste Konfiguration eines solchen Beschleunigers besteht aus zwei Schienen aus leitfähigem Material, die über eine gleitende Strombrücke elektrisch miteinander verbunden sind. Für die Beschleunigung der Strombrücke ist ein großer Strom erforderlich, der einige Mega-Ampere ...
Dissertation
Thermal Impacts on Building Integrated Photovoltaic (BIPV) (Electrical, Thermal and Mechanical Characteristics)
(2015-06-16)
Ein Drittel des weltweiten gesamten Energiebedarfs wird durch Gebäude verbraucht. Um diesen Energiebedarf teilweise zu decken, den erheblichen Energieverbrauch zu reduzieren und weiterhin andere Gebäudefunktionen beizubehalten, ist Gebäudeintegrierte Photovoltaik (BIPV) eine der am besten geeigneten Lösungen für die Gebäudenanwendung. Im Bezug auf eine Vielzahl von Gestalltungsmöglichkeiten, sind die Randbedingungen der BIPV-Anwendungen eindeutig anders im Vergleich zu Standard-PV-Anwendungen, insbesondere bezüglich ...
Technischer Report
20. Theorietag der GI-Fachgruppe "Automaten und Formale Sprachen"
(2010-11-05)
Die Fachgruppe AFS (früher Fachgruppe 0.1.5) der Gesellschaft für Informatik
veranstaltet seit 1991 einmal im Jahr ein Treffen der Fachgruppe im Rahmen eines Theorietags, der traditionell eineinhalb Tage dauert. Seit dem Jahr 1996 wird dem eigentlichen Theorietag noch ein eintägiger Workshop zu speziellen Themen der theoretischen Informatik vorangestellt.
In diesem Jahr wurde der Theorietag vom Fachgebiet "Theoretische Informatik"
des Fachbereichs Elektrotechnik/Informatik der Universität Kassel organisiert. Er ...