Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"Université de Sherbrooke" +contributor:("Frappier, Marc"). Showing records 1 – 30 of 33 total matches.

[1] [2]

Search Limiters

Last 2 Years | English Only

Levels

▼ Search Limiters


Université de Sherbrooke

1. Pooda, Herman. Évaluation et comparaison des modèles de contrôle d'accès.

Degree: 2016, Université de Sherbrooke

 La protection des données et de la vie privée des personnes est devenue aujourd’hui un enjeu majeur pour les entreprises et les organisations gouvernementales qui… (more)

Subjects/Keywords: Contrôle d’accès; Dossier santé électronique; Protection de la vie privée; Évaluation des modèles de contrôle d’accès; Comparaison des modèles de contrôle d’accès; RBAC; XACML; SGAC

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pooda, H. (2016). Évaluation et comparaison des modèles de contrôle d'accès. (Masters Thesis). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/8157

Chicago Manual of Style (16th Edition):

Pooda, Herman. “Évaluation et comparaison des modèles de contrôle d'accès.” 2016. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://hdl.handle.net/11143/8157.

MLA Handbook (7th Edition):

Pooda, Herman. “Évaluation et comparaison des modèles de contrôle d'accès.” 2016. Web. 21 Jan 2021.

Vancouver:

Pooda H. Évaluation et comparaison des modèles de contrôle d'accès. [Internet] [Masters thesis]. Université de Sherbrooke; 2016. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11143/8157.

Council of Science Editors:

Pooda H. Évaluation et comparaison des modèles de contrôle d'accès. [Masters Thesis]. Université de Sherbrooke; 2016. Available from: http://hdl.handle.net/11143/8157


Université de Sherbrooke

2. Lassale, Mathieu. Génération de tests de vulnérabilité pour la structure des fichiers cap en Java Card.

Degree: 2016, Université de Sherbrooke

 Les cartes à puce Java comportent plusieurs mécanismes de sécurité, dont le vérifieur de code intermédiaire (\emph{ \ll Java Card bytecode verifier \gg }), qui… (more)

Subjects/Keywords: Event-B; Vérifieur de byte code; Vérification de structure; Tests de vulnérabilité; Java Card; ProB

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lassale, M. (2016). Génération de tests de vulnérabilité pour la structure des fichiers cap en Java Card. (Masters Thesis). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/8563

Chicago Manual of Style (16th Edition):

Lassale, Mathieu. “Génération de tests de vulnérabilité pour la structure des fichiers cap en Java Card.” 2016. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://hdl.handle.net/11143/8563.

MLA Handbook (7th Edition):

Lassale, Mathieu. “Génération de tests de vulnérabilité pour la structure des fichiers cap en Java Card.” 2016. Web. 21 Jan 2021.

Vancouver:

Lassale M. Génération de tests de vulnérabilité pour la structure des fichiers cap en Java Card. [Internet] [Masters thesis]. Université de Sherbrooke; 2016. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11143/8563.

Council of Science Editors:

Lassale M. Génération de tests de vulnérabilité pour la structure des fichiers cap en Java Card. [Masters Thesis]. Université de Sherbrooke; 2016. Available from: http://hdl.handle.net/11143/8563


Université de Sherbrooke

3. Diagne, Fama. Preuve de propriétés dynamiques en B.

Degree: 2013, Université de Sherbrooke

 Résumé: Les propriétés que l'on souhaite exprimer sur les applications système d'information ne peuvent se restreindre aux propriétés statiques, dites propriétés d'invariance, qui portent sur… (more)

Subjects/Keywords: Automatisation; Méthode B; Preuve; Propriétés dynamiques; Systèmes d'information

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Diagne, F. (2013). Preuve de propriétés dynamiques en B. (Doctoral Dissertation). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/6544

Chicago Manual of Style (16th Edition):

Diagne, Fama. “Preuve de propriétés dynamiques en B.” 2013. Doctoral Dissertation, Université de Sherbrooke. Accessed January 21, 2021. http://hdl.handle.net/11143/6544.

MLA Handbook (7th Edition):

Diagne, Fama. “Preuve de propriétés dynamiques en B.” 2013. Web. 21 Jan 2021.

Vancouver:

Diagne F. Preuve de propriétés dynamiques en B. [Internet] [Doctoral dissertation]. Université de Sherbrooke; 2013. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11143/6544.

Council of Science Editors:

Diagne F. Preuve de propriétés dynamiques en B. [Doctoral Dissertation]. Université de Sherbrooke; 2013. Available from: http://hdl.handle.net/11143/6544


Université de Sherbrooke

4. Nguessan, Kouassi Michel. La gestion des projets de mise en oeuvre des systèmes ERP en milieu universitaire.

Degree: 2012, Université de Sherbrooke

 La présente étude porte sur la gestion des projets de mise en oeuvre des systèmes ERP en milieu universitaire. Les systèmes ERP, ou progiciels de(more)

Subjects/Keywords: Systèmes ERP; Universités; Gestion des projets

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nguessan, K. M. (2012). La gestion des projets de mise en oeuvre des systèmes ERP en milieu universitaire. (Doctoral Dissertation). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/6559

Chicago Manual of Style (16th Edition):

Nguessan, Kouassi Michel. “La gestion des projets de mise en oeuvre des systèmes ERP en milieu universitaire.” 2012. Doctoral Dissertation, Université de Sherbrooke. Accessed January 21, 2021. http://hdl.handle.net/11143/6559.

MLA Handbook (7th Edition):

Nguessan, Kouassi Michel. “La gestion des projets de mise en oeuvre des systèmes ERP en milieu universitaire.” 2012. Web. 21 Jan 2021.

Vancouver:

Nguessan KM. La gestion des projets de mise en oeuvre des systèmes ERP en milieu universitaire. [Internet] [Doctoral dissertation]. Université de Sherbrooke; 2012. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11143/6559.

