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 2054 for “"Specifications."”.
-
Matching Spec# Specifications
… tool automatically identifies whether the two specifications are similar, and gives out a new Spec# program which needs to be verified. There are levels of standards to judge how similar these two Spec# programs’ specification is. This work contributes to the area of code reuse via match …
-
Writing and animating Z specifications.
… involved in writing and demonstrating formal specifications of information systems written in Z. The use of Z in software development, to enhance productivity and improve software quality, is not without its problems. Whilst the notation itself is highly developed, ways of systematically using …
-
Incremental Validation of Formal Specifications
… 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 technique can …
-
Executing Quantifiers in FASE Specifications
… is a system for writing and testing data type specifications based upon a method known as final algebra specification. FASE specifications are highly abstract, yet to a great extent executable. The difficulty with executing FASE specifications arises from the inclusion of unrestricted …
-
Protocol engineering from Estelle specifications
… protocol system directly from formal specifications in the ISO specification language Estelle, a general-purpose Pascal-based language with support for concurrent processes in the form of communicating extended finite-state machines. The thesis begins with an overview of protocol …
-
Executable specifications for Java programs
… a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, written in first-order relational logic with transitive closure, and the imperative language for this purpose is Java. By being able …
-
Visualization feedback from informal specifications
… Generator that graphically models digital system specifications expressed in English. This research is part of the ASPIN project which has a long-term goal of providing an automated system for digital system synthesis from informal specifications. Because of the versatility of the English …
-
Prototyping Z specifications in extended Lisp.
Much research has identified shortcomings in the Requirements Description to be the key factor in the failure of many software development projects; the development of formal specification techniques and notations allows the unambiguous statement of requirements, against which an implementation can …
-
From Legal Contracts to Formal Specifications
… such outcome-critical software. Instead, formal specifications are crucial for implementing smart contracts to ensure they capture the intentions of stakeholders, also that their execution is compliant with the terms and conditions of the original natural-language legal contract. This thesis …
-
Learning Program Specifications from Sample Runs
… is correct is the availability of precise specifications that describe a program's intended behaviors. Generating these specifications manually is a challenging, often unsuccessful, exercise; unfortunately, existing static analysis techniques often produce poor quality specifications that …
-
Debugging Logic Programs Using Executable Specifications
This dissertation addresses the use of executable specifications in debugging logic programs which are renowned for their clean syntax and well-understood semantics, and for the feature that one can use a single language for both specification and computation. We have formulated a computer model …
-
An Organizational Model for Design Specifications
Made available in DSpace on 2014-12-10T22:22:10Z (GMT). No. of bitstreams: 1 7414593.pdf: 8392471 bytes, checksum: d7732a79adfbec4a3a6e451d25feaebe (MD5) Previous issue date: 1974
-
Intelligent assistance in formalizing software specifications
… code. However, the process of deriving software specifications from informal requirements is tedious, error-prone, time-consuming, and expensive. Hence automated support is needed to reduce the cost and improve the quality of software specifications.
-
Optimal planning with temporal logic specifications
… goals and constraints, called the "mission specifications," and asked to navigate the UAVs such that the mission specifications are fulfilled. A crucial part in designing such multiple-UAV systems is the development of coordination and planning algorithms that, given a set of high-level …
-
Improving test suites via generated specifications
Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002.
-
Runtime verification of object lifetime specifications
… runtime verification system for object lifetime specifications. This system is used to explore and evaluate the expressiveness object lifetime specifications. Object lifetime specifications are program annotations that indicate, in terms of program execution, when objects should be reclaimed. …
-
Using specifications to check source code
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.
-
Development of Concrete Shrinkage Performance Specifications
… development of concrete shrinkage performance specifications that limit the amount of drying shrinkage for concrete mixtures typically used by the Virginia Department of Transportation (VDOT) were assessed. Five existing shrinkage prediction models were also assessed to determine the accuracy …
Page 1 of 103