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 21 for “"specification languages"”.
-
Investigating the readability of formal specification languages
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2001.
-
Facing infinity in model checking expressive specification languages
… the verification and falsification of expressive specifications on timed and infinite-state systems. An expressive specification language allows the description of the intended behaviour of a system via compact formal statements written at an abstraction level that eases the review process. …
-
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, …
-
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 …
-
Parameter dependencies for reusable performance specifications of software components
… and the included parameter values) in their specification languages. This thesis proposes new modelling languages and transformations, which allow a reusable description of usage profile dependencies in component-based software systems. The thesis includes an experimental evaluation, which …
-
OODSF: an object-oriented data specification framework in a heterogeneous computing environment
The Object-Oriented Data Specification Framework (OODSF) is a C++ framework to facilitate programming in a heterogeneous distributed environment. Using the OODSF, C++ language bindings of commonly used specification languages, such as Abstract Syntax Notation 1 (ASN.l) and Interface Definition …
-
Complementary formalisms - synthesis, verification and visualization
Over the last few decades, many specification languages have been proposed. Two complementary approaches have proven useful in practice. Logic-based formalisms are based on mathematical techniques which provide the means for defining consistency, completeness, refinement, etc. Diagrammatic …
-
Symbolic timing diagrams: a visual formalism for model verification
… in this thesis introduces a novel visual specification formalism named STD which can be used to verify models of reactive systems. The presentation has three parts: First, an introduction and motivation is given. Second, a theoretical framework needed to describe the context of the design …
-
Spacecraft computing systems with high-level specifications and FPGAs
… that occur during the translation of subsystem specifications into software specifications have led to failures and anomalies. This thesis describes a new methodology and toolsets that allow spacecraft subsystem engineers to capture and analyze typical spacecraft processing requirements in a …
-
A performance driven approach for hardware synthesis of guarded atomic actions
… resources in these devices. The hardware design specification languages are either too low level to support efficient large scale design (for example, Verilog), or the language and synthesis methodology is so high-level that the designer's micro-architectural ingenuity is lost in the design …
-
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 …
-
Data Refinement in Object-Oriented Verification
… is a special instance of refinement where a specification is refined by replacing the data type used in the specification. The theory of data refinement guarantees that this replacement does not adversely affect the functional behaviour of the programs that use these specifications. …
-
Behavioural specification and simulation of minimum configuration computer systems.
… of a complete solution from a behavioural specification. This thesis describes an attempt to attain this ideal in the more limited realm of designing single-board control systems, constructed from general-purpose microprocessor components. The difficulties currently encountered in designing …
-
A Compositional Framework for the Specification, Verification and Runtime Validation of Reactive Web Services
The Specification and validation/verification of behavioural properties has remained one of the most widely researched themes in the domain of Web services. Current efforts however consider only "static” aspects of service behaviours. XML-based standards/Ontologies for services are limited to …
-
Compositional Reasoning and Model Checking of Asynchronous Systems on Variations of LTL
… size. Expressiveness is another key difficulty: specification languages must be able to capture arithmetic constraints, real-time specifications, and hyperproperties–i.e., properties relating multiple executions, such as security or diagnosability. Finally, system features such as …
-
Specification and Verification of Declarative Open Interaction Models - A Logic-based framework
… procedural nature of the state of the art specification languages. For example, the ConDec language has been recently proposed to target the declarative and open specification of Business Processes, overcoming the over-specification and over-constraining issues of classical procedural …
-
Validación de protocolos, una aproximación algebraica
… software engineering aspects, - i.e. modelling, specification and validation -, and also covering the application of such engineering to the development of techniques and tools for protocols in the Open Systems Interconnection (OSI) framework. In this work an algebraic model is introduced for the …
-
Tool specification with GTSL
… is the schema of the database. We propose tool specification languages that are capable of describing the tools' schemas as well as the other varying tool components at different levels of abstraction. These different levels of abstraction will provide the tool builder with the flexibility to …
-
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 …
-
An editor and transformation system for a Z animation case tool.
… 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 foundation upon …
Page 1 of 2