← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/workshops/2000/shumsky/slides2_files/v3_slide0015.htm

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/workshops/2000/shumsky/slides2_files/v3_slide0015.htm
 
1
<html>
 
2
 
 
3
<head>
 
4
<meta http-equiv=Content-Type content="text/html; charset=windows-1252">
 
5
<meta name=ProgId content=PowerPoint.Slide>
 
6
<meta name=Generator content="Microsoft PowerPoint 9">
 
7
<link id=Main-File rel=Main-File href="../slides2.htm">
 
8
<link rel=Preview href=preview.wmf>
 
9
<!--[if !mso]>
 
10
<style>
 
11
v\:* {behavior:url(#default#VML);}
 
12
o\:* {behavior:url(#default#VML);}
 
13
p\:* {behavior:url(#default#VML);}
 
14
.shape {behavior:url(#default#VML);}
 
15
v\:textbox {display:none;}
 
16
</style>
 
17
<![endif]-->
 
18
<title>Developing a Framework for Simulation, Verification and Testing of SDL
 
19
Specifications</title>
 
20
<meta name=Description content="3-Nov-00: Testing of implementations">
 
21
<link rel=next href="v3_slide0016.htm">
 
22
<![if !ppt]>
 
23
<script>
 
24
<!--
 
25
function Update()
 
26
{
 
27
  if( window.name == "PPTSld" )
 
28
    parent.SlideUpdated('v3_slide0015.htm');   
 
29
  else
 
30
    parent.location.href = "v3_document.htm";
 
31
}
 
32
 
 
33
function NoHref() {}
 
34
//-->
 
35
</script>
 
36
<![endif]>
 
37
</head>
 
38
 
 
39
<body bgcolor=white alink="#3333cc" link="#ccccff" vlink="#b2b2b2" text=black
 
40
topmargin=0 leftmargin=0 onload="Update()">
 
41
 
 
42
<table border=0 valign=top width=475 height=356 cellpadding=0 cellspacing=0>
 
43
 <tr>
 
44
  <td width=24 height=0 nowrap><img src="v3_space.gif" border=0></td>
 
45
  <td width=16 height=0 nowrap><img src="v3_space.gif" border=0></td>
 
46
  <td width=6 height=0 nowrap><img src="v3_space.gif" border=0></td>
 
47
  <td width=384 height=0 nowrap><img src="v3_space.gif" border=0></td>
 
48
  <td width=21 height=0 nowrap><img src="v3_space.gif" border=0></td>
 
49
  <td width=1 height=0 nowrap><img src="v3_space.gif" border=0></td>
 
50
 </tr>
 
51
 <tr>
 
52
  <td width=475 height=26 colspan=7></td>
 
53
 </tr>
 
54
 <tr>
 
55
  <td width=46 height=36 colspan=3></td>
 
56
  <td width=384 height=36>
 
57
  <table border=0 valign=top cellpadding=0 cellspacing=0>
 
58
   <tr>
 
59
    <td width=384 height=36 align=center><font face=Tahoma color="#cc0000"
 
60
    size=5>Testing of implementations</font><br>
 
61
    </td>
 
62
   </tr>
 
63
  </table>
 
64
  </td>
 
65
  <td width=45 height=36 colspan=3></td>
 
66
 </tr>
 
67
 <tr>
 
68
  <td width=475 height=28 colspan=7></td>
 
69
 </tr>
 
70
 <tr>
 
71
  <td width=40 height=45 colspan=2></td>
 
72
  <td width=412 height=45 colspan=4>
 
73
  <table border=0 valign=top cellpadding=0 cellspacing=0>
 
74
   <tr>
 
75
    <td width=18 height=0 nowrap><img src="v3_space.gif" border=0></td>
 
76
    <td width=1 height=0 nowrap><img src="v3_space.gif" border=0></td>
 
77
    <td width=318 height=0 nowrap><img src="v3_space.gif" border=0></td>
 
78
   </tr>
 
79
   <tr>
 
80
    <td width=18 height=26><font face=Tahoma color="#3333cc" size=3>�</font></td>
 
81
    <td width=394 height=26 colspan=3><font face=Tahoma color="#3333cc" size=3>Simulator
 
82
    can be used for testing: </font><font face=Tahoma color="#3333cc" size=2>implemented</font><br>
 
83
    </td>
 
84
   </tr>
 
85
   <tr>
 
86
    <td width=18 height=19></td>
 
87
    <td width=319 height=19 colspan=2><font face=Tahoma color="#3333cc" size=2>units
 
88
    are substituted in place of simulations</font><br>
 
89
    </td>
 
90
    <td width=75 height=19></td>
 
91
   </tr>
 
92
  </table>
 
93
  </td>
 
94
  <td width=23 height=45></td>
 
95
 </tr>
 
96
 <tr>
 
97
  <td width=475 height=11 colspan=7></td>
 
98
 </tr>
 
99
 <tr>
 
100
  <td width=24 height=171></td>
 
101
  <td width=427 height=171 colspan=4><img src="v3_slide0015_image008.gif"
 
102
  border=0 width=427 height=171></td>
 
103
  <td width=24 height=171 colspan=2></td>
 
104
 </tr>
 
105
 <tr>
 
106
  <td width=475 height=39 colspan=7></td>
 
107
 </tr>
 
108
</table>
 
109
 
 
110
</body>
 
111
 
 
112
</html>