Council of Science Editors:

Nguessan KM. La gestion des projets de mise en oeuvre des systèmes ERP en milieu universitaire. [Doctoral Dissertation]. Université de Sherbrooke; 2012. Available from: http://hdl.handle.net/11143/6559


Université de Sherbrooke

5. Savary, Aymerick. Génération de tests de vulnérabilité pour vérifieur de byte code Java Card.

Degree: 2013, Université de Sherbrooke

 Il devient important d'assurer que tout système critique est fiable. Pour cela différentes techniques existent, telles que le test ou l'utilisation de méthodes formelles. S'assurer… (more)

Subjects/Keywords: Sécurité et sûreté; Tests de vulnérabilité; Java Card; ProB; Vérification de modèle; Event-B; Méthodes formelles

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Savary, A. (2013). Génération de tests de vulnérabilité pour vérifieur de byte code Java Card. (Masters Thesis). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/6604

Chicago Manual of Style (16th Edition):

Savary, Aymerick. “Génération de tests de vulnérabilité pour vérifieur de byte code Java Card.” 2013. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://hdl.handle.net/11143/6604.

MLA Handbook (7th Edition):

Savary, Aymerick. “Génération de tests de vulnérabilité pour vérifieur de byte code Java Card.” 2013. Web. 21 Jan 2021.

Vancouver:

Savary A. Génération de tests de vulnérabilité pour vérifieur de byte code Java Card. [Internet] [Masters thesis]. Université de Sherbrooke; 2013. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11143/6604.

Council of Science Editors:

Savary A. Génération de tests de vulnérabilité pour vérifieur de byte code Java Card. [Masters Thesis]. Université de Sherbrooke; 2013. Available from: http://hdl.handle.net/11143/6604


Université de Sherbrooke

6. Fély, Vincent. Génération de tests de vulnérabilité pour des programmes Java Card itératifs.

Degree: 2019, Université de Sherbrooke

 Utilisée très largement par le système bancaire actuel, la carte à puce peut être considérée comme un système critique. La majorité de ces cartes évoluent… (more)

Subjects/Keywords: VTG; Java Card; Event-B; ProB; Tests de vulnérabilité; Model-based testing; Mutation testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fély, V. (2019). Génération de tests de vulnérabilité pour des programmes Java Card itératifs. (Masters Thesis). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/15870

Chicago Manual of Style (16th Edition):

Fély, Vincent. “Génération de tests de vulnérabilité pour des programmes Java Card itératifs.” 2019. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://hdl.handle.net/11143/15870.

MLA Handbook (7th Edition):

Fély, Vincent. “Génération de tests de vulnérabilité pour des programmes Java Card itératifs.” 2019. Web. 21 Jan 2021.

Vancouver:

Fély V. Génération de tests de vulnérabilité pour des programmes Java Card itératifs. [Internet] [Masters thesis]. Université de Sherbrooke; 2019. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11143/15870.

Council of Science Editors:

Fély V. Génération de tests de vulnérabilité pour des programmes Java Card itératifs. [Masters Thesis]. Université de Sherbrooke; 2019. Available from: http://hdl.handle.net/11143/15870


Université de Sherbrooke

7. Salabert, Kevin. iASTD, un interpréteur d'ASTD.

Degree: 2011, Université de Sherbrooke

 Le langage de spécification formel ASTD a été conçu pour la description des systèmes d'information complexes. Deux outils sont alors nécessaires pour l'exécution d'actions sur… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Salabert, K. (2011). iASTD, un interpréteur d'ASTD. (Masters Thesis). Université de Sherbrooke. Retrieved from http://savoirs.usherbrooke.ca/handle/11143/4922

Chicago Manual of Style (16th Edition):

Salabert, Kevin. “iASTD, un interpréteur d'ASTD.” 2011. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://savoirs.usherbrooke.ca/handle/11143/4922.

MLA Handbook (7th Edition):

Salabert, Kevin. “iASTD, un interpréteur d'ASTD.” 2011. Web. 21 Jan 2021.

Vancouver:

Salabert K. iASTD, un interpréteur d'ASTD. [Internet] [Masters thesis]. Université de Sherbrooke; 2011. [cited 2021 Jan 21]. Available from: http://savoirs.usherbrooke.ca/handle/11143/4922.

Council of Science Editors:

Salabert K. iASTD, un interpréteur d'ASTD. [Masters Thesis]. Université de Sherbrooke; 2011. Available from: http://savoirs.usherbrooke.ca/handle/11143/4922


Université de Sherbrooke

8. Huynh, Nghi. Résolution de conflits dans la gestion du consentement des dossiers médicaux informatisés.

Degree: 2011, Université de Sherbrooke

 Dans le cadre des échanges d'information entre différentes entités, le cas du dossier médical partagé soulève de nombreux problèmes. En plus de la sécurité des… (more)

Subjects/Keywords: Contrôle d'accès; Gestion de conflits de règles; Dossier médical; Consentement; Gestion informatisée du consentement; Dossier médical électronique; Dossier médical partageable

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Huynh, N. (2011). Résolution de conflits dans la gestion du consentement des dossiers médicaux informatisés. (Masters Thesis). Université de Sherbrooke. Retrieved from http://savoirs.usherbrooke.ca/handle/11143/4925

Chicago Manual of Style (16th Edition):

Huynh, Nghi. “Résolution de conflits dans la gestion du consentement des dossiers médicaux informatisés.” 2011. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://savoirs.usherbrooke.ca/handle/11143/4925.

MLA Handbook (7th Edition):

Huynh, Nghi. “Résolution de conflits dans la gestion du consentement des dossiers médicaux informatisés.” 2011. Web. 21 Jan 2021.

Vancouver:

Huynh N. Résolution de conflits dans la gestion du consentement des dossiers médicaux informatisés. [Internet] [Masters thesis]. Université de Sherbrooke; 2011. [cited 2021 Jan 21]. Available from: http://savoirs.usherbrooke.ca/handle/11143/4925.

