Dans un contexte de données industrielles et numériques, le développement d'un outil sur mesure pour une tâche particulière est couteux par de nombreux aspects. À l'inverse, l'adaptation d'outils génériques l'est également en particularisation (personnalisation, adaptation, extension, …), pour les développeurs comme pour les utilisateurs finaux. Nos approches visent à considérer les différents niveaux d'interactions pour améliorer l'exploitation des données fournies ou générées en collaboration.Les définitions et problématiques liées aux données dépendent le plus souvent des domaines dans lesquelles elles sont traitées. Pour ce travail, nous avons opté pour une approche holistique considérant ensemble des perspectives différentes. Le résultat est une synthèse des concepts émergeant montrant les équivalences d'un domaine à l'autre. La première contribution consiste à améliorer le marquage collaboratif de documents. Deux améliorations sont proposées par notre outil Coviz. (1) L'étiquetage des ressources est propre à chaque utilisateur qui organise ses vocables par une poly-hiérarchie nominative. Chacun peut considérer les concepts des autres par une relation de partage. Le système fournit également du contenu connexe via un moissonnage des archives ouvertes. (2) L'outil applique le concept de facette des données à l'interface puis les combine avec une recherche par mot-clé. Ce dernier point est commun à tous les utilisateurs, le système considère chacune des actions individuelles comme celles d'un groupe.La contribution majeure, confidentielle, est un framework baptisé DIP pour Data Interaction and Presentation. Son but est d'augmenter la liberté d'expression de l'utilisateur sur l'interaction et l'accès aux données. Il diminue les contraintes machines et logicielles en adjoignant une nouvelle voix d'accès direct entre l'utilisateur et les données disponibles, ainsi que des points d'« articulation » génériques. D'un point de vue final, l'utilisateur gagne en expression de filtrage, en partage, en maintien de l'état de sa navigation, en automatisation de ses tâches courantes, etc.Il a été testé en condition réelle de stress, de ressources et d'utilisation avec le logiciel KeePlace. Ce dernier a d'ailleurs été l'initiateur de cette thèse. / In the context of numeric data, the software development costs entail a number of cost factors. In contrast, adapting generic tools has its own set of costs, requiring developer's integration and final user's adaptation. The aim of our approach is to consider the different points of interaction with the data to improve the exploitation of data, whether provided or generated from collaboration.The definitions and problems related to data are dependent upon the domain from which the data come and the treatment that have been applied to them. In this work we have opted for a holistic approach where we consider the range of angles. The result is a summary of the emergent concepts and domain equivalences.The first contribution consists of improving collaborative document mark-up. Two improvements are proposed by out tool – Coviz –. 1) Resource tagging which is unique to each user, who organises their own labels according to their personal poly-hierarchy. Each user may take into consideration other users approaches through sharing of tags. The system supplies additional context through a harvesting of documents in open archives. 2) The tool applies the concept of facets to the interface and then combines them to provide a search by keyword or characteristic selection. This point is shared by all users and the actions of an individual user impact the whole group.The major contribution, which is confidential, is a framework christened DIP for Data Interaction and Presentation. Its goal is to increase the freedom of expression of the user over the interaction and access to data. It reduces the hardware and software constrains by adding a new access point between the user and the raw data as well as generic pivots. From a final point of view the user gains in expression of filtering, in sharing, in state persistence of the navigator, in automation of day-to-day tasks, etc.DIP has been stress tested under real-life conditions of users and limited resources with the software KeePlace. Acknowledgement is given to KeePlace who initiated this thesis.

