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 7 of 7 for “"Tempura"”.
-
Formal Specification and Runtime Verification of Parallel Systems using Interval Temporal Logic (ITL)
… has to handle many systems at a time. AnaTempura is a runtime verification tool which can handle single systems at a time. To solve this problem, I evolved AnaTempura to be able to handle parallel systems. In this thesis, I propose a Parallel Runtime Verification Framework (PRVF) that can …
-
Towards multi-dimensional integrated development environments for improved productivity
… plug-ins, called Drag-and-Drop Refactoring and Tempura, that are designed to address the main problems of plug-in overload for different features; Drag-and-Drop Refactoring adds a new tactile dimension to an IDE's refactoring tools, and allows developers to bypass complex GUI-based invocation …
-
Behaviour-based Virus Analysis and Detection
… of computer viruses, in order to detect them. Tempura, which is the executable subset of ITL, will be used to check whether a good or bad behaviour occurs with the help of ITL description and system traces. The process will also use AnaTempura, an integrated workbench tool for ITL that supports …
-
A Compositional Framework for the Specification, Verification and Runtime Validation of Reactive Web Services
… can be achieved using an interpreter for. Tempura, an executable subset of Interval Temporal Logic (ITL). Finally we present "TeSCO-S”: Temporal Semantics for OWL enabled Services, a framework along with tool support for enriching Web service interface specifications, described as OWL …
-
Reasoning about history based access control policy using past time operators of interval temporal logic
… form the basis of an executable framework called Tempura that is used for the development and testing of ITL specifications.\\ ITL has only future operators, but the use of past operators make specifications referring to history more succinct; that is, there are classes of properties that can be …
-
A Framework for Specifying Business Rules Based on Logic with a Syntax Close to Natural Language
… by a denotational semantics, which is based on Tempura (executable subset of Interval Temporal Logic (ITL)) to describe behaviour and the Object Constraint Language (OCL) to describe invariants and pre- and postconditions. APRIL statements can be used as the basis for automatically generating …
-
Policy-based Runtime Tracking for E-learning Environments
The Virtual Learning Environment (VLE) is a form of e-learning environment that is becoming widely adopted in higher educational institutions and universities. The term “Tracking” in relation to an e-learning context is the learner’s observation process of any possible interaction with learning …