Council of Science Editors:

Huynh N. Résolution de conflits dans la gestion du consentement des dossiers médicaux informatisés. [Masters Thesis]. Université de Sherbrooke; 2011. Available from: http://savoirs.usherbrooke.ca/handle/11143/4925


Université de Sherbrooke

9. Beaupré, Alexandre. Étude des architectures de sécurité orientées service.

Degree: 2012, Université de Sherbrooke

 L'adoption massive de l'architecture orientée service expose les systèmes d'information à de nouvelles formes d'attaque informatique. Paradoxalement, les besoins en matière de sécurité ne cessent… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Beaupré, A. (2012). Étude des architectures de sécurité orientées service. (Masters Thesis). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/5768

Chicago Manual of Style (16th Edition):

Beaupré, Alexandre. “Étude des architectures de sécurité orientées service.” 2012. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://hdl.handle.net/11143/5768.

MLA Handbook (7th Edition):

Beaupré, Alexandre. “Étude des architectures de sécurité orientées service.” 2012. Web. 21 Jan 2021.

Vancouver:

Beaupré A. Étude des architectures de sécurité orientées service. [Internet] [Masters thesis]. Université de Sherbrooke; 2012. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11143/5768.

Council of Science Editors:

Beaupré A. Étude des architectures de sécurité orientées service. [Masters Thesis]. Université de Sherbrooke; 2012. Available from: http://hdl.handle.net/11143/5768


Université de Sherbrooke

10. Savary, Aymerick. Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card.

Degree: 2016, Université de Sherbrooke

 La vérification de la résistance aux attaques des implémentations embarquées des vérifieurs de code intermédiaire Java Card est une tâche complexe. Les méthodes actuelles n'étant… (more)

Subjects/Keywords: Sécurité; Java Card; Vérification de code intermédiaire; Test d'intrusion; Mutation de spécification; Test à base de modèle

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Savary, A. (2016). Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card. (Doctoral Dissertation). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/9584

Chicago Manual of Style (16th Edition):

Savary, Aymerick. “Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card.” 2016. Doctoral Dissertation, Université de Sherbrooke. Accessed January 21, 2021. http://hdl.handle.net/11143/9584.

MLA Handbook (7th Edition):

Savary, Aymerick. “Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card.” 2016. Web. 21 Jan 2021.

Vancouver:

Savary A. Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card. [Internet] [Doctoral dissertation]. Université de Sherbrooke; 2016. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11143/9584.

Council of Science Editors:

Savary A. Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card. [Doctoral Dissertation]. Université de Sherbrooke; 2016. Available from: http://hdl.handle.net/11143/9584


Université de Sherbrooke

11. Huynh, Nghi. Vérification et validation de politiques de contrôle d'accès dans le domaine médical.

Degree: 2017, Université de Sherbrooke

 Abstract : In healthcare, data digitization and the use of the Electronic Health Records (EHR) offer several benefits, such as the reduction of the space… (more)

Subjects/Keywords: Contrôle d'accès; Méthodes formelles; Sécurité; Protection des données; Vérification; Validation; Politique de sécurité; Access control; Formal methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Huynh, N. (2017). Vérification et validation de politiques de contrôle d'accès dans le domaine médical. (Doctoral Dissertation). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/10155

Chicago Manual of Style (16th Edition):

Huynh, Nghi. “Vérification et validation de politiques de contrôle d'accès dans le domaine médical.” 2017. Doctoral Dissertation, Université de Sherbrooke. Accessed January 21, 2021. http://hdl.handle.net/11143/10155.

MLA Handbook (7th Edition):

Huynh, Nghi. “Vérification et validation de politiques de contrôle d'accès dans le domaine médical.” 2017. Web. 21 Jan 2021.

Vancouver:

Huynh N. Vérification et validation de politiques de contrôle d'accès dans le domaine médical. [Internet] [Doctoral dissertation]. Université de Sherbrooke; 2017. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11143/10155.

Council of Science Editors:

Huynh N. Vérification et validation de politiques de contrôle d'accès dans le domaine médical. [Doctoral Dissertation]. Université de Sherbrooke; 2017. Available from: http://hdl.handle.net/11143/10155


Université de Sherbrooke

12. Ouenzar, Mohammed. Validation de spécifications de systèmes d'information avec Alloy.

Degree: 2013, Université de Sherbrooke

 Le présent mémoire propose une investigation approfondie de l’analyseur Alloy afin de juger son adaptabilité en tant que vérificateur de modèles. Dans un premier temps,… (more)

Subjects/Keywords: Vérification de modèles; Sûreté; Spécification formelle; Solutionneurs de satisfiabilité; Sécurité; Logique du premier ordre; Logique dynamique; Idiome de spécification; Boîte noire; Alloy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ouenzar, M. (2013). Validation de spécifications de systèmes d'information avec Alloy. (Masters Thesis). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/6594

Chicago Manual of Style (16th Edition):

Ouenzar, Mohammed. “Validation de spécifications de systèmes d'information avec Alloy.” 2013. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://hdl.handle.net/11143/6594.

MLA Handbook (7th Edition):

Ouenzar, Mohammed. “Validation de spécifications de systèmes d'information avec Alloy.” 2013. Web. 21 Jan 2021.

Vancouver:

Ouenzar M. Validation de spécifications de systèmes d'information avec Alloy. [Internet] [Masters thesis]. Université de Sherbrooke; 2013. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11143/6594.

Council of Science Editors:

Ouenzar M. Validation de spécifications de systèmes d'information avec Alloy. [Masters Thesis]. Université de Sherbrooke; 2013. Available from: http://hdl.handle.net/11143/6594


Université de Sherbrooke

13. Tueno Fotso, Steve Jeffrey. Vers une approche formelle d'ingénierie des exigences outillée et éprouvée: Towards a tool-supported and proven formal requirements engineering method.

