Refine
Has Fulltext
- yes (33) (remove)
Year of publication
- 2015 (33) (remove)
Document Type
- Monograph/Edited Volume (33) (remove)
Is part of the Bibliography
- yes (33)
Keywords
- Armut (2)
- Forschungskolleg (2)
- Hasso Plattner Institute (2)
- Hasso-Plattner-Institut (2)
- Klausurtagung (2)
- Nachhaltigkeit (2)
- Ph.D. retreat (2)
- Schreibmethoden (2)
- Service-oriented Systems Engineering (2)
- Tourismus (2)
Institute
- Hasso-Plattner-Institut für Digital Engineering gGmbH (11)
- Netzwerk Studienqualität Brandenburg (sqb) (6)
- Institut für Umweltwissenschaften und Geographie (3)
- Kommunalwissenschaftliches Institut (2)
- WeltTrends e.V. Potsdam (2)
- Department Linguistik (1)
- Institut für Germanistik (1)
- Institut für Mathematik (1)
- Institut für Slavistik (1)
- MenschenRechtsZentrum (1)
Babelsberg/RML
(2015)
New programming language designs are often evaluated on concrete implementations. However, in order to draw conclusions about the language design from the evaluation of concrete programming languages, these implementations need to be verified against the formalism of the design. To that end, we also have to ensure that the design actually meets its stated goals. A useful tool for the latter has been to create an executable semantics from a formalism that can execute a test suite of examples. However, this mechanism so far did not allow to verify an implementation against the design.
Babelsberg is a new design for a family of object-constraint languages. Recently, we have developed a formal semantics to clarify some issues in the design of those languages. Supplementing this work, we report here on how this formalism is turned into an executable operational semantics using the RML system. Furthermore, we show how we extended the executable semantics to create a framework that can generate test suites for the concrete Babelsberg implementations that provide traceability from the design to the language. Finally, we discuss how these test suites helped us find and correct mistakes in the Babelsberg implementation for JavaScript.
Welche mobilen internetfähigen Geräte Studierende der Universität Potsdam nutzen und in welchem Rahmen dies geschieht, soll die hiermit vorgelegte Untersuchung aufzeigen.
Im Sommersemester 2014 hat die AG eLEARNiNG der Universität Potsdam unter 290 Studierenden unterschiedlicher Fachrichtungen eine Umfrage zum Umgang mobilen, internetfähigen Endgeräten durchgeführt, um das E-Learning-Angebot den Bedürfnissen der Studierenden entsprechend anpassen und weiterentwickeln zu können. Um einen Vergleich zwischen verschiedenen Studiengängen und -standorten ziehen zu können, wurde die Befragung mit Studierenden in Veranstaltungen mit konträren Parametern (Studienfach, Semesterzahl, Universitätsstandort) durchgeführt.
Seit Mitte der 1990er Jahre werden in Windhoektouristische Besichtigungstouren durch das ehemalige Township Katutura angeboten. Damit war der Städtetourismus in der namibischen Hauptstadt recht früh Teil eines Trends, der zu Beginn desselben Jahrzehnts – ausgehend vom Nachbarland Südafrika – einsetzte: die touristische Inwertsetzung städtischer Armutsviertel. Dieses häufig als „Slum- oder Armutstourismus“ bezeichnete Phänomen sorgt seit seiner Entstehung nicht nur für einiges mediales Aufsehen und eine öffentliche Empörung, sondern das Global Slumming wird in den letzten Jahren auch immer mehr zum Gegenstand wissenschaftlicher Forschung. Der Slumtourismus bietet den Anlass neu über das Verhältnis von Armut und Tourismus im weltgesellschaftlichen Kontext nachzudenken.
Diese Publikation ist das Ergebnis eines Studienprojekts des Instituts für Geographie der Universität Osnabrück. Sie ist die erste umfangreichere empirische Fallstudie zum Townshiptourismus in Namibia.