• No results found

AnnMarie Ericsson

N/A
N/A
Protected

Academic year: 2021

Share "AnnMarie Ericsson"

Copied!
2
0
0

Loading.... (view fulltext now)

Full text

(1)

Enabling Tool Support for

Formal Analysis of ECA Rules

AnnMarie

Ericsson

Linköping Studies in Science and Technology Dissertation No. 1262

Department of Computer and Information Science Linköpings universitet

SE-581 83 Linköping, Sweden Linköping 2009

AnnMarie Ericsson Enabling T

ool Support for F

ormal Analysis of ECA Rules 2009

(2)

Enabling Tool Support for

Formal Analysis of ECA Rules

AnnMarie

Ericsson

Linköping Studies in Science and Technology Dissertation No. 1262

Department of Computer and Information Science Linköpings universitet

SE-581 83 Linköping, Sweden Linköping 2009

AnnMarie Ericsson Enabling T

ool Support for F

ormal Analysis of ECA Rules 2009

References

Related documents

Concluding, we can state that the conventional approach to compiler construction suffers from a number of problems when applied to the construction of compilers for application

chapter of this thesis: Section 1.1 contains a description of the purpose of the performed research work i.e., the development of a tool for Enterprise Architecture analysis.. The

The Predictive, Probabilistic Architecture Modeling Framework (P 2 AMF)(Johnson et al. The main feature of P 2 AMF is its ability to express uncertainties of objects, relations

To detect malware using data mining the decision tree method can be used and several experiments have developed and tested implementations using this method [25][36].The decision

To support formal verification, REX automatically transforms the specified rules to a timed automata, queries the requirement properties in the model-checker provided by Uppaal

At first my work was focused on how my audience interacted with the finished work, but I found a very unique enjoyment with how I interact with my work as I am moving through

The Lilliefors test resulted in a rejection of the null hypothesis for 7 samples out of 60 (i.e. 30 different log-classes with the butt- and top-end samples analyzed

• Several parts with open shells in both cases must be revised, the variant does not have the most updated geometry in some parts, the VR 10 was not included into the baseline,