2 résultats : sémantique formelle

Recherche en cours

Par mots-clef = sémantique formelle

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

2 résultats

page 1 sur 1

résultats 1 à 2

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 ...

Mots clés : 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

Date : 13-01-2011

Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)

Aspects sémantiques et algorithmiques du vivant

Ajouter à mon panier

Accéder au document

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 ...

Mots clés : 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

Date : 08-07-2003

Do general purpose languages have a future?

Ajouter à mon panier

Accéder au document

Rebondir