Suggested Topics within your search.
Showing 361 - 380 results of 21,917 for search '"Computer science and engineering"', query time: 3.00s Refine Results
  1. 361
    Un ensemble d'outils orientés modèle pour développer et valider des cadres logiciels à base d'annotations
    by Noguera, Carlos
    Published 2008
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  2. 362
    Framework-Specific Modeling Languages
    by Antkiewicz, Michal
    Published 2008
    Subjects: “...Computer Science (Software Engineering)...”
    Get full text
  3. 363
    Spécification et vérification de programmes orientés objets en logique de séparation
    by Hurlin, Clément
    Published 2009
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
  4. 364
    SOLEIL: An Integrated Approach for Designing and Developing Component-based Real-time Java Systems
    by Plsek, Ales
    Published 2009
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  5. 365
    Un modèle de composants hiérarchiques avec protocoles d'interaction
    by Pavel, Sebastien
    Published 2008
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  6. 366
    Intégration numérique avec erreur bornée en précision arbitraire
    by Fousse, Laurent
    Published 2006
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  7. 367
    Contribution à la prise en compte des plates-formes logicielles d'exécution dans une ingénierie générative dirigée par les modèles
    by Thomas, Frédéric
    Published 2008
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
  8. 368
    AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement
    by Point, Gérald
    Published 2000
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  9. 369
    Langages de scénarios : Utiliser des ordres partiels pour modéliser, vérifier et superviser des systèmes parallèles et répartis.
    by Gazagnaire, Thomas
    Published 2008
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  10. 370
    Object Identification and Aspect Mining in Procedural Object-Oriented Code
    by Bhatti, Muhammad Usman
    Published 2009
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  11. 371
    Etude de l'apport des méthodes formelles déductives pour les développements de sécurité
    by Jaeger, Eric
    Published 2010
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
    Get full text
  12. 372
    Méthodes formelles et à objets pour le développement du logiciel :
    by ANDRE, Pascal
    Published 1995
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  13. 373
    Interactions sociales en univers virtuel : Modèles pour une interaction située
    by El Jed, Mehdi
    Published 2006
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
    Get full text
  14. 374
    Définitions et caractérisations de modèles à base d'analogies pour l'apprentissage automatique des langues naturelles
    by Stroppa, Nicolas
    Published 2005
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  15. 375
    Maîtrise de la cohérence des modèles UML d'applications critiques, approche par l'analyse des risques liés au langage UML.
    by Seuma Vidal, Jean-Pierre
    Published 2006
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  16. 376
    La Découverte de Workflow<br />Transactionnel pour la Fiabilisation des<br />Exécutions
    by Gaaloul, Walid
    Published 2007
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  17. 377
    Coordination entre outils dans un environnement intégré de développement de logiciels
    by Boyer, Fabienne
    Published 1994
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  18. 378
    Diagnosis of Large Software Systems Based on Colored Petri Nets
    by Li, Yingmin
    Published 2010
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
  19. 379
    Représentation et interaction des preuves en superdéduction modulo
    by Houtmann, Clément
    Published 2010
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  20. 380
    Négociation de contrats dans les systèmes à composants logiciels hiérarchiques
    by Chang, Hervé
    Published 2007
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search