Degree: 2019, Université de Sherbrooke

 La méthode SysML/KAOS permet de modéliser les exigences d’un système sous forme d’hiérarchies de buts. B System est une méthode formelle qui permet de construire,… (more)

Subjects/Keywords: Ingénierie des exigences; Modélisation du domaine; Méthodes formelles; Ontologies; SysML/KAOS; B System; Event-B; Requirements Engineering; Domain Modeling; Formal Methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tueno Fotso, S. J. (2019). Vers une approche formelle d'ingénierie des exigences outillée et éprouvée: Towards a tool-supported and proven formal requirements engineering method. (Doctoral Dissertation). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/16170

Chicago Manual of Style (16th Edition):

Tueno Fotso, Steve Jeffrey. “Vers une approche formelle d'ingénierie des exigences outillée et éprouvée: Towards a tool-supported and proven formal requirements engineering method.” 2019. Doctoral Dissertation, Université de Sherbrooke. Accessed January 21, 2021. http://hdl.handle.net/11143/16170.

MLA Handbook (7th Edition):

Tueno Fotso, Steve Jeffrey. “Vers une approche formelle d'ingénierie des exigences outillée et éprouvée: Towards a tool-supported and proven formal requirements engineering method.” 2019. Web. 21 Jan 2021.

Vancouver:

Tueno Fotso SJ. Vers une approche formelle d'ingénierie des exigences outillée et éprouvée: Towards a tool-supported and proven formal requirements engineering method. [Internet] [Doctoral dissertation]. Université de Sherbrooke; 2019. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11143/16170.

Council of Science Editors:

Tueno Fotso SJ. Vers une approche formelle d'ingénierie des exigences outillée et éprouvée: Towards a tool-supported and proven formal requirements engineering method. [Doctoral Dissertation]. Université de Sherbrooke; 2019. Available from: http://hdl.handle.net/11143/16170


Université de Sherbrooke

14. Martel, Claire. "L'extinction est la règle, la survie est l'exception": Regroupement de maliciels selon leurs comportements.

Degree: 2018, Université de Sherbrooke

De nombreux maliciels sont détectés tous les jours, cependant, la plupart de ces derniers ne sont pas nouveaux mais simplement des variations de maliciels déjà… (more)

Subjects/Keywords: Malheur; AVClass; Maliciel; Regroupement; Extraction de signature; Graphe

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Martel, C. (2018). "L'extinction est la règle, la survie est l'exception": Regroupement de maliciels selon leurs comportements. (Masters Thesis). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/13341

Chicago Manual of Style (16th Edition):

Martel, Claire. “"L'extinction est la règle, la survie est l'exception": Regroupement de maliciels selon leurs comportements.” 2018. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://hdl.handle.net/11143/13341.

MLA Handbook (7th Edition):

Martel, Claire. “"L'extinction est la règle, la survie est l'exception": Regroupement de maliciels selon leurs comportements.” 2018. Web. 21 Jan 2021.

Vancouver:

Martel C. "L'extinction est la règle, la survie est l'exception": Regroupement de maliciels selon leurs comportements. [Internet] [Masters thesis]. Université de Sherbrooke; 2018. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11143/13341.

Council of Science Editors:

Martel C. "L'extinction est la règle, la survie est l'exception": Regroupement de maliciels selon leurs comportements. [Masters Thesis]. Université de Sherbrooke; 2018. Available from: http://hdl.handle.net/11143/13341


Université de Sherbrooke

15. Milhau, Jérémy. Un processus formel d'intégration de politiques de contrôle d'accès dans les systèmes d'information.

Degree: 2011, Université de Sherbrooke

 Security is a key aspect in information systems (IS) development. One cannot build a bank IS without security in mind. In medical IS, security is… (more)

Subjects/Keywords: EB[indice supérieur 3]; ASTD; Event-B; B; Contrôle d'accès; Système d'information

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Milhau, J. (2011). Un processus formel d'intégration de politiques de contrôle d'accès dans les systèmes d'information. (Doctoral Dissertation). Université de Sherbrooke. Retrieved from http://savoirs.usherbrooke.ca/handle/11143/5165

Chicago Manual of Style (16th Edition):

Milhau, Jérémy. “Un processus formel d'intégration de politiques de contrôle d'accès dans les systèmes d'information.” 2011. Doctoral Dissertation, Université de Sherbrooke. Accessed January 21, 2021. http://savoirs.usherbrooke.ca/handle/11143/5165.

MLA Handbook (7th Edition):

Milhau, Jérémy. “Un processus formel d'intégration de politiques de contrôle d'accès dans les systèmes d'information.” 2011. Web. 21 Jan 2021.

Vancouver:

Milhau J. Un processus formel d'intégration de politiques de contrôle d'accès dans les systèmes d'information. [Internet] [Doctoral dissertation]. Université de Sherbrooke; 2011. [cited 2021 Jan 21]. Available from: http://savoirs.usherbrooke.ca/handle/11143/5165.

Council of Science Editors:

Milhau J. Un processus formel d'intégration de politiques de contrôle d'accès dans les systèmes d'information. [Doctoral Dissertation]. Université de Sherbrooke; 2011. Available from: http://savoirs.usherbrooke.ca/handle/11143/5165


Université de Sherbrooke

16. Chane-Yack-Fa, Raphaël. Vérification formelle de systèmes d'information.

Degree: 2018, Université de Sherbrooke

 Cette thèse s'intéresse à l'étude des méthodes formelles de spécification et de vérification dans le cadre des systèmes d'information. Les systèmes d'informations sont des systèmes… (more)

Subjects/Keywords: Vérification paramétrée; Model checking; Système d'information; Algèbre de processus; Automate; Système de transitions bien structuré; Beau préordre; Couverture; Sûreté; Accessibilité

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chane-Yack-Fa, R. (2018). Vérification formelle de systèmes d'information. (Doctoral Dissertation). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/11630

