Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 31 for “"Formal techniques"”.
-
Development of real-time process control systems using formal techniques
… a lack of standardised software development formalisms for the system (controller) development, particular at early stage of the system design cycle. This research forms part of a larger research programme which is concerned with the development of real-time process-control systems in which …
-
Influence of formal techniques and design fixation on idea generation tasks in engineering practice
… engineers, who generally do not often use formal idea generation techniques, and instead usually conform to what is considered best practice at their respective organizations. This thesis is structured to answer two research questions. Does a formal technique improve idea generation …
-
Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models
Formally-based design and implementation techniques for complex safety-critical embedded systems are required not only to handle the complexity, but also to provide correctness guarantees. Traditional design approaches struggle to cope with complexity, and they generally require extensive testing …
-
"The Sudden Thrill of That Change": Framing George Eliot's Social Vision
… British culture, the devices and techniques Eliot employs in the transmission of those ideas remain less explored. Consequently, room exists for a study as attentive to the formal characteristics of Eliot's messages as recent scholars have been to the content of those messages. …
-
The development of hard real-time systems using a formal approach
… manner. This thesis is concerned with developing formal techniques that allow the specification, verification and design of hard real-time systems. Formal techniques for hard real-time systems must be capable of capturing the system's functional and performance requirements, and previous work has …
-
Techniques for specification and validation of complex protocols
… more complex, or more people get involved. Formal Description Techniques (FDTs) have been developed to convey this information clearly and unambiguously (and as a basis for correctness verification) but FDT-based specifications tend to be long and hard to follow. In order to help the user …
-
A modular rewriting approach to language design, evolution and analysis
… complex computational abstractions. The need for formal techniques to help better understand the languages we use, correctly design new language abstractions, and reason about the behavior and correctness of programs is now more urgent then ever. In this dissertation we focus on research in …
-
"Neither Believer nor Infidel" Dialogic Portraits of Agnostic and Pragmatic Methodologies in Moby-Dick and Clarel
… scholarship carefully analyzes the innovative formal techniques used by Melville, such as biblical allusion, digressive essays, and philosophical musings imbedded in fiction. However, religious analysis often turns to biographical interpretations of Melville’s own beliefs, and formal analysis …
-
Other: Poems
… that is emotionally based but relies on formal techniques and controlled elements in order to maintain distance. My primary goal in the critical introduction is to link my poems to the Personal Classicist lineage, which includes H.D., Elizabeth Bishop, and Louise Gluck – to whom I will …
-
Formal failure analyses for effective fault management: an aerospace perspective
… deal with. In this dissertation we consider two techniques to analyze the nature and impact of faults on system dynamics, which is fundamental to reliably manage them. Timed failure propagation analysis studies how and how fast faults propagate through physical and logical parts of a system. We …
-
Not real but true : evolution in form and theme in Alice Munro's Lives of girls and women, The progress of love, and Open secrets
… narrative style reveals a rich combination of formal techniques that has evolved to reflect the author's increasingly complex artistic vision. While the author consistently explores questions of female identity and the nature of reality, her focus is shown to widen from a close-up on one …
-
Exploring Intimacy and Authenticity in Greek Folk Music Documentaries: A Hybrid Form of Ethnographic Filmmaking
… of autoethnography, reflective practice, and formal film craft. It identifies a novel methodological framework that integrates the filmmaker’s personal experiences with formal cinematic techniques, creating documentaries that resonate with cultural authenticity. Guided by the overarching …
-
An investigation into appraisal methods for industrial projects
… were extracted using a number of statistical techniques, such as Analysis of Variance, Contingency Analysis and Log-linear Modelling. The results of this analysis were then used to complement the conclusions of literature and to confirm the preferred approach to project appraisal. The …
-
An evaluation of three user-system interface specification techniques
… Four categories of tools were surveyed: semi-formal techniques, Backus-Naur Form grammars, programming languages, and transition networks. An engineering tradeoff analysis was performed based on four pragmatic criteria: understandability, efficiency, expressive power, and fidelity. The results …
-
A model checker for statecharts (linking case tools with formal methods)
… development process. They often use graphical formalisms, simulation, and prototyping to help express ideas concisely and unambiguously. Some tools provide little more than syntax checking of the specification but others can test the model for reachability of conditions, nondeterminism, or …
-
Ears Taut to Hear: Sound Recording and Twentieth-Century American Literature
… across a number of genres and modes extended formal techniques in response to the advent of the phonograph, tape, and LPs. I contend that the development of sound recording technology not only shaped many of the formal innovations that we now associate with modernism, but that it compelled …
-
Verification of information flow security in cyber-physical systems
… the system and associated cyber control. While formal techniques of verifying cyber security exist, they are not directly applicable to CPSs due to their inherent complexity and diversity. This Ph.D. research primarily focuses on developing a uniform framework using formal tools of process …
-
Five ‘Exits’ from Brecht: Towards New Brechtian Subjectivities in Film. How can Brechtian v-effekts be developed or adapted in the light of contemporary understandings of subjectivity?
… the limitations of the continued use of formal critical methods in the Brechtian tradition. For this reason, my films have incorporated various non-Brechtian techniques to both supplement and subvert the assumptions of Brechtian theory. This thesis interrogates traditional Brechtian …
-
A structured approach to network security protocol implementation
… analysis, employing state space examination techniques such as model checking and strand spaces, to verify security protocols. Tools, such as the multi-dimensional analysis environment SPEAR II, exist to help automate security protocol specification and verification, however actual …
-
The world is a window
… This thesis attempts to analyze and employ the formal techniques used by Parajanov, in order to create an architecture framing and framed around the poems and songs written by the famous ashough. Sited at the tripoint where the three countries meet, it aspires to serve as a point of convergence …
Page 1 of 2