← 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/slide0021.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/slide0021.htm
 
1
<html xmlns:v="urn:schemas-microsoft-com:vml"
 
2
xmlns:o="urn:schemas-microsoft-com:office:office"
 
3
xmlns:p="urn:schemas-microsoft-com:office:powerpoint"
 
4
xmlns="http://www.w3.org/TR/REC-html40">
 
5
 
 
6
<head>
 
7
<meta http-equiv=Content-Type content="text/html; charset=windows-1252">
 
8
<meta name=ProgId content=PowerPoint.Slide>
 
9
<meta name=Generator content="Microsoft PowerPoint 9">
 
10
<link id=Main-File rel=Main-File href="../slides2.htm">
 
11
<link rel=Preview href=preview.wmf>
 
12
<link rel=OLE-Object-Data href=oledata.mso>
 
13
<!--[if !mso]>
 
14
<style>
 
15
v\:* {behavior:url(#default#VML);}
 
16
o\:* {behavior:url(#default#VML);}
 
17
p\:* {behavior:url(#default#VML);}
 
18
.shape {behavior:url(#default#VML);}
 
19
v\:textbox {display:none;}
 
20
</style>
 
21
<![endif]-->
 
22
<title>Developing a Framework for Simulation, Verification and Testing of SDL
 
23
Specifications</title>
 
24
<meta name=Description content="3-Nov-00: Protocol Modeling in SDL: Part 2">
 
25
<link rel=Stylesheet href="master03_stylesheet.css">
 
26
<![if !ppt]>
 
27
<style media=print>
 
28
<!--.sld
 
29
        {left:0px !important;
 
30
        width:6.0in !important;
 
31
        height:4.5in !important;
 
32
        font-size:107% !important;}
 
33
-->
 
34
</style>
 
35
<script src=script.js></script><script><!--
 
36
gId="slide0021.htm"
 
37
if( !IsNts() ) Redirect( "PPTSld", gId );
 
38
//-->
 
39
</script><!--[if vml]><script>g_vml = 1;
 
40
</script><![endif]--><script for=window event=onload><!--
 
41
if( !IsSldOrNts() ) return;
 
42
if( MakeNotesVis() ) return;
 
43
LoadSld( gId );
 
44
MakeSldVis(0);
 
45
//-->
 
46
</script><![endif]><o:shapelayout v:ext="edit">
 
47
 <o:idmap v:ext="edit" data="22"/>
 
48
</o:shapelayout>
 
49
</head>
 
50
 
 
51
<body lang=EN-US style='margin:0px;background-color:white'
 
52
onclick="DocumentOnClick()" onresize="_RSW()" onkeypress="_KPH()">
 
53
 
 
54
<div id=SlideObj class=sld style='position:absolute;top:0px;left:0px;
 
55
width:534px;height:400px;font-size:16px;background-color:white;clip:rect(0%, 101%, 101%, 0%);
 
56
visibility:hidden'><p:slide coordsize="720,540"
 
57
 colors="#FFFFFF,#000000,#808080,#000000,#00CC99,#3333CC,#CCCCFF,#B2B2B2"
 
58
 masterhref="master03.xml">
 
59
 <p:shaperange href="master03.xml#_x0000_s1025"/><![if !ppt]><p:shaperange
 
60
  href="master03.xml#_x0000_s1028"/><p:shaperange
 
61
  href="master03.xml#_x0000_s1029"/><![endif]><p:shaperange
 
62
  href="master03.xml#_x0000_m1026"/><v:shape id="_x0000_s22530" type="#_x0000_m1026"
 
63
  style='position:absolute;left:33pt;top:12.75pt;width:654pt;height:60pt;
 
64
  mso-wrap-style:square'>
 
65
  <v:fill o:detectmouseclick="f"/>
 
66
  <v:stroke o:forcedash="f"/>
 
67
  <o:lock v:ext="edit" text="f"/>
 
68
  <v:textbox style='mso-fit-shape-to-text:t'/>
 
69
  <p:placeholder type="title"/></v:shape>
 
70
 <div v:shape="_x0000_s22530" class=T style='position:absolute;top:3.0%;
 
71
 left:-2.43%;width:104.86%;height:10.0%'>Protocol Modeling in SDL: Part 2</div>
 
72
 <v:shapetype id="_x0000_t75" coordsize="21600,21600" o:spt="75"
 
73
  o:preferrelative="t" path="m@4@5l@4@11@9@11@9@5xe" filled="f" stroked="f">
 
74
  <v:stroke joinstyle="miter"/>
 
75
  <v:formulas>
 
76
   <v:f eqn="if lineDrawn pixelLineWidth 0"/>
 
77
   <v:f eqn="sum @0 1 0"/>
 
78
   <v:f eqn="sum 0 0 @1"/>
 
79
   <v:f eqn="prod @2 1 2"/>
 
80
   <v:f eqn="prod @3 21600 pixelWidth"/>
 
81
   <v:f eqn="prod @3 21600 pixelHeight"/>
 
82
   <v:f eqn="sum @0 0 1"/>
 
83
   <v:f eqn="prod @6 1 2"/>
 
84
   <v:f eqn="prod @7 21600 pixelWidth"/>
 
85
   <v:f eqn="sum @8 21600 0"/>
 
86
   <v:f eqn="prod @7 21600 pixelHeight"/>
 
87
   <v:f eqn="sum @10 21600 0"/>
 
88
  </v:formulas>
 
89
  <v:path o:extrusionok="f" gradientshapeok="t" o:connecttype="rect"/>
 
90
  <o:lock v:ext="edit" aspectratio="t"/>
 
91
 </v:shapetype><v:shape id="_x0000_s22531" type="#_x0000_t75" style='position:absolute;
 
92
  left:12pt;top:84pt;width:697.375pt;height:441.625pt'>
 
93
  <v:imagedata src="slide0021_image011.wmz" o:title=""/>
 
94
 </v:shape><o:OLEObject Type="Embed" ProgID="Visio.Drawing.5"
 
95
  ShapeID="_x0000_s22531" DrawAspect="Content" ObjectID="109">
 
96
  <p:oleclientdata menuname="VISIO" clipboardname="VISIO 5 Drawing"/></o:OLEObject>
 
97
 <![if !vml]><img border=0 v:shapes="_x0000_s22531" src="slide0021_image012.gif"
 
98
 style='position:absolute;top:15.5%;left:1.68%;width:96.81%;height:81.75%'><![endif]></p:slide></div>
 
99
 
 
100
</body>
 
101
 
 
102
</html>