O carcinoma basocelular (CBC) é tumor constituído por diferentes tipos histológicos, que demonstram diverso potencial de agressividade. Sabe-se que a correlação entre os tipos histológicos de CBC encontrados no material de biópsia pré-operatória e no material da peça cirúrgica excisional não é total. Na literatura esta correlação varia de 42,7 a 80,0% quando analisados os tipos histológicos predominantes (THP). No presente estudo foi feita análise retrospectiva de 70 casos de CBC primário submetidos a biópsia préoperatória e cirurgia excisional. A amostra foi analisada estatisticamente quanto ao gênero e idade dos doentes e localização anatômica dos CBC, demonstrando ser comparável aos demais estudos da literatura. Também foram avaliados o tamanho médio tumoral e o tipo de reconstrução utilizado. A média do maior eixo dos CBC foi de 20 mm e 54% dos casos necessitaram reconstrução complexa, como retalhos e enxertos, mostrando ser amostra representativa de tumores de médio a grande porte. A avaliação histológica foi feita de modo padronizado, determinando tanto o THP quanto os tipos histológicos acessórios (THA) encontrados no material das biópsias pré-operatórias e nas peças cirúrgicas excisionais. Houve 78,3% de correlação entre THP da biópsia e peça cirúrgica, 87,0% de correlação entre THP e/ou THA da biópsia e THP da peça cirúrgica e 92,7% de correlação entre tipos agressivos ou não agressivos. Conclui-se que a biópsia préoperatória é útil para predizer o THP de CBC da peça cirúrgica excisional na maioria dos casos. No entanto, é importante ressaltar que, quando descrito apenas o THP encontrado na biópsia, ocorre 21,7% de falha no diagnóstico. Quando descritos THP e THA encontrados na biópsia a falha diagnóstica cai para 13%. Quando a intenção da biópsia for a determinação da presença de tipos de CBC agressivos ou não, a falha no diagnóstico é de apenas 7,3% / Basal cell carcinoma (BCC) is a tumor presenting many histological types, each one possessing a specific aggressivity potential. It\'s known that correlation between histological types found in preoperative biopsy specimens and excisional surgery specimens is not total. When correlation between predominant histological types (PHT) is analyzed, concordance value varies from 42,7 to 80,0% in the literature. In the present study 70 primary BCC submitted to preoperative biopsy and excisional surgery were retrospectively analyzed. The sample was statistically analyzed in terms of patients\' gender and age and anatomical location of the tumour and was found to be similar to other reports in the literature. Average size of tumors and type of surgical reconstruction employed were also evaluated. Average size of the largest tumour axis was 20 mm and 54% of the cases needed complex reconstructions, such as flaps and grafts, demonstrating that the sample was represented by medium to large sized tumors. Histological evaluation was made in a patterned way, determining PHT and accessory histological types (AHT) in both preoperative biopsies and excisional surgery specimens. Results obtained were: 78.3% correlation between biopsy PHT and excisional surgery PHT, 87.0% correlation between biopsy PHT and/or AHT and excisional surgery PHT and 92.7% correlation when BCC were classified as \"aggressive\" or \"non aggressive\" . Conclusion: preoperative biopsy is useful to predict BCC\'s PHT of excisional surgery specimen in most cases. However, it\'s important to note that when biopsy findings are limited to the description of the PHT , there is a 21.7% diagnostic failure. When both PHT and AHT found in biopsy are described, diagnostic failure falls to 13%. When the intention is determining the presence of aggressive or non aggressive types of BCC, diagnostic failure is only 7.3%

