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 8254 for “"Formal"”.
-
Formal and Non-Formal Learning in Virtual Environments
L'abstract è presente nell'allegato / the abstract is in the attachment
-
Formal complications
This thesis is concerned with the experiential understanding of the everyday-tactile environment. From public to private, infrastructure to daily-use objects, the things that exist in the constructed environment around me compel my investigations of material, form, and function. Specifically, how …
-
Pre-Formal Spanish
No abstract prepared.
-
Formal specification based prototyping
… former is based on the execution of VDM-based formal specification notation META-IV; the latter is based on a textual representation of state transition diagrams. Dialogue development is further supported by a rich set of abstractions which allow interaction concepts to be specified and …
-
Formal Specification Driven Development
… a quantitative metric of investigating Formal Specification-Driven Development (FSDD). Formal specification is needed at the beginning of the development process to prevent ambiguity and to improve the quality through corrections of errors found in the late phases of a traditional design …
-
Implicit Programming and Formal Pragmatics
… paradigm called implicit programming to formally separate the notion of correctness (a semantic issue) from that of performance and resource usage during program execution (a pragmatic one). We shall show that this approach is sufficiently general to encompass approximate computing and …
-
FORMAL VERIFICATION-BASED PROGRAM REPAIR
Automated program repair has been an active research field in software engineering in the last decade. It aims to help developers automatically localize and fix program bugs, consequently reducing debugging efforts. Automated repair tools have been incorporated into continuous integration and code …
-
Formal convention in Verdi's Falstaff
… 1893) draws more explicitly on primo ottocento formal conventions for duets, arias, and central finales than scholars have previously argued. A description of those conventions (generally referred to as the solita forma) is followed by the analytical application of those conventions to selected …
-
Incremental Validation of Formal Specifications
… presents a tool for the mechanical validation of formal software specifications. The tool is based on a novel approach to incremental validation. In this approach, small-scale aspects of a specification are validated, as part of the stepwise refinement of a formal model. The incremental validation …
-
Formal Models of Fallible Knowledge
… the basis of the study, and later discuss their formalizations and how Holliday’s theory identifies and solves the problem. At the end I evaluate Holliday’s formalization of one of these theories of knowledge, namely Lewis’s theory, and argues that the model presented by Holliday is not entirely …
-
Formal verification-driven parallelisation synthesis
… one. This dissertation presents two novel formal verification-based methods for safely transforming a sequential program into a concurrent one. The first method---an instance of proof-directed synthesis---takes as the input a sequential program and its safety proof, as well as annotations …
-
Natural language and formal languages
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1997.
-
Computational soundness of formal adversaries
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, February 2003.
-
A formal methods safe harbor
… prosecution for manufacturers that use formal methods to guarantee safer, more secure devices. To motivate the potential of formal methods, we present a technical contribution: a formally verified connected lightbulb switch, proven immune to certain types of software exploits. We discuss …
-
Abstraction Guided Semi-formal Verification
Abstraction-guided simulation is a promising semi-formal framework for design validation in which an abstract model of the design is used to guide a logic simulator towards a target property. However, key issues still need to be addressed before this framework can truly deliver on it's promise. …
-
The material and the formal
… making in a material manner, as opposed to a formal one. Any selected material has certain physical properties; in the case of wood, one could posit that a certain species has a particular strength, hardness, and appearance. These properties influence our decision to work with a given species …
-
Formal system design for intelligent artifacts
… At the heart of this improvement is the proposed formalism 'Systematica 2D', suitable for both flexible description of system architectures as well as for functional design of the resulting system integration process. We motivate the approach and relate it to other formal descriptions by means of …
Page 1 of 413