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 73 for “"Formal specification"”.
-
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 …
-
Formal specification of a specification library
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1982.
-
Formal Specification of the Moebius Modeling Framework
… its usefulness by showing mappings from many formalisms into the framework. We also address some fundamental issues in the field of modeling of discrete-event systems, namely an efficient well-specified checker and a general, structured execution policy. Finally, we have developed a formalism …
-
Investigating the readability of formal specification languages
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2001.
-
Formal Specification and Rule-Based Refinement of Software Components
… Software-Entwicklung benötigt formale Konzepte und Modellierungstechniken, da die hohe Komplexität solcher Systeme häufig die Konsistenz dieser beeinträchtigt. Diese Komplexität resultiert im Wesentlichen aus der nichtdeterminierten und nebenläufigen Interaktion der Komponenten …
-
Extending a formal specification & requirements language : a case study
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001.
-
Formal Specification and Verification of Data-Centric Web Services
In this thesis, we develop and evaluate a formal model and contracting framework for data-centric Web services. The central component of our framework is a formal specification of a common Create-Read-Update-Delete (CRUD) data store. We show how this model can be used in the formal specification …
-
Integrating formal specification and verification methods in software development
… and has two major components: the design of the specification transition paradigm for software development and the theoretical study of the system specification phase in the paradigm. First, after an extensive analysis and comparison of various formalisms, a paradigm for integrating various …
-
A formal specification based approach to feature interaction: Application with Prolog.
… method is based on the lattice of relational specifications; a system is defined by the conjunction of the features and feature interaction is detected when such a conjunction does not exist. After reading this thesis a reader should be able to specify a simple system and detect interactions …
-
A demonstration of a formal specification & requirements language : a case study
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001.
-
Formal specification techniques for promoting software modularity, enhancing documentation, and testing specifications
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.
-
Formal Specification and Runtime Verification of Parallel Systems using Interval Temporal Logic (ITL)
… model at runtime. I achieve this via a formal Tempura specification of the cache controller which is then verified at runtime against my objectives for memory consistency and cache coherence using AnaTempura. The presented specifications allow to extend it allow to extend it to not only …
-
Methodology for the formal specification of RTL RISC processor designs (with particular reference to the ARM6)
… designs using natural languages rather than formal language exacerbates this because of the ambiguities inherent in natural language descriptions. Hence this thesis is concerned with the development of a scalable methodology for the creation of a formal description of synchronous processor …
-
Specification and implementation of the Larch shared language
This project aims to prototype formal specification in Larch. The motivation for looking at formal specifications stems from an appreciation of the problem outlined above, frustration with current methods, and a desire to practise what is preached. The aim is to implement a formal specification …
-
The Refinement of Formal Specifications Using Reusable Software Components in Ada95
This thesis documents research that enables formal specifications, written in the specification language Z, to be turned into high level code in fewer steps than other refinement techniques and without the need for formal proof. This method helps to overcome one of the mam stumbling blocks for …
-
The integration of software specification, verification, and testing techniques with software requirements and design processes.
… The proposed software requirements and design specification techniques emerge from integrating three categories of software specification languages, namely an infonnal specification language (e.g. English), semiformal specification languages (Entity-Relationship Diagrams, Data Flow Diagrams, …
-
An editor and transformation system for a Z animation case tool.
… problems within software engineering today. Formal, model-based specification languages such as the Z notation have been widely adopted within the context of requirements engineering, to provide a vehicle for the development of precise and unambiguous specifications. However, the mathematical …
-
A session layer for the X.400 message handling system
… to the requirements of X. 400; to produce a formal specification of this session layer; and to show how this session layer may be implemented on a real system. The session services required by X. 400 are those of the Halfduplex, Minor Synchronization, Exceptions and Activity Management …
Page 1 of 4