O carcinoma basocelular (CBC) é tumor constituído por diferentes tipos histológicos, que demonstram diverso potencial de agressividade. Sabe-se que a correlação entre os tipos histológicos de CBC encontrados no material de biópsia pré-operatória e no material da peça cirúrgica excisional não é total. Na literatura esta correlação varia de 42,7 a 80,0% quando analisados os tipos histológicos predominantes (THP). No presente estudo foi feita análise retrospectiva de 70 casos de CBC primário submetidos a biópsia préoperatória e cirurgia excisional. A amostra foi analisada estatisticamente quanto ao gênero e idade dos doentes e localização anatômica dos CBC, demonstrando ser comparável aos demais estudos da literatura. Também foram avaliados o tamanho médio tumoral e o tipo de reconstrução utilizado. A média do maior eixo dos CBC foi de 20 mm e 54% dos casos necessitaram reconstrução complexa, como retalhos e enxertos, mostrando ser amostra representativa de tumores de médio a grande porte. A avaliação histológica foi feita de modo padronizado, determinando tanto o THP quanto os tipos histológicos acessórios (THA) encontrados no material das biópsias pré-operatórias e nas peças cirúrgicas excisionais. Houve 78,3% de correlação entre THP da biópsia e peça cirúrgica, 87,0% de correlação entre THP e/ou THA da biópsia e THP da peça cirúrgica e 92,7% de correlação entre tipos agressivos ou não agressivos. Conclui-se que a biópsia préoperatória é útil para predizer o THP de CBC da peça cirúrgica excisional na maioria dos casos. No entanto, é importante ressaltar que, quando descrito apenas o THP encontrado na biópsia, ocorre 21,7% de falha no diagnóstico. Quando descritos THP e THA encontrados na biópsia a falha diagnóstica cai para 13%. Quando a intenção da biópsia for a determinação da presença de tipos de CBC agressivos ou não, a falha no diagnóstico é de apenas 7,3% / Basal cell carcinoma (BCC) is a tumor presenting many histological types, each one possessing a specific aggressivity potential. It\'s known that correlation between histological types found in preoperative biopsy specimens and excisional surgery specimens is not total. When correlation between predominant histological types (PHT) is analyzed, concordance value varies from 42,7 to 80,0% in the literature. In the present study 70 primary BCC submitted to preoperative biopsy and excisional surgery were retrospectively analyzed. The sample was statistically analyzed in terms of patients\' gender and age and anatomical location of the tumour and was found to be similar to other reports in the literature. Average size of tumors and type of surgical reconstruction employed were also evaluated. Average size of the largest tumour axis was 20 mm and 54% of the cases needed complex reconstructions, such as flaps and grafts, demonstrating that the sample was represented by medium to large sized tumors. Histological evaluation was made in a patterned way, determining PHT and accessory histological types (AHT) in both preoperative biopsies and excisional surgery specimens. Results obtained were: 78.3% correlation between biopsy PHT and excisional surgery PHT, 87.0% correlation between biopsy PHT and/or AHT and excisional surgery PHT and 92.7% correlation when BCC were classified as \"aggressive\" or \"non aggressive\" . Conclusion: preoperative biopsy is useful to predict BCC\'s PHT of excisional surgery specimen in most cases. However, it\'s important to note that when biopsy findings are limited to the description of the PHT , there is a 21.7% diagnostic failure. When both PHT and AHT found in biopsy are described, diagnostic failure falls to 13%. When the intention is determining the presence of aggressive or non aggressive types of BCC, diagnostic failure is only 7.3%

