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.
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.
. Bien que les techniques d’analyses formelles de programme (voir les travaux de Hoare HOARE (C.A.R) - An axiomatic basis... Observatoire français des techniques avancées (OFTA) - Applications des méthodes formelles au logiciel... manuellement qu’au travers d’un processus formel. C’est pourquoi d’autres techniques formelles ont été mises... Sous la direction de BOULANGER (J.-L.) - Utilisations industrielles des techniques formelles – Interprétation...
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.
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
Avec Techniques de l'Ingénieur, retrouvez tous les articles scientifiques et techniques : base de données, veille technologique, documentation et expertise technique
Plus de 10 000 articles de référence, fiches pratiques et articles interactifs validés par les comités scientifiques
Toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie
SUIVEZ-NOUS
