1 files changed, 112 insertions, 0 deletions
diff --git a/books/workshops/2000/shumsky/slides2_files/v3_slide0015.htm b/books/workshops/2000/shumsky/slides2_files/v3_slide0015.htm
new file mode 100644
index 0000000..2b1a164
--- /dev/null
+++ b/books/workshops/2000/shumsky/slides2_files/v3_slide0015.htm
@@ -0,0 +1,112 @@
+<html>
+
+<head>
+<meta http-equiv=Content-Type content="text/html; charset=windows-1252">
+<meta name=ProgId content=PowerPoint.Slide>
+<meta name=Generator content="Microsoft PowerPoint 9">
+<link id=Main-File rel=Main-File href="../slides2.htm">
+<link rel=Preview href=preview.wmf>
+<!--[if !mso]>
+<style>
+v\:* {behavior:url(#default#VML);}
+o\:* {behavior:url(#default#VML);}
+p\:* {behavior:url(#default#VML);}
+.shape {behavior:url(#default#VML);}
+v\:textbox {display:none;}
+</style>
+<![endif]-->
+<title>Developing a Framework for Simulation, Verification and Testing of SDL
+Specifications</title>
+<meta name=Description content="3-Nov-00: Testing of implementations">
+<link rel=next href="v3_slide0016.htm">
+<![if !ppt]>
+<script>
+<!--
+function Update()
+{
+  if( window.name == "PPTSld" )
+    parent.SlideUpdated('v3_slide0015.htm');   
+  else
+    parent.location.href = "v3_document.htm";
+}
+
+function NoHref() {}
+//-->
+</script>
+<![endif]>
+</head>
+
+<body bgcolor=white alink="#3333cc" link="#ccccff" vlink="#b2b2b2" text=black
+topmargin=0 leftmargin=0 onload="Update()">
+
+<table border=0 valign=top width=475 height=356 cellpadding=0 cellspacing=0>
+ <tr>
+  <td width=24 height=0 nowrap><img src="v3_space.gif" border=0></td>
+  <td width=16 height=0 nowrap><img src="v3_space.gif" border=0></td>
+  <td width=6 height=0 nowrap><img src="v3_space.gif" border=0></td>
+  <td width=384 height=0 nowrap><img src="v3_space.gif" border=0></td>
+  <td width=21 height=0 nowrap><img src="v3_space.gif" border=0></td>
+  <td width=1 height=0 nowrap><img src="v3_space.gif" border=0></td>
+ </tr>
+ <tr>
+  <td width=475 height=26 colspan=7></td>
+ </tr>
+ <tr>
+  <td width=46 height=36 colspan=3></td>
+  <td width=384 height=36>
+  <table border=0 valign=top cellpadding=0 cellspacing=0>
+   <tr>
+    <td width=384 height=36 align=center><font face=Tahoma color="#cc0000"
+    size=5>Testing of implementations</font><br>
+    </td>
+   </tr>
+  </table>
+  </td>
+  <td width=45 height=36 colspan=3></td>
+ </tr>
+ <tr>
+  <td width=475 height=28 colspan=7></td>
+ </tr>
+ <tr>
+  <td width=40 height=45 colspan=2></td>
+  <td width=412 height=45 colspan=4>
+  <table border=0 valign=top cellpadding=0 cellspacing=0>
+   <tr>
+    <td width=18 height=0 nowrap><img src="v3_space.gif" border=0></td>
+    <td width=1 height=0 nowrap><img src="v3_space.gif" border=0></td>
+    <td width=318 height=0 nowrap><img src="v3_space.gif" border=0></td>
+   </tr>
+   <tr>
+    <td width=18 height=26><font face=Tahoma color="#3333cc" size=3>•</font></td>
+    <td width=394 height=26 colspan=3><font face=Tahoma color="#3333cc" size=3>Simulator
+    can be used for testing: </font><font face=Tahoma color="#3333cc" size=2>implemented</font><br>
+    </td>
+   </tr>
+   <tr>
+    <td width=18 height=19></td>
+    <td width=319 height=19 colspan=2><font face=Tahoma color="#3333cc" size=2>units
+    are substituted in place of simulations</font><br>
+    </td>
+    <td width=75 height=19></td>
+   </tr>
+  </table>
+  </td>
+  <td width=23 height=45></td>
+ </tr>
+ <tr>
+  <td width=475 height=11 colspan=7></td>
+ </tr>
+ <tr>
+  <td width=24 height=171></td>
+  <td width=427 height=171 colspan=4><img src="v3_slide0015_image008.gif"
+  border=0 width=427 height=171></td>
+  <td width=24 height=171 colspan=2></td>
+ </tr>
+ <tr>
+  <td width=475 height=39 colspan=7></td>
+ </tr>
+</table>
+
+</body>
+
+</html>