Differences

This shows you the differences between two versions of the page.

--- course_outline [2017/03/21 01:37] – jonathan
+++ course_outline [2018/01/03 02:01] – jonathan
@@ Line 4: / Line 4: @@
 ===== Introduction =====
+Use this small project to get started with Event-B and the Rodin tool
   * {{:01-intro-bank.pdf|Simple Bank System}}. Introduction to Specification and Refinement.
+  * [[https://youtu.be/aROKK2HKhog|Video Presentation]]
+<html>
+<iframe width="560" height="315" src="https://www.youtube.com/embed/videoseries?list=PLGoQo5eIwvcAmPWkiWVhzWR-Op-mYN9JK" frameborder="0" gesture="media" allow="encrypted-media" allowfullscreen></iframe>
+</html>
+<html>
+    <div id="player"></div>
+    <script>
+      // 2. This code loads the IFrame Player API code asynchronously.
+      var tag = document.createElement('script');
+      tag.src = "https://www.youtube.com/iframe_api";
+      var firstScriptTag = document.getElementsByTagName('script')[0];
+      firstScriptTag.parentNode.insertBefore(tag, firstScriptTag);
+      // 3. This function creates an <iframe> (and YouTube player)
+      //    after the API code downloads.
+      var player;
+      function onYouTubeIframeAPIReady() {
+        player = new YT.Player('player', {
+          height: '315',
+          width: '560',
+          videoId: 'aROKK2HKhog',
+          events: {
+            'onReady': onPlayerReady,
+            'onStateChange': onPlayerStateChange
+          }
+        });
+      }
+      // 4. The API will call this function when the video player is ready.
+      function onPlayerReady(event) {
+        event.target.playVideo();
+      }
+      // 5. The API calls this function when the player's state changes.
+      //    The function indicates that when playing a video (state=1),
+      //    the player should play for six seconds and then stop.
+      var done = false;
+      function onPlayerStateChange(event) {
+        if (event.data == YT.PlayerState.PLAYING && !done) {
+          setTimeout(stopVideo, 0);
+          done = true;
+        }
+      }
+      function stopVideo() {
+        player.stopVideo();
+      }
+    </script>
+</html>
 ===== Reactive systems: Bridge =====
@@ Line 75: / Line 130: @@
 ===== Exam Preparation =====
-Develop a phone book example by developing a mathematical model from informal E/R-descriptions. Relations, Functions and the override operator, relational image, relational inverse, domain and range restrictions and subtractions, and relational composition. See slides 13.
+The following examples are unlikely to be on the exam.
+Develop a phone book example by developing a mathematical model from informal E/R-descriptions. Relations, Functions and the override operator, relational image, relational inverse, domain and range restrictions and subtractions, and relational composition.
@@ Line 87: / Line 144: @@
   *R2: A doctor shall not prescribe two drugs that interact
   *Goal:  minimize the number of undesirable interactions