#

Specification et modelisation de logiciels

Specification et modelisation de logiciels dans les ressources documentaires

  • Article de bases documentaires
  • |
  • 10 févr. 2004
  • |
  • Réf : H3238

Langage UML : développement de logiciel et modélisation visuelle

’application dans un processus de développement de logiciel. La modélisation est une activité technique... de modélisation et notations complémentaires Pour les associations, les spécifications de visibilité... et établir la spécification du système attendu. Pour y répondre, UML propose de modéliser les fonctionnalités... Le langage UML (pour Unified Modeling Language) est un langage graphique de modélisation...

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 déc. 2004
  • |
  • Réf : S8100

Spécifications fonctionnelles

logiciel ont permis de reléguer la rédaction d’un document au niveau des spécifications préliminaires... ’ateliers de génie logiciel. L’analyse et la spécification fonctionnelle possèdent un caractère technique... Cet article s’interroge sur l’aptitude des modèles de spécification à générer un code exécutable... . Sont ensuite introduites la modélisation et la programmation des systèmes de contrôle, avec notamment...

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.


INSCRIVEZ-VOUS AUX NEWSLETTERS GRATUITES !