robin/Robin_PHD
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Example diagram aded at start

Browse Source 
mple diagram addedPlease enter the commit message for your changes. Lines starting
This commit is contained in:
robin 2011-03-27 08:04:57 +01:00
parent 4cf034b0b9
commit 799de36fa6
3 changed files with 17 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
logic_diagram/examplepld.dia Normal file
View File

Binary file not shown.

BIN
logic_diagram/examplepld.jpg Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 14 KiB

21
logic_diagram/logic_diagram.tex
View File

@ -157,6 +157,14 @@ With these three visual syntax elements, we have the basic building blocks for a
\section{Formal Description of PLD}
\begin{figure}
\centering
\includegraphics[width=200pt,keepaspectratio=true]{./logic_diagram/examplepld.jpg}
% examplepld.jpg: 443x244 pixel, 72dpi, 15.63x8.61 cm, bb=0 0 443 244
\caption{Propositional Logic Diagram General Example}
\label{fig:examplepld}
\end{figure}
Definitions of concrete and abstract PLD's follow.
Well-formedness conditions for PLD's are separated from this definition, because of
practical differences between the way they are used to represent software as opposed to
@ -167,9 +175,12 @@ The concrete definitions for PLD's and Spider Diagrams\cite{howse:sd} share many
\subsection{Concrete PLD Definition}
A concrete {\em Propositional logic diagram} is a set of labelled {\em contours}
(closed curves) in the plane. The minimal regions formed by the closed curves
(closed curves) in the plane (examples of closed curves a,b,c are shown in figure \ref{fig:examplepld}).
The minimal regions formed by the closed curves
can by occupied by `test cases' (represented by asterisks).
The `test cases' may be joined by joining lines.
The example diagram in figure \ref{fig:examplepld} has fournumbered test~cases, TC1, TC2, TC3 and TC4.
The `test cases' may be joined by joining lines. The example diagram (figure \ref{fig:examplepld}) shows two joining lines
R1 and R2.
A group of `test cases' connected by joining lines
is defined as a `test case disjunction' or Spider.
Spiders may be labelled.
@ -435,7 +446,10 @@ mode of the functional group, therefore in the higher level diagram
each $SMG$ is represented by a contour.
\input{fmmdstereoexample}
%\input{fmmdstereoexample}
% Here need some kind of example like the stereo separates.
{
\definition{
@ -470,7 +484,6 @@ validation and consistency checks applied.
\section{Example Diagrams}
\subsection {How to read a PLD diagram}
%#