Chicago Manual of Style (16th Edition):

Chane-Yack-Fa, Raphaël. “Vérification formelle de systèmes d'information.” 2018. Doctoral Dissertation, Université de Sherbrooke. Accessed January 21, 2021. http://hdl.handle.net/11143/11630.

MLA Handbook (7th Edition):

Chane-Yack-Fa, Raphaël. “Vérification formelle de systèmes d'information.” 2018. Web. 21 Jan 2021.

Vancouver:

Chane-Yack-Fa R. Vérification formelle de systèmes d'information. [Internet] [Doctoral dissertation]. Université de Sherbrooke; 2018. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11143/11630.

Council of Science Editors:

Chane-Yack-Fa R. Vérification formelle de systèmes d'information. [Doctoral Dissertation]. Université de Sherbrooke; 2018. Available from: http://hdl.handle.net/11143/11630


Université de Sherbrooke

17. Nganyewou Tidjon, Lionel. Modélisation formelle des systèmes de détection d'intrusions.

Degree: 2020, Université de Sherbrooke

 Abstract : The cybersecurity ecosystem continuously evolves with the number, the diversity, and the complexity of cyber attacks. Generally, we have three types of Intrusion… (more)

Subjects/Keywords: Détection d'intrusions; Spécification formelle; Compilation; Preuves; ASTD; Intrusion detection; Formal specification; Proofs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nganyewou Tidjon, L. (2020). Modélisation formelle des systèmes de détection d'intrusions. (Doctoral Dissertation). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/17803

Chicago Manual of Style (16th Edition):

Nganyewou Tidjon, Lionel. “Modélisation formelle des systèmes de détection d'intrusions.” 2020. Doctoral Dissertation, Université de Sherbrooke. Accessed January 21, 2021. http://hdl.handle.net/11143/17803.

MLA Handbook (7th Edition):

Nganyewou Tidjon, Lionel. “Modélisation formelle des systèmes de détection d'intrusions.” 2020. Web. 21 Jan 2021.

Vancouver:

Nganyewou Tidjon L. Modélisation formelle des systèmes de détection d'intrusions. [Internet] [Doctoral dissertation]. Université de Sherbrooke; 2020. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11143/17803.

Council of Science Editors:

Nganyewou Tidjon L. Modélisation formelle des systèmes de détection d'intrusions. [Doctoral Dissertation]. Université de Sherbrooke; 2020. Available from: http://hdl.handle.net/11143/17803

18. Chevalaz, Marc Henri. Gestion de contexte dans un habitat intelligent à base d’ontologie : modélisation, implantation et validation.

Degree: 2016, Université de Sherbrooke

 Le laboratoire DOMUS développe des applications sensibles au contexte dans une perspective d’intelligence ambiante. L’architecture utilisée présentement pour gérer le contexte a atteint ses limites… (more)

Subjects/Keywords: Habitat intelligent; Web sémantique; Gestionnaire de contexte; Modèle de données; Ontologie; Architecture; Applications d'assistance

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chevalaz, M. H. (2016). Gestion de contexte dans un habitat intelligent à base d’ontologie : modélisation, implantation et validation. (Masters Thesis). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/9713

Chicago Manual of Style (16th Edition):

Chevalaz, Marc Henri. “Gestion de contexte dans un habitat intelligent à base d’ontologie : modélisation, implantation et validation.” 2016. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://hdl.handle.net/11143/9713.

MLA Handbook (7th Edition):

Chevalaz, Marc Henri. “Gestion de contexte dans un habitat intelligent à base d’ontologie : modélisation, implantation et validation.” 2016. Web. 21 Jan 2021.

Vancouver:

Chevalaz MH. Gestion de contexte dans un habitat intelligent à base d’ontologie : modélisation, implantation et validation. [Internet] [Masters thesis]. Université de Sherbrooke; 2016. [cited 2021 Jan 21]. Available from: http://hdl.handle.net/11143/9713.

Council of Science Editors:

Chevalaz MH. Gestion de contexte dans un habitat intelligent à base d’ontologie : modélisation, implantation et validation. [Masters Thesis]. Université de Sherbrooke; 2016. Available from: http://hdl.handle.net/11143/9713


Université de Sherbrooke

19. Bargiel, Maxim. Étude et extension du procédé @L-is pour la vérification et l'enrichissement automatiques de glossaires formels.

Degree: 2009, Université de Sherbrooke

 La représentation des connaissances (« Knowledge Representation ») est un domaine de recherche qui a connu son essor dans les années 70 et 80 et… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bargiel, M. (2009). Étude et extension du procédé @L-is pour la vérification et l'enrichissement automatiques de glossaires formels. (Masters Thesis). Université de Sherbrooke. Retrieved from http://savoirs.usherbrooke.ca/handle/11143/4845

Chicago Manual of Style (16th Edition):

Bargiel, Maxim. “Étude et extension du procédé @L-is pour la vérification et l'enrichissement automatiques de glossaires formels.” 2009. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://savoirs.usherbrooke.ca/handle/11143/4845.

MLA Handbook (7th Edition):

Bargiel, Maxim. “Étude et extension du procédé @L-is pour la vérification et l'enrichissement automatiques de glossaires formels.” 2009. Web. 21 Jan 2021.

Vancouver:

Bargiel M. Étude et extension du procédé @L-is pour la vérification et l'enrichissement automatiques de glossaires formels. [Internet] [Masters thesis]. Université de Sherbrooke; 2009. [cited 2021 Jan 21]. Available from: http://savoirs.usherbrooke.ca/handle/11143/4845.

Council of Science Editors:

Bargiel M. Étude et extension du procédé @L-is pour la vérification et l'enrichissement automatiques de glossaires formels. [Masters Thesis]. Université de Sherbrooke; 2009. Available from: http://savoirs.usherbrooke.ca/handle/11143/4845


