Cette thèse CIFRE se positionne dans le cadre du génie logiciel en ayant pour objectif la facilitation de l'intégration de l'approche par règles métier en proposant un formalisme indépendant de tout moteur de règles et en générant une partie de ces règles. Dans un premier temps, nous introduisons l'approche par règles métier comme étant une alternative à l'approche classique des cycles de développement. Nous introduisons également le formalisme de règles, les systèmes de gestion de règles métier et présentons un banc d'essai des moteurs de règles les plus utilisés. Dans une seconde partie nous parlons de l'ingénierie dirigée par les modèles et comment nous nous en servons. Dans une troisième partie nous parlons du Web Sémantique et de ses t...
Une sémiotique computationnelle n’est pas une sémiotique de la computation ni des ou...
La conception assistée par ordinateur L’histoire de la géométrie algorithmique commence dans les ann...
Dans un système interactif, le terme rétroaction (réponse du système utilisateur ou rendering) fait ...
Cet article présente les différents composants d'une méthode de développement de logiciel intégrée. ...
Cette thèse s'inscrit dans le domaine des méthodes d'ingénierie des systèmes d'information à base de...
Aujourd'hui, un des points cruciaux dans le développement des logiciels critiques est le passage de ...
Les équations mathématiques constituent un formalisme essentiel pour la science. Le dimensionnement ...
La méthode B a pour ambition de fournir un cadre rigoureux à la construction de logiciels. Elle vise...
Colloque avec actes et comité de lecture. nationale.National audienceLes patterns jouent un rôle de ...
Université : Université scientifique et médicale de GrenobleOn étudie l'abstraction et la généricité...
L’utilisation à grande échelle de UML dans l’industrie informatique est en train d’en faire une norm...
International audienceCet article présente un nouveau protocole d’apprentissage de la programmation ...
Dans ce travail nous évaluons la pertinence et la portée d'un ensemble de formalismes informatiques ...
Le développement d'un solveur de contraintes géométriques est un sujet de recherche très intéressant...
Les travaux présentés dans ce manuscrit ont pour objectif la conception d'une plate-forme de concept...
Une sémiotique computationnelle n’est pas une sémiotique de la computation ni des ou...
La conception assistée par ordinateur L’histoire de la géométrie algorithmique commence dans les ann...
Dans un système interactif, le terme rétroaction (réponse du système utilisateur ou rendering) fait ...
Cet article présente les différents composants d'une méthode de développement de logiciel intégrée. ...
Cette thèse s'inscrit dans le domaine des méthodes d'ingénierie des systèmes d'information à base de...
Aujourd'hui, un des points cruciaux dans le développement des logiciels critiques est le passage de ...
Les équations mathématiques constituent un formalisme essentiel pour la science. Le dimensionnement ...
La méthode B a pour ambition de fournir un cadre rigoureux à la construction de logiciels. Elle vise...
Colloque avec actes et comité de lecture. nationale.National audienceLes patterns jouent un rôle de ...
Université : Université scientifique et médicale de GrenobleOn étudie l'abstraction et la généricité...
L’utilisation à grande échelle de UML dans l’industrie informatique est en train d’en faire une norm...
International audienceCet article présente un nouveau protocole d’apprentissage de la programmation ...
Dans ce travail nous évaluons la pertinence et la portée d'un ensemble de formalismes informatiques ...
Le développement d'un solveur de contraintes géométriques est un sujet de recherche très intéressant...
Les travaux présentés dans ce manuscrit ont pour objectif la conception d'une plate-forme de concept...
Une sémiotique computationnelle n’est pas une sémiotique de la computation ni des ou...
La conception assistée par ordinateur L’histoire de la géométrie algorithmique commence dans les ann...
Dans un système interactif, le terme rétroaction (réponse du système utilisateur ou rendering) fait ...