Old stuff/ecole_etude_fac_de_pau/licence_2/projet_html/include/gl.html
(Deskargatu)
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="content-type">
<link rel="stylesheet" type="text/css" href="../style.css">
<title>Gl</title>
</head>
<body>
<a name="Haut_de_page"></a>
<h3>Génie logiciel</h3>
<a name="septieme_semestre"></a>
<h4>U.E. Obligatoires du
septième
semestre</h4>
<h5>Génie logiciel</h5>
<p>Ce module se
décompose en 7 thèmes : </p>
<ol>
<li>Modèle du
Processus logiciel : prototypage, modèle
prédictif en V, processus en spirale, modèle des
incréments , modèle exploratoire</li>
<li>Ingénierie des
besoins, rédaction de cahier des charges...</li>
<li>Méthodes de
développement de logiciel : outils semi formels : SADT, SA
et formels : VDM, Z</li>
<li>Modèle de
conception d'un logiciel : modèle fonctionnel,
développement orienté objet, système
temps réel</li>
<li>Vérification
& validation de logiciels : type de test, stratégie
et planification de test</li>
<li>Ateliers de génie
logiciel</li>
<li>Normes</li>
</ol>
<h5>Technologies
Orientées Objet</h5>
<p>Ce module comporte 9
matières</p>
<ol>
<li>Principes de structuration
du logiciel objet : abstraction, encapsulation,
interface/implémentation</li>
<li>Classe, instance, type,
contrôle de type</li>
<li>Héritage
(structurel/comportemental, multiple, résolution de
conflits), variants : sous-classage, sous-typage, conceptuel IS-A,
surcharge et masquage de fonctions</li>
<li>Polymorphisme</li>
<li>Gestion des exceptions</li>
<li>Réflexion,
auto-description</li>
<li>Librairies canoniques et
dédiées, exemple du langage Java</li>
<li>Programmation concurrente
à objets : " fil de contrôle ", synchronisation et
ordonnancement des fils de contrôle</li>
<li>Objet et persistance</li>
</ol>
<a name="huitieme_semestre"></a>
<h4>U.E. Obligatoires du
huitième
semestre</h4>
<h5>Spécification</h5>
<p>La
spécification est ici étudiée dans le
détail, en tant que phase critique du
développement logiciel. Les concepts de formalismes,
abstractions, modèles sont détaillés.
Les outils de preuve de propriété sont
abordés et l'importance des méthodes formelles
est mis en avant. Enfin un langage de spécification (e.g.,
UML) est étudié plus en détail et fait
l'objet d'une étude de cas approfondie par les
étudiants. Elle est divisée en 5 parties : </p>
<ol>
<li>Théorie de la
spécification : approche semi-formelle et approche formelle</li>
<li>Spécification
d'un logiciel : stratégie et approche de construction d'une
spécification</li>
<li>Exemples d'approches
(ensemblistes, algébriques, logiques)</li>
<li>Outils et notations de
spécification</li>
<li>Notations formelles (LOTOS,
réseaux de Petri objet, Object-Z...)</li>
<li>Notation semi-formelle
à objets</li>
<li>Etude de cas</li>
</ol>
<a name="neuvieme_semestre"></a>
<h4>U.E. Obligatoires du
neuvième
semestre</h4>
<table>
<tbody>
<tr>
<th>Enseignement</th>
<th>Systèmes
distribués avancés</th>
<th>Ingénierie
des documents électroniques</th>
<th>Composants logiciels</th>
<th>Option <a href="#liste_1">liste 1</a></th>
<th>Option <a href="#liste_2">liste 2</a></th>
<th>Projet tutorés</th>
<th>Gestion de projets, vie
entreprise</th>
<th>Anglais</th>
</tr>
<tr>
<th>ECTS</th>
<td class="centre">4</td>
<td class="centre">4 </td>
<td class="centre">4 </td>
<td class="centre">4</td>
<td class="centre">4 </td>
<td class="centre">8</td>
<td class="centre">2</td>
<td class="centre">2 </td>
</tr>
<tr>
<th>Coefficients</th>
<td class="centre">1</td>
<td class="centre">1</td>
<td class="centre">1</td>
<td class="centre">1</td>
<td class="centre">1</td>
<td class="centre">1</td>
<td class="centre">0,5</td>
<td class="centre">0,5</td>
</tr>
</tbody>
</table>
<dl>
<a name="liste_1"></a> <dt>Liste 1:</dt>
<dd>Sécurité,
Systèmes multi-agents</dd>
<a name="liste_2"></a> <dt>Liste 2:</dt>
<dd><a href="#liste_1">Liste 1</a>,
Modèles et méthodes pour l'interaction,
Visualisation scientifique, Réalité virtuelle,
Traitement d'images et compression, Conception d'application
à base d'agents</dd>
</dl>
<h5>Composants logiciels</h5>
<ol>
<li>Introduction à la
notion de composant logiciel, exemple du modèle JavaBeans</li>
<li>Concepts,
modèles, plate-formes, architectures (frameworks), langages
et outils (e.g. CORBA, EJB, .NET)</li>
<li>Assemblage,
prédiction des comportements et de la qualité de
service</li>
<li>Modélisation des
composants logiciels (ex. UML)</li>
<li>Composants et architectures
logiciels métier : multimédia, transport...</li>
<li>Composants logiciels sur
étagère (COTS components), acquisition,
évaluation, intégration, criticité...</li>
</ol>
<h5>Systèmes
distribués</h5>
<p><u>Objectif
pédagogique</u> :
étudier les systèmes distribués dans
différents domaines et les fonctionnalités
avancées comme le déploiement,
l'administration... Etudier les interfaces de programmation
d'application accédant à ces
fonctionnalités en vue de comprendre et mettre en œuvre des
intergiciels ainsi que concevoir des applications ouvertes, flexibles
et axées sur l'interopérabilité et
bâties sur des intergiciels</p>
<ol>
<li>Typologie et mise en œuvre
des intergiciels : 2 tiers, 3 tiers , n-tiers...
Interopérabilité et organisation logicielle par
composants (ex. CORBA, EJB...)</li>
<li>Systèmes
distribués et bases de données (ex. JDBC)</li>
<li>Administration des
systèmes distribués (ex. JMX)</li>
<li>Déploiement,
concepts et techniques</li>
<li>Systèmes
distribués et Internet (ex. Applet, Servlet...)</li>
<li>Systèmes
distribués spécialisés : messagerie
(ex. : JavaMail), multimédia,
téléphonie et systèmes
distribués sans fil (technologies : WAP, WML, Java Card,
Wi-Fi, UMTS...)</li>
<li>Web services (e.g. WSDL...)</li>
<li>Code et services mobiles
(pervasive/ubiquitous computing)</li>
<li>Grille de calcul</li>
</ol>
<h5>Ingénierie des
documents électroniques</h5>
<p><u>Objectifs
pédagogiques</u> :
L'essor du document
électronique est un atout dans la
réingénierie des
processus . En particulier, il est l'occasion d'adapter les
façons de faire déjà acquises et
d'inventer de
nouvelles pratiques. Pour cela, il est essentiel que la gestion
documentaire tienne compte de la nouvelle réalité
du
document accessible via les Intranet et Internet :
dématérialisation du document, gestion des
versions, des
droits d'accès et de modification, conservation des
documents
signés numériquement, actualisation automatique
d'hyperliens entre des sites différents, entre des objets
d'information créés et mis à jour par
des auteurs
et propriétaires différents.</p>
<ol>
<li>Notions et
modèles pour le eDoc</li>
<li>Formats de structuration
standardisés et langages
d'interrogation</li>
<li>Systèmes
hypermédias</li>
<li>Interopérabilité
des systèmes documentaires
(EDI, GED,...)</li>
<li>eDoc et apprentissage humain</li>
</ol>
<div class="navigation">
<a href="master.html"><img src="../images/precedente.png"></a><a
href="#" onclick="window.open('navigation.html','navigation')"><img
src="../images/navi.png" alt="Navigation"></a><a href="sd.html"><img
src="../images/suivante.png"></a></div>
<script type="text/javascript" src="../footer.js"></script>
</body>
</html>
Tfe