#

Technique de description formelle

Technique de description formelle dans l'actualité

Toute l'actualité


Technique de description formelle dans les ressources documentaires

  • Article de bases documentaires
  • |
  • 10 avr. 2008
  • |
  • Réf : AF1460

Calcul formel

n'est pas la description du système de calcul formel Maple. Nous n'expliquerons pas de façon détaillée la syntaxe... de calcul formel nécessite une connaissance approfondie du système et de ses limitations. En précisant... de l’utilité d’un investissement dans une formation sur le calcul formel. De nombreux exemples illustrent... ’équations non linéaires. Pour cette présentation, c’est le système de calcul formel Maple qui a été choisi, ce système...

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 nov. 2022
  • |
  • Réf : H3290

Approche à base de modèles pour l’ingénierie des systèmes interactifs

Alors qu'en IHM, on utilise les méthodologies de conception centrée sur l'utilisateur, l’effort est faible pour améliorer la fiabilité des logiciels offrant de nouvelles techniques d'interaction. A la conception, le manque de fiabilité de ces logiciels peut provoquer des comportements inattendus ou indésirables, et fausser l’utilisabilité du produit. Les processus de conception itératifs permette...

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 févr. 2013
  • |
  • Réf : H8250

Méthodes formelles pour la vérification des systèmes embarqués

humaines. Pour augmenter le degré de confiance en ces systèmes, plusieurs méthodes formelles... 'un environnement non prévu. Des méthodes de vérifications formelles peuvent être mises en œuvre pour augmenter... formels que sur les outils disponibles ou (le cas échéant) leur utilisation dans un contexte industriel... éléments matériels. Chaque élément est alors modélisé dans un langage de description, permettant d'analyser...

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.


INSCRIVEZ-VOUS AUX NEWSLETTERS GRATUITES !