#

Génie logiciel et programmation

Génie logiciel et programmation dans actualités

PublicitéDevenez annonceur

Toute l'actualité


Génie logiciel et programmation dans les livres blancs


Génie logiciel et programmation dans les conférences en ligne

Informatique et Numérique
29 déc. 2014

RFID


Génie logiciel et programmation dans les ressources documentaires

  • Article de bases documentaires
  • |
  • 10 août 2017
  • |
  • Réf : H1088

Introduction au parallélisme et aux architectures parallèles

Jusqu’au début des années 2000, le parallélisme était réservé aux serveurs et aux superordinateurs. Il est maintenant utilisé dans la grande majorité des architectures, des systèmes embarqués aux superordinateurs. Les monoprocesseurs sont remplacés par des processeurs multicœurs. Cet article introduit la notion de parallélisme et ses différents types. Il présente les grandes classes d’architectures parallèles avec leurs ressources et leurs organisations mémoire, en distinguant les architectures homogènes et hétérogènes.  Les principes des techniques de programmation sont introduits avec les extensions parallèles des langages de programmation couramment utilisés et les modèles de programmation qui visent à rapprocher la programmation parallèle de la programmation séquentielle, tout en prenant en compte les spécificités des architectures. Enfin, les modèles et les métriques d’évaluation des performances sont présentés et discutés.

  • Article de bases documentaires
  • |
  • 10 août 2017
  • |
  • Réf : H3278

Apport de la norme ISO/IEC 12207 (2008) pour l’utilisation d’UML

Cet article traite de la norme de qualité ISO/CEI 12207 2 ème édition - 2008 intitulée « Ingénierie des systèmes et du logiciel - Processus du cycle de vie du logiciel ». Il est montré comment cette norme applique les principes de base de l’assurance qualité. Puis la norme est comparée avec deux cadres de référence de production du logiciel : RUP et l’approche Agile décrite par SBOK ™ pour la mise en œuvre de Scrum. La mise en œuvre de cette norme est détaillée à travers l'utilisation du langage de modélisation UML et son impact sur les caractéristiques des modèles de produit UML associés est étudiée. Un exemple d’illustration est fourni.

  • Article de bases documentaires
  • |
  • 10 août 2017
  • |
  • Réf : H3310

Coq, assistant de preuve

Un assistant de preuve est un logiciel interactif permettant à son utilisateur de construire des démonstrations de façon semi-automatique, tout en garantissant la correction de ces démonstrations.  Ce type d'outil est particulièrement utile à la vérification de logiciel critique. Cet article présente Coq, assistant de preuve dont le développement est coordonné par l'institut de recherche Inria. Son utilisation est d’abord présentée à travers un exemple très simple: la vérification d'une fonction de tri. Puis une deuxième partie présente quelques domaines d'applications, notamment la sûreté du logiciel et la recherche en informatique et en mathématiques. Coq est considéré comme un des outils les plus fiables pour la validation du logiciel, ce qui s’explique par les fondements théoriques de cet outil et son évolution depuis plus de 30 ans de recherche et de développement.

  • Article de bases documentaires : FICHE PRATIQUE
  • |
  • 11 juin 2014
  • |
  • Réf : 1275

Le scraping, un nouvel outil au service de la veille

Le web est un gigantesque dépôt d’informations et de données destinées à être consultées, éventuellement partagées ou commentées sur un navigateur Web. Ce dépôt est changeant, impermanent, parcellaire. Ce qu’il contient ne répond pas toujours à nos besoins, parfois un peu plus ou un peu moins, et nécessite de temps à autre un coup de neuf. Le grattage Web peut être entendu et connu sous plusieurs termes ou technologies qui pourraient refléter ce que vous cherchez :

  • screen scraping ;
  • collecte de données et collecte de données automatisée ;
  • Data Mining
  • grattage de site Web ;
  • extraction des données ;
  • données Crawling ;
  • site Web Ripper.

  • Article de bases documentaires : FICHE PRATIQUE
  • |
  • 18 juil. 2017
  • |
  • Réf : 1609

Comment protéger un logiciel ou une création informatique ?

Cette fiche permet d’appréhender les moyens dont vous disposez pour protéger un logiciel ou une création informatique.

Le logiciel et la création informatique peuvent être protégés par le droit de la propriété intellectuelle sous certaines conditions. Néanmoins, chaque élément composant une création informatique a un régime propre (droit d’auteur hybride pour le logiciel, droit d’auteur classique pour les éléments graphiques, par exemple) et il est impératif de s’interroger à chaque stade de réalisation de la création sur le régime applicable pour optimiser sa protection.

En pratique, pour bien protéger une création informatique, il convient d’identifier les différents éléments la composant : logiciel, interfaces graphiques, algorithmes, langage de programmation, fonctionnalités ou encore documentations. Ce travail d’identification vous permettra d’appliquer à chaque élément le régime juridique qui lui est propre, de mesurer l’étendue de vos droits et d’optimiser la protection de votre création informatique.

Les fiches pratiques pour protéger vos innovations.

  • Article de bases documentaires : FICHE PRATIQUE
  • |
  • 17 juil. 2017
  • |
  • Réf : 1619

Faire tomber un brevet gênant

Le brevet délivré confère à son titulaire un monopole d’exploitation que les tiers peuvent avoir intérêt à faire tomber ; même lorsque les offices de propriété industrielle pratiquent un examen renforcé des conditions de brevetabilité, le titre délivré n’est jamais à l’abri d’une invalidation par l’autorité judiciaire.

L’action en nullité peut être engagée, soit comme stratégie de défense dans le cadre d’une action en contrefaçon, soit à titre principal en dehors de toute action en contrefaçon, même si l’hypothèse est plus rare en pratique.

L’annulation du brevet présente la particularité d’avoir un effet dit « absolu », c’est pourquoi elle est la voie privilégiée pour faire tomber un brevet gênant.

À ce titre, cette fiche vise à :

  • expliciter les conditions d’ouverture et les spécificités de la procédure d’annulation d’un brevet français ou européen, permettant de faire tomber un brevet gênant ;
  • présenter les différentes causes d’invalidation d’un brevet français ou européen.

Les fiches pratiques pour protéger vos innovations.


INSCRIVEZ-VOUS AUX NEWSLETTERS GRATUITES !