Université de Sherbrooke

20. Diab, Hassan. Évaluation de méthodes formelles de spécification.

Degree: 1999, Université de Sherbrooke

 Un des écueils pour l'acceptation des méthodes formelles dans l'industrie est l'absence d'un langage formel de spécification permettant d'exprimer et de vérifier de manière optimale… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Diab, H. (1999). Évaluation de méthodes formelles de spécification. (Masters Thesis). Université de Sherbrooke. Retrieved from http://savoirs.usherbrooke.ca/handle/11143/4423

Chicago Manual of Style (16th Edition):

Diab, Hassan. “Évaluation de méthodes formelles de spécification.” 1999. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://savoirs.usherbrooke.ca/handle/11143/4423.

MLA Handbook (7th Edition):

Diab, Hassan. “Évaluation de méthodes formelles de spécification.” 1999. Web. 21 Jan 2021.

Vancouver:

Diab H. Évaluation de méthodes formelles de spécification. [Internet] [Masters thesis]. Université de Sherbrooke; 1999. [cited 2021 Jan 21]. Available from: http://savoirs.usherbrooke.ca/handle/11143/4423.

Council of Science Editors:

Diab H. Évaluation de méthodes formelles de spécification. [Masters Thesis]. Université de Sherbrooke; 1999. Available from: http://savoirs.usherbrooke.ca/handle/11143/4423


Université de Sherbrooke

21. Zouari, Ali. Définition et détection des interactions entre les fonctionnalités d'un système téléphonique.

Degree: 1999, Université de Sherbrooke

 Le problème des interactions entre les services téléphoniques a pris beaucoup d'ampleur depuis quelques années. En effet, les services sont en pleine croissance (quelques systèmes… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zouari, A. (1999). Définition et détection des interactions entre les fonctionnalités d'un système téléphonique. (Masters Thesis). Université de Sherbrooke. Retrieved from http://savoirs.usherbrooke.ca/handle/11143/4458

Chicago Manual of Style (16th Edition):

Zouari, Ali. “Définition et détection des interactions entre les fonctionnalités d'un système téléphonique.” 1999. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://savoirs.usherbrooke.ca/handle/11143/4458.

MLA Handbook (7th Edition):

Zouari, Ali. “Définition et détection des interactions entre les fonctionnalités d'un système téléphonique.” 1999. Web. 21 Jan 2021.

Vancouver:

Zouari A. Définition et détection des interactions entre les fonctionnalités d'un système téléphonique. [Internet] [Masters thesis]. Université de Sherbrooke; 1999. [cited 2021 Jan 21]. Available from: http://savoirs.usherbrooke.ca/handle/11143/4458.

Council of Science Editors:

Zouari A. Définition et détection des interactions entre les fonctionnalités d'un système téléphonique. [Masters Thesis]. Université de Sherbrooke; 1999. Available from: http://savoirs.usherbrooke.ca/handle/11143/4458


Université de Sherbrooke

22. Koukane, Fouad. Conception d'un outil de mesure automatique de COSMIC-FFP pour Rational Rose RealTime ([mu][indice inférieur c]ROSE).

Degree: 2001, Université de Sherbrooke

 Depuis la fin des années 70, un certain nombre de mesures de taille du logiciel ont été proposées, sans toutefois être suffisamment normalisées pour être… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Koukane, F. (2001). Conception d'un outil de mesure automatique de COSMIC-FFP pour Rational Rose RealTime ([mu][indice inférieur c]ROSE). (Masters Thesis). Université de Sherbrooke. Retrieved from http://savoirs.usherbrooke.ca/handle/11143/4516

Chicago Manual of Style (16th Edition):

Koukane, Fouad. “Conception d'un outil de mesure automatique de COSMIC-FFP pour Rational Rose RealTime ([mu][indice inférieur c]ROSE).” 2001. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://savoirs.usherbrooke.ca/handle/11143/4516.

MLA Handbook (7th Edition):

Koukane, Fouad. “Conception d'un outil de mesure automatique de COSMIC-FFP pour Rational Rose RealTime ([mu][indice inférieur c]ROSE).” 2001. Web. 21 Jan 2021.

Vancouver:

Koukane F. Conception d'un outil de mesure automatique de COSMIC-FFP pour Rational Rose RealTime ([mu][indice inférieur c]ROSE). [Internet] [Masters thesis]. Université de Sherbrooke; 2001. [cited 2021 Jan 21]. Available from: http://savoirs.usherbrooke.ca/handle/11143/4516.

Council of Science Editors:

Koukane F. Conception d'un outil de mesure automatique de COSMIC-FFP pour Rational Rose RealTime ([mu][indice inférieur c]ROSE). [Masters Thesis]. Université de Sherbrooke; 2001. Available from: http://savoirs.usherbrooke.ca/handle/11143/4516


Université de Sherbrooke

23. Batanado, Panawé. Synthèse de transactions de base de données relationnelle à partir de définitions d'attributs EB[indice supérieur 3].

Degree: 2006, Université de Sherbrooke

 EB[indice supérieur 3] est un langage formel créé pour la spécification des systèmes d'information. Ce mémoire présente la génération des transactions de base de données… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Batanado, P. (2006). Synthèse de transactions de base de données relationnelle à partir de définitions d'attributs EB[indice supérieur 3]. (Masters Thesis). Université de Sherbrooke. Retrieved from http://savoirs.usherbrooke.ca/handle/11143/4669

Chicago Manual of Style (16th Edition):

Batanado, Panawé. “Synthèse de transactions de base de données relationnelle à partir de définitions d'attributs EB[indice supérieur 3].” 2006. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://savoirs.usherbrooke.ca/handle/11143/4669.

MLA Handbook (7th Edition):

Batanado, Panawé. “Synthèse de transactions de base de données relationnelle à partir de définitions d'attributs EB[indice supérieur 3].” 2006. Web. 21 Jan 2021.

