Mathematical Foundations of Software Engineering: A Practical Guide to Essentials
Ce manuel présente une introduction aux fondements mathématiques du génie logiciel. Il présente les riches applications des mathématiques dans des domaines tels que les codes correcteurs d'erreurs, la cryptographie, les domaines critiques de la sûreté et de la sécurité, les domaines de la banque et de l'assurance, ainsi que les applications traditionnelles de l'ingénierie.
Sujets et caractéristiques :
⬤ Les mathématiques fondamentales pour la pensée critique et la résolution de problèmes.
⬤ L'enseignement de la logique des propositions et des prédicats, ainsi que les différentes techniques de preuve permettant de démontrer l'exactitude d'un argument logique.
⬤ La théorie des nombres et ses applications à la cryptographie sont examinées.
La théorie des nombres et ses applications à la cryptographie ⬤ Les mathématiques sous-jacentes des codes correcteurs d'erreurs
⬤ La théorie des graphes et ses applications à la modélisation des réseaux.
La théorie des graphes et ses applications à la modélisation des réseaux ⬤ Examine les outils d'aide aux mathématiques du génie logiciel, y compris les prouveurs de théorèmes automatisés et interactifs et le model checking
⬤ L'ingénierie logicielle financière, y compris les intérêts simples et composés, les probabilités et les statistiques, ainsi que la recherche opérationnelle.
⬤ traite de la fiabilité et de la sûreté de fonctionnement des logiciels et explique les méthodes formelles utilisées pour dériver un programme à partir de sa spécification.
⬤ Le calcul, les matrices, les vecteurs, les nombres complexes et les quaternions, ainsi que les applications au graphisme et à la robotique sont abordés.
⬤ Chaque chapitre comprend des sujets d'apprentissage clés, des résumés et des questions de révision, ainsi qu'un glossaire utile.
Ce manuel/référence pratique et facile à suivre est idéal pour les étudiants en informatique qui souhaitent apprendre comment les mathématiques peuvent les aider à créer des logiciels fiables et de haute qualité, dans le respect des délais et du budget. Il constitue également un excellent ouvrage d'auto-apprentissage pour les ingénieurs en logiciel, les professionnels de la qualité et les gestionnaires de logiciels.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)