Un des plus grands défis dans la conception matérielle et logicielle est de s’assurer que le système soit exempt d’erreurs. La moindre erreur dans les systèmes embarqués réactifs peut avoir des conséquences désastreuses et coûteuses pour certains projets critiques, nécessitant parfois de gros investissements pour les corriger, ou même conduire à un échec spectaculaire et inattendu du système. Prévenir de tels phénomènes en identifiant tous les comportements critiques du système est une tâche assez délicate. Les tests en industrie sont globalement non exhaustifs, tandis que la vérification formelle souffre souvent du problème d’explosion combinatoire. Nous présentons dans ce contexte une nouvelle approche de génération exhaustive de jeux de test qui combine les principes du test industriel et de la vérification formelle académique. Notre approche construit un modèle générique du système étudié à partir de l’approche synchrone. Le principe est de se limiter à l’analyse locale des sous-espaces significatifs du modèle. L’objectif de notre approche est d’identifier et extraire les conditions préalables à l’exécution de chaque chemin du sous-espace étudie. Il s’agit ensuite de générer tout les cas de tests possibles à partir de ces pré-conditions. Notre approche présente un algorithme de quasi-aplatissement plus simple et efficace que les techniques existantes ainsi qu’une compilation avantageuse favorisant une réduction considérable du problème de l’explosion de l’espace d’états. Elle présente également une manipulation symbolique des données numériques permettant un test plus expressif et concret du système étudié. / One of the biggest challenges in hardware and software design is to ensure that a system is error-free. Small errors in reactive embedded systems can have disastrous and costly consequences for a project. Preventing such errors by identifying the most probable cases of erratic system behavior is quite challenging. Indeed, tests in industry are overall non-exhaustive, while formal verification in scientific research often suffers from combinatorial explosion problem. We present in this context a new approach for generating exhaustive test sets that combines the underlying principles of the industrial test technique and the academic-based formal verification approach. Our approach builds a generic model of the system under test according to the synchronous approach. The goal is to identify the optimal preconditions for restricting the state space of the model such that test generation can take place on significant subspaces only. So, all the possible test sets are generated from the extracted subspace preconditions. Our approach exhibits a simpler and efficient quasi-flattening algorithm compared with existing techniques and a useful compiled internal description to check security properties and reduce the state space combinatorial explosion problem. It also provides a symbolic processing technique of numeric data that provides a more expressive and concrete test of the system. We have implemented our approach on a tool called GAJE. To illustrate our work, this tool was applied to verify an industrial project on contactless smart cards security.

