Rechercher une ressource pédagogique : sémantique formelle

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

2 résultats
section 1 sur 1
résultats 1 à 2
UNIT
UNIT
13.01.2011
Aspects sémantiques et algorithmiques du vivant
Description : La transposition des concepts informatiques de programmation et de vérification, à la modélisation et l'analyse des processus biochimiques au sein de la cellule, ouvre un nouveau champ de recherche pour la maîtrise de la complexité et la compréhension des phénomènes en biologie cellulaire. Tandis ...
  • Modélisation biologie
  • biologie de systèmes
  • cycle cellulaire
  • sémantique formelle
  • sémantique des modèles
  • logique temporelle
  • algorithme évolutionnaire
  • recherche paramètres
  • programmation
  • modèle réaction
  • SBML
  • fuscia
UNIT
UNIT
08.07.2003
Do general purpose languages have a future?
Description : As the computing world matures, the roles of computer professionals are becoming more specialized. In particular, a programmer can spend a whole career doing work in embedded systems or data analysis without a need to gain expertise in other fields. Would such programmers be best served by completely ...
  • fuscia
  • conférence
  • recherche
  • STIC
  • langage de programmation
  • langage spécialisé
  • langage général
  • bibliothèque logicielle
  • développement
  • implémentation
  • code
  • legacy code
  • abstraction
  • interopérabilité
  • performance
  • optimisation
  • objet
  • container
  • sémantique formelle