could not pull. Some differences iresolved in kompare
This commit is contained in:
parent
ad2852312c
commit
3a4642a8dc
@ -19,7 +19,7 @@ However, it can still be treated
|
|||||||
as a component with a known set of failure modes.
|
as a component with a known set of failure modes.
|
||||||
\paragraph{Enumerating abstraction levels}
|
\paragraph{Enumerating abstraction levels}
|
||||||
We can assign an attribute of abstraction level to
|
We can assign an attribute of abstraction level to
|
||||||
components $\alpha$, where $\alpha$ is a natural number, ($\alpha \in \mathbb{N}$).
|
components $\alpha$, where $\alpha$ is a natural number, ($\alpha \in \mathbb{N}_0$).
|
||||||
For a base component let the abstraction level be zero.
|
For a base component let the abstraction level be zero.
|
||||||
If we apply the symptom abstraction process $\bowtie$
|
If we apply the symptom abstraction process $\bowtie$
|
||||||
the resulting derived~component will have an $\alpha$ value
|
the resulting derived~component will have an $\alpha$ value
|
||||||
|
Loading…
Reference in New Issue
Block a user