A cirurgia micrográfica de Mohs (CMM) é realizada em fases sucessivas de retirada tumoral. Cada fase demora de uma a duas horas, dependendo do tamanho da lesão; portanto, é muito importante conseguir predizer o número de fases da cirurgia a fim de poder programar melhor o tempo de uso da sala cirúrgica e da equipe cirúrgica, o uso de anestésicos, os custos da cirurgia, melhor orientar o paciente e assegurar a remoção completa do tumor. Com o intuito de encontrar fatores preditivos do número de fases da CMM no tratamento do carcinoma espinocelular da cabeça, realizou-se o levantamento dos prontuários de 44 pacientes submetidos a 51 CMM no ambulatório de cirurgia dermatológica da Divisão de Dermatologia do HC-FMUSP/SP, de 1994 a 2003. Foram constituídos três grupos quanto ao número de fases da CMM: uma fase, duas fases e três ou mais fases. Os grupos foram comparados em relação às variáveis: duração da lesão até a cirurgia, morfologia, tamanho e limites da lesão, tumor primário ou recidivado, grau de diferenciação histológica do tumor e localização anatômica do tumor. Identificou-se um único fator significante na análise univariada: a distribuição dos tumores recidivados segundo o número de fases da cirurgia e que diferiu da distribuição dos tumores primários (p=0,081, teste exato de Fisher), sendo maior o número de fases para os tumores recidivados. Na análise multivariada, não houve fatores estatisticamente significantes que pudessem estar associados ao número de fases da cirurgia. Na análise da razão de chances, observou-se maior chance de apresentar maior número de fases para as variáveis: limites clínicos imprecisos, tumor ulcerado, tumor recidivado, tumor mais agressivo histologicamente e tumor maior que 1 cm. / Mohs micrographic surgery (MMS) is proceeded in successive stages of cancer removal. Each stage lasts from 1 to 2 hours, depending on the tumor size. So it is very important to predict the number of phases of the surgery so that one can plan better the time of the surgical room use, the time of the surgeon and his team, the use of anaesthetics, the surgical costs, to give the patient better orientations about his surgery and to ensure complete tumor erradication. With the intention to find predictive factors of the number of stages of MMS in the treatment of squamous cell carcinoma, we reviewed the record of 44 patients on a total of 51 surgeries proceeded in the dermatologic surgical clinic of the Dermatological Division of HC-FMUSP/SP from 1994 to 2003. For the number of stages in the MMS we established 3 groups: 1 stage, 2 stages and 3 or more stages. These groups were compared with regard to this variables: continuance of the lesion until the surgery, morphology and size of the lesion, lesion limits, primary or recurrent cancer, histological grade (Broders) and anatomic localization. In the univariated analysis one single factor was significant: the distribution of the recurrent cancers related to the number of stages of the surgery that was different from the distribution of the primary ones (p=0.081, Fisher\'s exact test), been higher the number of stages for the recurrent cancers. In the multivariated analysis, there were no statistically significant factors associated with higher number of stages of the surgery. In the analysis of the odss ratio, we noted a higher chance of a higher number of stages for the variables: inaccurate clinical limits, ulcerated lesions, recurrent cancer, higher aggressive histology and tumor bigger than 1 cm.

A cirurgia micrográfica de Mohs (CMM) é realizada em fases sucessivas de retirada tumoral. Cada fase demora de uma a duas horas, dependendo do tamanho da lesão; portanto, é muito importante conseguir predizer o número de fases da cirurgia a fim de poder programar melhor o tempo de uso da sala cirúrgica e da equipe cirúrgica, o uso de anestésicos, os custos da cirurgia, melhor orientar o paciente e assegurar a remoção completa do tumor. Com o intuito de encontrar fatores preditivos do número de fases da CMM no tratamento do carcinoma espinocelular da cabeça, realizou-se o levantamento dos prontuários de 44 pacientes submetidos a 51 CMM no ambulatório de cirurgia dermatológica da Divisão de Dermatologia do HC-FMUSP/SP, de 1994 a 2003. Foram constituídos três grupos quanto ao número de fases da CMM: uma fase, duas fases e três ou mais fases. Os grupos foram comparados em relação às variáveis: duração da lesão até a cirurgia, morfologia, tamanho e limites da lesão, tumor primário ou recidivado, grau de diferenciação histológica do tumor e localização anatômica do tumor. Identificou-se um único fator significante na análise univariada: a distribuição dos tumores recidivados segundo o número de fases da cirurgia e que diferiu da distribuição dos tumores primários (p=0,081, teste exato de Fisher), sendo maior o número de fases para os tumores recidivados. Na análise multivariada, não houve fatores estatisticamente significantes que pudessem estar associados ao número de fases da cirurgia. Na análise da razão de chances, observou-se maior chance de apresentar maior número de fases para as variáveis: limites clínicos imprecisos, tumor ulcerado, tumor recidivado, tumor mais agressivo histologicamente e tumor maior que 1 cm. / Mohs micrographic surgery (MMS) is proceeded in successive stages of cancer removal. Each stage lasts from 1 to 2 hours, depending on the tumor size. So it is very important to predict the number of phases of the surgery so that one can plan better the time of the surgical room use, the time of the surgeon and his team, the use of anaesthetics, the surgical costs, to give the patient better orientations about his surgery and to ensure complete tumor erradication. With the intention to find predictive factors of the number of stages of MMS in the treatment of squamous cell carcinoma, we reviewed the record of 44 patients on a total of 51 surgeries proceeded in the dermatologic surgical clinic of the Dermatological Division of HC-FMUSP/SP from 1994 to 2003. For the number of stages in the MMS we established 3 groups: 1 stage, 2 stages and 3 or more stages. These groups were compared with regard to this variables: continuance of the lesion until the surgery, morphology and size of the lesion, lesion limits, primary or recurrent cancer, histological grade (Broders) and anatomic localization. In the univariated analysis one single factor was significant: the distribution of the recurrent cancers related to the number of stages of the surgery that was different from the distribution of the primary ones (p=0.081, Fisher\'s exact test), been higher the number of stages for the recurrent cancers. In the multivariated analysis, there were no statistically significant factors associated with higher number of stages of the surgery. In the analysis of the odss ratio, we noted a higher chance of a higher number of stages for the variables: inaccurate clinical limits, ulcerated lesions, recurrent cancer, higher aggressive histology and tumor bigger than 1 cm.