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 67 for “"Specification Language"”.
-
A lightweight specification language for bounded program verification
This thesis presents a new light-weight specification language called JForge Specification Language (JFSL) for object-oriented languages such as Java. The language is amenable to bounded verification analysis by a tool called JForge that interprets JFSL specifications, fully integrates with a …
-
Reengineering using a data abstraction based specification language
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1992.
-
RGML: A Specification Language that Supports the Characterization of Requirements Generation Processes
… such an environment is to create a formal specification mechanism for characterizing the structure, process flow and activities inherent to the requirements generation process. In turn, such specifications can serve as a basis for developing an interactive environment supporting …
-
Event-B in the Institutional Framework: Defining a Semantics, Modularisation Constructs and Interoperability for a Specification Language
Event-B is an industrial-strength specification language for verifying the properties of a given system’s specification. It is supported by its Eclipse-based IDE, Rodin, and uses the process of refinement to model systems at different levels of abstraction. Although a mature formalism, Event-B has …
-
SPEST – A Tool for Specification-Based Testing
<p>This thesis presents a tool for SPEcification based teSTing (SPEST). SPEST is designed to use well known practices for automated black-box testing to reduce the burden of testing on developers. The tool uses a simple formal specification language to generate highly-readable unit tests that …
-
Using Live Sequence Chart Specifications for Formal Verification
… part of the process is the development of specifications and correctness requirements for the system under test. Traditionally, English has been used as the specification language, which has resulted in verbose and difficult to use specification documents that are usually abandoned during …
-
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 …
-
Coalgebraic Methods for Object-Oriented Specification
… thesis is about coalgebraic methods in software specification and verification. It extends known techniques of coalgebraic specification to a more general level to pave the way for real world applications of software verification. There are two main contributions of the present thesis: 1. Chapter …
-
A Language for Generic Programming
… generic programming is a semi-formal interface specification language for generic components. Many programming languages have features for describing interfaces, but none of them match the generic programming specification language, and none are as suitable for specifying generic components. …
-
Verification of correctness properties of programs that read input files
… to programs written in standard programming languages such as C and focus on relationships that must hold between program execution points, the current location of file position indicator of the open input file, and the contents of the input file. The thesis presents a specification language …
-
Rewriting-based model checking methods
… itself is formally specified as a certain system specification language, such as computational logics and conventional programming languages. Rewriting logic is a highly expressive computational logic for effectively defining a formal executable semantics of a wide range of system specification …
-
The Refinement of Formal Specifications Using Reusable Software Components in Ada95
… 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 …
-
Specification, execution and verification of interaction protocols: an approach based on computational logic
… of protocols has raised some issues, from the language for specifying them to the several verification aspects. Computational Logic provides models, languages and tools that can be effectively adopted to address such issues: its declarative nature can be exploited for a protocol specification …
-
Activity Management in Cooperative Environments
… the design of an activity data model and its specification language for cooperative work in software development and engineering environments. The proposed activity data model is unique in that its data model consists of properties of both the object model and the process model, which are …
-
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, …
-
Failure logic modelling: a pragmatic approach
… from any individual technique, notation or specification language, the abstract Metamodel has been shown to be instantiable in a third party-specification language (AltaRica Dataflow). The Thesis demonstrates that existing failure logic modelling techniques cannot, without modification, …
-
A Tool for prototyping concurrent design specifications
… of Communicating Systems), a process algebraic specification language which combines the simple syntax of CCS (Calculus of Communicating Systems) and the sequential composition of ACP (Algebra of Communicating Processes), adding the notion of data and value-passing, and user-definable operators. …
-
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 …
-
Formal approaches to security-aware robotic motion planning using hyperproperties
… such problems are formulated as temporal logic specifications over a discrete representation of the given system. Despite the expressivity of conventional logic such as Linear Temporal Logic (LTL), Metric Temporal Logic (MTL), Signal Temporal logic (STL), etc., they cannot be used to formalize …
-
Advancing declarative programming
… which both paradigms are seamlessly integrated, specifications are fully and efficiently executable, and programs are written by freely mixing imperative statements and declarative specifications. With the advent of automated constraint solving, executing declarative specifications as standalone …
Page 1 of 4