Suggested Topics within your search.
Showing 261 - 280 results of 21,917 for search '"Computer science and engineering"', query time: 2.12s Refine Results
  1. 261
    Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objet
    by Truong, Ninh Thuan
    Published 2006
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  2. 262
    Systèmes de transitions symboliques et hiérarchiques pour la conception et la validation de modèles B raffinés
    by Stouls, Nicolas
    Published 2007
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
  3. 263
    Contributions à la compréhension de problèmes d'optimisation combinatoire et études d'extensions de la méthode B
    by Poirriez, Vincent
    Published 2006
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  4. 264
    Approche Transactionnelle pour Assurer des Compositions Fiables de Services Web
    by Bhiri, Sami
    Published 2005
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  5. 265
    Composition flexible et efficace de transformations de programmes
    by Lenglet, Romain
    Published 2004
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
  6. 266
    Raisonnement équationnel et méthodes de combinaison: de la programmation à la preuve
    by Ringeissen, Christophe
    Published 2009
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  7. 267
    Contribution à la malléabilité des collecticiels : une approche basée sur les services Web et les agents logiciels
    by Cheaib, Nader
    Published 2010
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  8. 268
    Towards Dynamic Software Product Lines: Unifying Design and Runtime Adaptations
    by Parra, Carlos
    Published 2011
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  9. 269
    Analyse statique et dynamique de code et visualisation des logiciels via la métaphore de la ville: contribution à l'aide à la compréhension des programmes.
    by Caserta, Pierre
    Published 2012
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  10. 270
    Un intergiciel multi-agent pour la composition flexible d'applications en intelligence ambiante
    by Vallee, Mathieu
    Published 2009
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  11. 271
    Une méthode fondée sur les modèles pour gérer les propriétés temporelles des systèmes à composants logiciels
    by Nguyen, Viet Hoa
    Published 2013
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  12. 272
    Approche à contraintes pour la sélection de Covering Array
    by Hervieu, Aymeric
    Published 2013
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  13. 273
    vLab: A Cloud based Resource and Service Sharing Platform for Computer and Network Security Education
    Published 2010
    Subjects: “...Computer Science and Engineering...”
    Get full text
    Dissertation
  14. 274
    Extension temps réel d'AltaRica
    by Pagetti, Claire
    Published 2004
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  15. 275
    Contribution des systèmes a bases de connaissances en sciences de l'eau ; promise : un simulateur de projet ; moise : un système de diagnostic en assainissement autonome
    by Cres, François-Noël
    Published 1989
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  16. 276
    Supporting Framework Use via Automatically Extracted Concept-Implementation Templates
    by Heydarnoori, Abbas
    Published 2009
    Subjects: “...Computer Science (Software Engineering)...”
    Get full text
  17. 277
    Preuves constructives de complétude et contrôle délimité
    by Ilik, Danko
    Published 2010
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
  18. 278
    Des langages pour améliorer le développement et la maintenance des logiciels à base de composants
    by Fleurquin, Régis
    Published 2010
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  19. 279
    Description Sémantique de Services et d'Usines à Services pour l'Intelligence Ambiante
    by Emonet, Rémi
    Published 2009
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  20. 280
    Réflexivité, aspects et composants pour l'ingénierie des intergiciels et des applications réparties
    by Seinturier, Lionel
    Published 2005
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search