Suche
Anzeige der Dokumente 61-64 von 64
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 ...
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 ...
Dissertation
A Modeling Analysis of Changing Global Land Use as affected by Changing Demands for Wood Products
(2010-01-08)
The 21st century has brought new challenges for forest management at a time when globalization in world trade is increasing and global climate change is becoming increasingly apparent. In addition to various goods and services like food, feed, timber or biofuels being provided to humans, forest ecosystems are a large store of terrestrial carbon and account for a major part of the carbon exchange between the atmosphere and the land surface. Depending on the stage of the ecosystems and/or management regimes, forests ...