WorldCat Identities

Poirriez, Vincent

Overview
Works: 6 works in 13 publications in 2 languages and 15 library holdings
Roles: Author, Other, Thesis advisor
Publication Timeline
.
Most widely held works by Vincent Poirriez
INTEGRATION DE FONCTIONNALITES LOGIQUES DANS UN LANGAGE FONCTIONNEL FORTEMENT TYPE : MLOG UNE EXTENSION by Vincent Poirriez( Book )

4 editions published in 1991 in French and held by 6 WorldCat member libraries worldwide

Cette these decrit le langage mlog qui est une extension du langage ml avec des variables logiques et une unification. Un mecanisme de suspension d'application est introduit. Cette extension permet de manipuler des valeurs partiellement definies et fournit un moyen elegant de controle de l'evaluation. De nombreux exemples sont donnes, illustrant les possibilites offertes par mlog. Il est montre que le noyau du langage verifie une propriete de confluence, en effet bien que mlog soit un calcul strict l'ordre d'evaluation des membres d'une paire, d'une application ou d'unification ainsi que l'ordre d'evaluation des reveils des suspensions qui peuvent etre reveillees n'est pas impose. Le typage de ml est etendu a mlog et des arguments de typage sont utilises pour prouver que mlog est une extension conservative de ml, c'est-a-dire que les programmes qui n'utilisent pas les variables logiques ne sont pas penalises. Une machine abstraite, la camlog, extension de la cam, est decrite. La compilation d'un terme du noyau de mlog dans la camlog est decrite formellement et l'on prouve la correction de l'execution de ce code par la camlog
Unbounded Knapsack Problem : Dynamic Programming Revisited by Rumen Andonov( Book )

3 editions published in 1997 in English and held by 3 WorldCat member libraries worldwide

Combining SysML and SystemC to Simulate and Verify Complex Systems by Abbas Abdulazeez Abdulhameed( )

2 editions published in 2016 in English and held by 2 WorldCat member libraries worldwide

De nombreux systèmes hétérogènes sont complexes et critiques. Ces systèmes intègrent du logiciel et des composants matériels avec des interactions fortes entre ces composants. Dans ce contexte, il est devenu absolument nécessaire de développer des méthodologies et des techniques pour spéciier et valider ces systèmes.Dans l'ingénierie des systèmes, les exigences sont l'expression des besoins qu'un produit spécifique ou un service doit réaliser. Elles sont définies formellement à de nombreuses occasions dans l'ingénierie des systèmes complexes. Dans ce type de système, deux catégories d'exigence sont présentes : les exigences non-fonctionnelles telles que la performance et la fiabilité, les exigences fonctionnelles telles que la vivacité. Pour valider ces exigences, un environnement permettant de simuler et vérifier ces propriétés est essentiel.Dans notre travail, nous proposons une méthodologie basée sur SysML et combinée avec SystemC et Promela/SPIN pour spéciier et valider des systèmes complexes. Cette approche est basée sur l'ingénierie dirigée par les modèles pour premièrement traduire des modèles SysML en SystemC afin de réaliser des simulations et deuxièmement traduire des diagrammes d'état SysML en Promela/SPINain de vérifier des propriétés temporelles extraites des exigences. Cette approche est expérimentée sur une étude de cas pour démontrer sa faisabilité
Génération automatique de composants logiciels sûrs à partir de spécifications formelles B by Dorian Petit( Book )

2 editions published in 2003 in French and held by 2 WorldCat member libraries worldwide

Ce mémoire est consacré à l'étude de la génération de code à partir de spécifications formelles B. L'aspect primordial à maîtriser pour la génération de code est la modularité du langage B. Pour ce faire, nous avons modélisé le système de modules du langage B en l'exprimant par un système de modules à la Harper-Lillibridge-Leroy. Cette modélisation nous permet de clarifier certains aspects de la modularité de B et nous permet ainsi d'avoir une représentation des spécifications B qui pourra ensuite être utilisée lors de la phase de génération de code. Ce nouveau système de module pour B nous permet également d'aborder une technique de production de logiciel, la programmation par composants. Cette technique est souvent utilisée conjointement à la programmation par contrats. Notre démarche de génération de code permet de marier ces deux techniques à celle du développement formel B pour tirer partie des avantages de chacune des méthodes de développement
Recent advances in solving the protein threading problem( Book )

1 edition published in 2007 in English and held by 1 WorldCat member library worldwide

Optimal tiling for the RNA base pairing problem by Francisco Almeida( Book )

1 edition published in 2002 in English and held by 1 WorldCat member library worldwide

 
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for INTEGRATIO ... to 0.00 for INTEGRATIO ...)

Languages