#

Specification et modelisation de logiciels

Specification et modelisation de logiciels dans l'actualité

PublicitéDevenez annonceur

Toute l'actualité


Specification et modelisation de logiciels dans les livres blancs


Specification et modelisation de logiciels dans les conférences en ligne


Specification et modelisation de logiciels dans les ressources documentaires

  • Article de bases documentaires
  • |
  • 10 juil. 2003
  • |
  • Réf : BM5016

Logiciels de modélisation des structures : expression du besoin

Nous avons cherché à illustrer la méthodologie de choix d’un logiciel pour la modélisation... un logiciel de modélisation par éléments finis ? Avant d’approfondir l’analyse des besoins pour un logiciel... ). Quelles classes de structures veut-on étudier ? Pour faire simple, l’offre actuelle de logiciels de modélisation... que le logiciel de modélisation par éléments finis n’est plus aujourd’hui un outil isolé. Il se situe...

Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.

  • Article de bases documentaires
  • |
  • 10 juil. 2003
  • |
  • Réf : BM5017

Logiciels de modélisation des structures : analyse de l’offre

ou complètement spécifiques. Un logiciel de modélisation nécessite une plate-forme informatique La plate-forme... Cet article s'intéresse au choix d'un logiciel de modélisation des structures par l'analyse... , quelle que soit sa taille. La décision d’acquérir un logiciel de modélisation pour les études mécaniques doit permettre d... . Le logiciel est un outil ou un procédé comme les autres Un logiciel de modélisation n’est pas un produit...

Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.

  • Article de bases documentaires
  • |
  • 10 janv. 2012
  • |
  • Réf : SE2525

Méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés

, des outils et des techniques spécifiques pour répondre au niveau de confiance exigé. Plus un logiciel... du logiciel par une spécification de haut niveau. Si une approche est du type formel sur une partie... . Depuis des décennies, la complexité des systèmes et des logiciels s'est accrue pour différentes raisons : d'une part... toujours plus de fonctionnalités parce que le logiciel ne semble pas avoir de limite, étant immatériel (il suffit d'écrire du code...

Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.

  • Article de bases documentaires : FICHE PRATIQUE
  • |
  • 19 mars 2012
  • |
  • Réf : 0673

Organiser le développement de logiciels embarqués dans un système automatisé

Lorsque la taille et la complexité du logiciel embarqué augmentent, il est nécessaire de structurer son développement. La méthode proposée consiste à réduire la complexité du système en sous-systèmes plus simples à concevoir.

Organiser le développement d’un logiciel embarqué par le principe de la décomposition en cycle en V permet d’aboutir par étapes successives à une description détaillée du logiciel à concevoir à partir d’une description abstraite de l’application à réaliser. De la même manière, le test du logiciel est réalisé par étapes pour terminer par un test final de l’application complète.

Cette fiche décrit les étapes à suivre pour mettre en œuvre le cycle en V.

Un outil incontournable pour comprendre, agir et choisir- Nouveauté !

  • Article de bases documentaires : FICHE PRATIQUE
  • |
  • 08 nov. 2014
  • |
  • Réf : 1180

Toxicité systémique spécifique : les perturbateurs endocriniens (PE)

Les perturbateurs endocriniens peuvent avoir un impact important sur la santé des personnes exposées. Cette fiche vous permettra de connaître l’impact des xénobiotiques sur le système endocrinien, et d’en déduire les conséquences.

Les fiches pratiques répondent à des besoins opérationnels et accompagnent le professionnel en le guidant étape par étape dans la réalisation d'une action concrète.

  • 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.


INSCRIVEZ-VOUS AUX NEWSLETTERS GRATUITES !