Vancouver:

Batanado P. Synthèse de transactions de base de données relationnelle à partir de définitions d'attributs EB[indice supérieur 3]. [Internet] [Masters thesis]. Université de Sherbrooke; 2006. [cited 2021 Jan 21]. Available from: http://savoirs.usherbrooke.ca/handle/11143/4669.

Council of Science Editors:

Batanado P. Synthèse de transactions de base de données relationnelle à partir de définitions d'attributs EB[indice supérieur 3]. [Masters Thesis]. Université de Sherbrooke; 2006. Available from: http://savoirs.usherbrooke.ca/handle/11143/4669


Université de Sherbrooke

24. Antoine, Elodie. Génération automatique d'interfaces Web à partir de spécifications l'outil DCI-Web.

Degree: 2008, Université de Sherbrooke

 L'expansion du domaine Web a entraîné l'émergence de nouveaux outils, permettant le développement d'applications Web dans différents langages. La complexité de ces langages, et donc… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Antoine, E. (2008). Génération automatique d'interfaces Web à partir de spécifications l'outil DCI-Web. (Masters Thesis). Université de Sherbrooke. Retrieved from http://savoirs.usherbrooke.ca/handle/11143/4746

Chicago Manual of Style (16th Edition):

Antoine, Elodie. “Génération automatique d'interfaces Web à partir de spécifications l'outil DCI-Web.” 2008. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://savoirs.usherbrooke.ca/handle/11143/4746.

MLA Handbook (7th Edition):

Antoine, Elodie. “Génération automatique d'interfaces Web à partir de spécifications l'outil DCI-Web.” 2008. Web. 21 Jan 2021.

Vancouver:

Antoine E. Génération automatique d'interfaces Web à partir de spécifications l'outil DCI-Web. [Internet] [Masters thesis]. Université de Sherbrooke; 2008. [cited 2021 Jan 21]. Available from: http://savoirs.usherbrooke.ca/handle/11143/4746.

Council of Science Editors:

Antoine E. Génération automatique d'interfaces Web à partir de spécifications l'outil DCI-Web. [Masters Thesis]. Université de Sherbrooke; 2008. Available from: http://savoirs.usherbrooke.ca/handle/11143/4746


Université de Sherbrooke

25. Konopacki, Pierre. Synthèse automatique de gardes EB[indice supérieur 3].

Degree: 2008, Université de Sherbrooke

 Dans le cadre de développement de systèmes d'informations, les méthodes formelles de spécification peuvent réduire le développement aux seules phases d'analyse et de conception. La… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Konopacki, P. (2008). Synthèse automatique de gardes EB[indice supérieur 3]. (Masters Thesis). Université de Sherbrooke. Retrieved from http://savoirs.usherbrooke.ca/handle/11143/4748

Chicago Manual of Style (16th Edition):

Konopacki, Pierre. “Synthèse automatique de gardes EB[indice supérieur 3].” 2008. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://savoirs.usherbrooke.ca/handle/11143/4748.

MLA Handbook (7th Edition):

Konopacki, Pierre. “Synthèse automatique de gardes EB[indice supérieur 3].” 2008. Web. 21 Jan 2021.

Vancouver:

Konopacki P. Synthèse automatique de gardes EB[indice supérieur 3]. [Internet] [Masters thesis]. Université de Sherbrooke; 2008. [cited 2021 Jan 21]. Available from: http://savoirs.usherbrooke.ca/handle/11143/4748.

Council of Science Editors:

Konopacki P. Synthèse automatique de gardes EB[indice supérieur 3]. [Masters Thesis]. Université de Sherbrooke; 2008. Available from: http://savoirs.usherbrooke.ca/handle/11143/4748


Université de Sherbrooke

26. Fraikin, Benoît. Interprétation efficace d'expression de processus EB[indice supérieur 3].

Degree: 2006, Université de Sherbrooke

 Malgré un nombre croissant de succès, les méthodes formelles en génie logiciel restent encore limitées à un nombre de secteurs restreints de l'informatique. Principalement utilisées… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fraikin, B. (2006). Interprétation efficace d'expression de processus EB[indice supérieur 3]. (Doctoral Dissertation). Université de Sherbrooke. Retrieved from http://savoirs.usherbrooke.ca/handle/11143/5062

Chicago Manual of Style (16th Edition):

Fraikin, Benoît. “Interprétation efficace d'expression de processus EB[indice supérieur 3].” 2006. Doctoral Dissertation, Université de Sherbrooke. Accessed January 21, 2021. http://savoirs.usherbrooke.ca/handle/11143/5062.

MLA Handbook (7th Edition):

Fraikin, Benoît. “Interprétation efficace d'expression de processus EB[indice supérieur 3].” 2006. Web. 21 Jan 2021.

Vancouver:

Fraikin B. Interprétation efficace d'expression de processus EB[indice supérieur 3]. [Internet] [Doctoral dissertation]. Université de Sherbrooke; 2006. [cited 2021 Jan 21]. Available from: http://savoirs.usherbrooke.ca/handle/11143/5062.

Council of Science Editors:

Fraikin B. Interprétation efficace d'expression de processus EB[indice supérieur 3]. [Doctoral Dissertation]. Université de Sherbrooke; 2006. Available from: http://savoirs.usherbrooke.ca/handle/11143/5062


Université de Sherbrooke

27. Dumont, François. Identification des objets dans un code procédural basée sur la décomposition de graphes.

Degree: 1997, Université de Sherbrooke

 Les systèmes informatiques à forte entropie, développés avec une approche procédurale, ont subi beaucoup de modifications au cours des années. Par conséquent, ils sont devenus… (more)

Subjects/Keywords: Génie logiciel; Conception orientée objet (Informatique)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dumont, F. (1997). Identification des objets dans un code procédural basée sur la décomposition de graphes. (Masters Thesis). Université de Sherbrooke. Retrieved from http://savoirs.usherbrooke.ca/handle/11143/4361

