<?xml version="1.0" encoding="UTF-8"?><lom xmlns="http://ltsc.ieee.org/xsd/LOM" xmlns:lomfr="http://www.lom-fr.fr/xsd/LOMFR" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://ltsc.ieee.org/xsd/LOM http://www.lom-fr.fr/xsd/lomfrv1.0/std/lomfr.xsd">
<general>
<identifier>
<catalog>Canal-U_Ocms</catalog>
<entry>48221</entry>
</identifier>
<title><string language="fre"><![CDATA[Propos liminaire (Introduction à la vérification de programme)]]></string></title>
<language/>
<description>
<string language="fre"><![CDATA[Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principales techniques pour la vérification de programme ainsi 
que quelques logiciels utilisés.
Première partie du cours "Introduction à la vérification de programme".]]></string></description>
<keyword><string language="fre"><![CDATA[méthode formelle]]></string></keyword><keyword><string language="fre"><![CDATA[preuve de programme]]></string></keyword><keyword><string language="fre"><![CDATA[Logique mathématique]]></string></keyword><keyword><string language="fre"><![CDATA[vérification de programme]]></string></keyword><keyword><string language="fre"><![CDATA[programmation fonctionnelle]]></string></keyword>
<lomfr:documentType>
<lomfr:source>LOMFRv1.0</lomfr:source>
<lomfr:value>image en mouvement</lomfr:value>
</lomfr:documentType>
</general><lifeCycle>
<contribute>
<role>
<source>LOMv1.0</source>
<value>author</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:33:00
FN:Benoit ROGNIER
N:ROGNIER;Benoit;;;
URL;TYPE=work:https://www.edukera.com/
ROLE:author
NOTE:Co-fondateur d'Edukera 
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2019-01-02</dateTime></date>
</contribute>
</lifeCycle>
<metaMetadata>
<metadataSchema>LOMv1.0</metadataSchema>
<metadataSchema>LOMFRv1.0</metadataSchema>
</metaMetadata>
<technical>
<format>video/mp4</format>
<location><![CDATA[https://www.canal-u.tv/video/unittv/propos_liminaire_introduction_a_la_verification_de_programme.48221]]></location>
<location><![CDATA[https://streaming-canal-u.fmsh.fr/vod/media/canalu/videos/unittv/propos.liminaire.introduction.la.verification.de.programme._48221/intro.verification.programme.1.mp4]]></location>
<size>114130649</size>
<duration><duration>PT0H13M31S</duration></duration>
</technical>
<educational>
<learningResourceType>
<source>LOMv1.0</source>
<value>lecture</value>
</learningResourceType>
<context>
<source>LOMv1.0</source>
<value>master</value>
</context>
<context>
<source>LOMv1.0</source>
<value>formation continue</value>
</context>
</educational>
<rights>
<cost>
<source>LOMv1.0</source>
<value>no</value>
</cost>
<copyrightAndOtherRestrictions>
<source>LOMv1.0</source>
<value>no</value>
</copyrightAndOtherRestrictions>
<description>
<string language="fre"><![CDATA[Droits réservés à l'éditeur et aux auteurs. 
Attribution - Partage dans les mêmes conditions (CC BY-SA)]]></string>
</description>
</rights>
<relation>
<kind>
<source>LOMv1.0</source>
<value>ispartof</value>
</kind>
<resource>
<identifier>
<catalog>URI</catalog>
<entry>https://www.canal-u.tv/producteurs/unittv/introduction_a_la_verification_de_programme</entry>
</identifier>
<description>
<string language="fre"><![CDATA[Introduction à la vérification de programme]]></string>
</description>
</resource>
</relation>
<classification>
<purpose>
<source>LOMv1.0</source>
<value>discipline</value>
</purpose>
<taxonPath>
<source>
<string language="fre"><![CDATA[Universités Numériques Thématiques 2009 http://www.universites-numeriques.fr]]></string>
</source>
<taxon>
<id/>
<entry>
<string language="fre"/>
</entry>
</taxon>
</taxonPath>
</classification>
<classification>
<purpose>
<source>LOMv1.0</source>
<value>discipline</value>
</purpose>
<taxonPath>
<source>
<string language="fre">CDD 22e éd.</string>
<string language="eng">DDC 22nd ed.</string>
</source>
<taxon>
<id>005.14</id>
<entry>
<string language="fre"><![CDATA[Vérification, essai, mesure, débogage]]></string>
</entry>
</taxon>
</taxonPath>
</classification> </lom>