- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 11 to 15 of 15 (0.013 seconds)Spelling suggestions: "subject:"eiffel"" "subject:"riffel""
| 11 |
A Unifying Theory of Multi-Exit ProgramsZhang, Tian 10 1900 (has links)
<p>Programs have multiple exits in the presence of certain control structures, e.g., exception handling and coroutines. These control structures offer flexible manipulations of control flow. However, their formalizations are overall specialized, which hinders reasoning about combinations of these control structures.</p> <p>In this thesis, we propose a unifying theory of multi-exit programs. We mechanically formalize the semantics of multi-exit programs as indexed predicate transformers, a generalization of predicate transformers by taking the tuple of postconditions on all exits as the parameter. We explore their algebraic properties and verification rules, then define a normal form for monotonic and for conjunctive indexed predicate transformers. We also propose a new notion of fail-safe correctness to model the category of programs that always maintain certain safe conditions when they fail, and a new notion of fail-safe refinement to express partiality in software development.</p> <p>For the indexed predicate transformer formalization, we illustrate its applications in three models of multi-exit control structures: the termination model of exception handling, the retry model of exception handling, and a coroutine model. Additionally, for the fail-safe correctness notion and the fail-safe refinement notion, we illustrate their applications in the termination model. Six design patterns in the termination model and one in the retry model are studied. All the verification rules and design patterns in the thesis have been formally checked by a verification tool.</p> / Doctor of Philosophy (PhD)
|
| 12 |
Tracing Integration Errors to Upstream Development Activities : An exploratory studyAndersson, Dennis, Artale, Jacques January 2023 (has links)
The Eiffel Protocol provides traceability downstream and upstream of all activities that transpire inside the CI/CD pipeline. The traceability achieved by the Eiffel Protocol comes with great benefits even though it does not cover all development activities as it pertains only to the CI/CD pipeline. Our research aims to explore the idea of extending the Eiffel Protocol to cover all activities and discuss what benefits could be seen, especially in the scope of reducing the number of integration failures. A literature study was first carried out to find the root causes of these failures. After the literature study, we conducted a focus group session to gather data about the potential benefits and problems of an extension, what analyses could be drawn, and how it can affect integration errors. Our results show that an extension is beneficial as analyses that can be made with the generated data can tackle some of the biggest issues found in software development teams, especially in larger organizations. The complexity, cost involved and the time needed to see a return on investment does however weigh it down. Thus, while it is beneficial it is not enough for organizations to consider it as a priority to integrate with their environments when thinking of the costs involved to do so. Further implementation solutions need to be researched before it shows its worth.
|
| 13 |
Kdevelop und glade - die Programme-BauerBecher, Mike 21 March 2000 (has links)
Werkzeuge für Entwickler
Eine Vielzahl von kleinen Helfern erleichtert den Programmierern die Arbeit. Neben make, configure und kommandozeilenorientierte Compiler treten mächtige Entwicklungswerkzeuge, mit denen sich in Windeseile Oberflächen erstellen lassen.
In diesem Vortrag werden der allgemeine Aufbau eines Software-Projektes unter Unix erläutert und die Leistungsfähigkeit der Entwicklungs-Tools am praktischen Beispiel vorgeführt.
|
| 14 |
Kdevelop und glade - die Programme-BauerBecher, Mike 21 March 2000 (has links)
Werkzeuge für Entwickler
Eine Vielzahl von kleinen Helfern erleichtert den Programmierern die Arbeit. Neben make, configure und kommandozeilenorientierte Compiler treten mächtige Entwicklungswerkzeuge, mit denen sich in Windeseile Oberflächen erstellen lassen.
In diesem Vortrag werden der allgemeine Aufbau eines Software-Projektes unter Unix erläutert und die Leistungsfähigkeit der Entwicklungs-Tools am praktischen Beispiel vorgeführt.
|
| 15 |
Tanztheater und filmische Ästhetik. Cineastische Einflüsse und Gestaltungsweisen in den Kompositionen für die Ballets Suédois 1920–1925Kolb, Fabian 29 October 2020 (has links)
The central role that avant-garde music and dance theatre played in the interplay and synthesis of the arts and media in the 1920s, particularly in Paris, is well known. However, the creative potential of ballet has hardly been recognized in its manifold relationships with film and cinematic-inspired expression. The extent to which especially ballet music interacted with the latest cinematographic principles and techniques and referred to cinematic aesthetics in a variety of ways can instructively be seen regarding the productions of the Ballets Suédois. This is discussed in this article with an exemplary look at Les Mariés de la Tour Eiffel (1921), Within the Quota (1923), Skating Rink (1922) and Relâche (1924). By that it becomes clear that the transmedia inclusion of cinematographic ideas not only inspired the vocabulary of avant-garde dance and modern choreography, but was also distinctively reflected in the conception and composition of film-affected music.
|
Page generated in 0.0178 seconds