Chicago Manual of Style (16th Edition):

Dumont, François. “Identification des objets dans un code procédural basée sur la décomposition de graphes.” 1997. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://savoirs.usherbrooke.ca/handle/11143/4361.

MLA Handbook (7th Edition):

Dumont, François. “Identification des objets dans un code procédural basée sur la décomposition de graphes.” 1997. Web. 21 Jan 2021.

Vancouver:

Dumont F. Identification des objets dans un code procédural basée sur la décomposition de graphes. [Internet] [Masters thesis]. Université de Sherbrooke; 1997. [cited 2021 Jan 21]. Available from: http://savoirs.usherbrooke.ca/handle/11143/4361.

Council of Science Editors:

Dumont F. Identification des objets dans un code procédural basée sur la décomposition de graphes. [Masters Thesis]. Université de Sherbrooke; 1997. Available from: http://savoirs.usherbrooke.ca/handle/11143/4361


Université de Sherbrooke

28. Yassine, Imad. Définition d'un langage formel de requêtes basé sur un modèle entité-association.

Degree: 2009, Université de Sherbrooke

 Dans le cadre du développement des systèmes d'information, les méthodes formelles de spécification permettent d'éliminer ou de réduire le besoin des phases de conception et… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Yassine, I. (2009). Définition d'un langage formel de requêtes basé sur un modèle entité-association. (Masters Thesis). Université de Sherbrooke. Retrieved from http://savoirs.usherbrooke.ca/handle/11143/4828

Chicago Manual of Style (16th Edition):

Yassine, Imad. “Définition d'un langage formel de requêtes basé sur un modèle entité-association.” 2009. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://savoirs.usherbrooke.ca/handle/11143/4828.

MLA Handbook (7th Edition):

Yassine, Imad. “Définition d'un langage formel de requêtes basé sur un modèle entité-association.” 2009. Web. 21 Jan 2021.

Vancouver:

Yassine I. Définition d'un langage formel de requêtes basé sur un modèle entité-association. [Internet] [Masters thesis]. Université de Sherbrooke; 2009. [cited 2021 Jan 21]. Available from: http://savoirs.usherbrooke.ca/handle/11143/4828.

Council of Science Editors:

Yassine I. Définition d'un langage formel de requêtes basé sur un modèle entité-association. [Masters Thesis]. Université de Sherbrooke; 2009. Available from: http://savoirs.usherbrooke.ca/handle/11143/4828


Université de Sherbrooke

29. Chossart, Romain. Évaluation d'outils de vérification pour les spécifications de systèmes d'information.

Degree: 2010, Université de Sherbrooke

 Ce mémoire par article décrit la comparaison de deux vérificateurs de modèles pour EB3 . L'intégration d'un vérificateur de modèles à la plateforme APIS permet… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chossart, R. (2010). Évaluation d'outils de vérification pour les spécifications de systèmes d'information. (Masters Thesis). Université de Sherbrooke. Retrieved from http://savoirs.usherbrooke.ca/handle/11143/4835

Chicago Manual of Style (16th Edition):

Chossart, Romain. “Évaluation d'outils de vérification pour les spécifications de systèmes d'information.” 2010. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://savoirs.usherbrooke.ca/handle/11143/4835.

MLA Handbook (7th Edition):

Chossart, Romain. “Évaluation d'outils de vérification pour les spécifications de systèmes d'information.” 2010. Web. 21 Jan 2021.

Vancouver:

Chossart R. Évaluation d'outils de vérification pour les spécifications de systèmes d'information. [Internet] [Masters thesis]. Université de Sherbrooke; 2010. [cited 2021 Jan 21]. Available from: http://savoirs.usherbrooke.ca/handle/11143/4835.

Council of Science Editors:

Chossart R. Évaluation d'outils de vérification pour les spécifications de systèmes d'information. [Masters Thesis]. Université de Sherbrooke; 2010. Available from: http://savoirs.usherbrooke.ca/handle/11143/4835


Université de Sherbrooke

30. Ettouhami, Moulay El Mehdi. Analyse de performance de l'interpréteur d'algèbre de processus EB[indice supérieur 3]PAI.

Degree: 2009, Université de Sherbrooke

 Un des intérêts d'utiliser des méthodes formelles de spécification dans le développement des systèmes d'information, est de pouvoir se concentrer sur les étapes d' analyse… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ettouhami, M. E. M. (2009). Analyse de performance de l'interpréteur d'algèbre de processus EB[indice supérieur 3]PAI. (Masters Thesis). Université de Sherbrooke. Retrieved from http://savoirs.usherbrooke.ca/handle/11143/4843

Chicago Manual of Style (16th Edition):

Ettouhami, Moulay El Mehdi. “Analyse de performance de l'interpréteur d'algèbre de processus EB[indice supérieur 3]PAI.” 2009. Masters Thesis, Université de Sherbrooke. Accessed January 21, 2021. http://savoirs.usherbrooke.ca/handle/11143/4843.

MLA Handbook (7th Edition):

Ettouhami, Moulay El Mehdi. “Analyse de performance de l'interpréteur d'algèbre de processus EB[indice supérieur 3]PAI.” 2009. Web. 21 Jan 2021.

Vancouver:

Ettouhami MEM. Analyse de performance de l'interpréteur d'algèbre de processus EB[indice supérieur 3]PAI. [Internet] [Masters thesis]. Université de Sherbrooke; 2009. [cited 2021 Jan 21]. Available from: http://savoirs.usherbrooke.ca/handle/11143/4843.

Council of Science Editors:

Ettouhami MEM. Analyse de performance de l'interpréteur d'algèbre de processus EB[indice supérieur 3]PAI. [Masters Thesis]. Université de Sherbrooke; 2009. Available from: http://savoirs.usherbrooke.ca/handle/11143/4843

[1] [2]

.