Contribution à la programmation générative
Depuis quelques années, la manière de programmer des applications complexes subit d'importants bouleversements induits essentiellement par cette nouvelle informatique présente partout, dite ubiquitaire. Ces bouleversements imposent de concevoir de nouvelles approches pour le développement logic...
Main Author: | Parigot, Didier |
---|---|
Language: | FRE |
Published: |
Université de Nice Sophia-Antipolis
2003
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00506070 http://tel.archives-ouvertes.fr/docs/00/50/60/70/PDF/Parigot.pdf |
Similar Items
-
Contribution à la vérication formelle et programmation par contraintes
by: Collavizza, Hélène
Published: (2009) -
Vers une programmation fonctionnelle praticable
by: Serrano, Manuel
Published: (2000) -
De l'extension des langages à objets à la réalisation de modèles métiers : une évolution du développement logiciel
by: Lahire, Philippe
Published: (2004) -
Validation par évaluation sur un modèle : méthodes et algorithmes
by: Fernandez, Jean-Claude
Published: (1996) -
Validation de métriques de testabilité logicielle pour les programmes objets
by: Shaheen, Muhammad Rabee
Published: (2009)