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 30 for “"Formal Method"”.
-
Complete safety software testing : a formal method
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Nuclear Engineering, 1996.
-
A Formal Method to Analyze Framework-Based Software
… tractable. Specifically, by choosing meaningful, formal abstractions for interfaces and then designing according to those interfaces, one can verify entire systems according to behavioral predicates. While impractical for systems in general, framework-based software architectures are a type of …
-
Nesting Automated Design Modules In An Interconnected Framework
<p>This thesis seeks to extend the PDG methodology by developing a generalized formal method for nesting PDGs in an interconnected system. A procedure for decomposing an individual PDG into reusable modules will be defined and a software architecture will be presented which takes advantage of these …
-
An Extensionalist Approach to Ontological Commitment: Why Quine is Mostly Right
<p>A criterion of ontological commitment is a formal method for determining what objects or entities a theory says exists. The most famous criterion of ontological commitment was developed by W.V.O. Quine. However, Quine's criterion has been attacked for presumably not meeting his own standards for …
-
Organizational and social challenges in the implementation of interdisciplinary postgraduate curricula
… to support or inhibit such initiatives. The formal method of research is the case study; two case studies are made for comparative purposes. The data collected for this study suggests that both cases experienced some difficulty as a result of the social and epistemological differences which …
-
A wireless wide area network PDA application for on-call ambulatory care physicians
… to determine user requirements, implemented a formal method (not previously used within the PHS Information Systems division) to create a Software Requirements Specification (SRS), and developed a prototype user interface for a future LMR2go application (a mobile adjunct for the ambulatory care …
-
Ontological approach for database integration
… our approach exploits the Semantic Web methodology. The hybrid ontology method can be facilitated in solving the database integration problem. In this method two elements are available; the source (database) and the domain ontology, however, the local ontology is missing. In fact, to …
-
Automatic generation of test cases and anticipated test outcome based on a tabular design specification
… specification is considered as a "practical" formal method, since it is a method that software developers can easily learn and apply without much mathematical background. The tabular design specification is parsed and test cases are generated based on the boundary value analysis. The …
-
System theoretic process analysis of electric power steering for automotive applications
… to a higher level. Although traditional methods of Product Development Failure Mode identification such as FMEA (Failure Mode and Effect Analysis) or FTA (Fault Three Analysis) have been used to analyze failures in automotive systems, there are limitations when it comes to design errors, …
-
Cost estimation of functional and physical changes made to complex systems
… to historical cost data. Unfortunately, this method is unable to effectively communicate the increasing complexity of system design to cost data. Additionally, current cost estimation techniques have had a historical inability to produce credible and explainable results. It is often considered …
-
XFM: An Incremental Methodology for Developing Formal Models
We present a methodology of an agile formal method named eXtreme Formal Modeling (XFM) recently developed by us, based on Extreme Programming concepts to construct abstract models from a natural language specification of a complex system. In particular, we focus on Prescriptive Formal Models (PFMs) …
-
Verification of DMAC Device Driver Operations in HOL4
… will be accessed. This thesis also provides a formal method to verify that a loop terminates under all possible cases. This can be used to further verify the correctness of a DMA driver. These contributions allow for the overall increased security of memory when using DMA device drivers that …
-
Towards secure web browsing
… secure these systems even further, including formal methods and heuristics. The first system we build is called the Illinois Browser Operating System (IBOS). IBOS is an operating system co-designed with a new browser that reduces the trusted computing base for web browsing. We demonstrate that …
-
Formal Design Concept And Participant Behavior Analysis For Crowdsourcing Design
… and concept generation by crowds. However, few formal methods are available to extract and evaluate design concepts from the activities of the design crowd. Scarcity of information and non-guaranteed quality of contributions are often challenges to be tackled. To overcome the challenges, the …
-
Viscous Fluid Flow in Bifurcating Channels and Pipes
… first part of the thesis we therefore present a formal method of computing the pressure drop and the flux based on Poiseuille flow. In contrast to the existing literature, we also analyze the influence of the bifurcation geometry on the fluid flow by introducing local Stokes problems in the …
-
A formal methodology for the verification of concurrent systems
… applications. A response to this is the use of formal methods for the specification and verification of safety critical control systems. These provide a mathematical representation of a system which permits reasoning about its properties. This thesis investigates the use of the formal method …
-
An evaluation model for career information delivery systems
… The data for this study was collected by three methods: (1) a questionnaire to obtain user reactions and demographic information, (2) a questionnaire to obtain site information and, (3) on site interviews with structured questions to gather information in a less formal method. The purpose of …
-
The differential calculus as the model of desire in French fiction of the seventeenth and eighteenth centuries
… the localization of a point as a limit of a formal procedure, such as the maximum achieved by a curve. Under such localization, the imperfection of a mechanical measurement is corrected by the exact determination of the formal method. The actual physical contact of the scientist with his …
-
A Model-Driven Architecture based Evolution Method and Its Application in An Electronic Learning System
… for evolving development and reengineering methods. The main steps for MDA are to establish models in different levels and phases, therefore to solve the challenges of requirement and technology change. However, there is only a standard established by Object Management Group (OMG) but …
-
An environmental evaluation methodology for improving resource allocation decisions : a treatise with selected South African case studies
… - aim was to develop a reliable and practical method for evaluating those resource allocation proposals which are particularly controversial. As part of the philosophical framework, a modification of the social welfare function is specified which explicitly addresses the well-being of future …
Page 1 of 2