Suggested Topics within your search.
Showing 201 - 220 results of 21,917 for search '"Computer science and engineering"', query time: 1.75s Refine Results
  1. 201
    Evidence-based Software Process Recovery
    by Hindle, Abram
    Published 2010
    Subjects: “...Computer Science (Software Engineering)...”
    Get full text
  2. 202
    Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés
    by Lanoix, Arnaud
    Published 2005
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
  3. 203
    Qinna, une architecture à base de composants pour la gestion de la qualité de service dans les systèmes embarqués mobiles
    by Tournier, Jean-Charles
    Published 2005
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
  4. 204
    Adaptabilité des Services Techniques dans le Modèle à Composants
    by Hérault, Colombe
    Published 2005
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
  5. 205
    Une approche pour l'adaptation et l'évaluation de stratégies génériques d'alignement de modèles
    by Garces, Kelly
    Published 2010
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  6. 206
    Un outil d'aide à l'installation d'UNIX fondé sur les connaissances
    by Vial, Philippe
    Published 1988
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  7. 207
    Feature Model Synthesis
    by She, Steven
    Published 2013
    Subjects: “...Computer Science (Software Engineering)...”
    Get full text
  8. 208
    Feature Model Synthesis
    by She, Steven
    Published 2013
    Subjects: “...Computer Science (Software Engineering)...”
    Get full text
  9. 209
    Exploitation des techniques de modélisation du GL et de l'IHM pour la création de supports communs entre intervenants de projet de développement de systèmes interactifs et pour la modélisation des situations de travail complexes
    by Bernonville, Stéphanie
    Published 2008
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  10. 210
    Proposition d'une méthode et d'un outil pour le développement d'applications
    by Kadri, Reda
    Published 2009
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  11. 211
    Composition comportementale dans les Architectures Orientées Services
    by Mosser, Sébastien
    Published 2010
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  12. 212
    Visualizing, Assessing and Re-Modularizing Object-Oriented Architectural Elements
    by Abdeen, Hani
    Published 2009
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  13. 213
    Réécriture et Modularité pour les Politiques de Sécurité
    by Santana De Oliveira, Anderson
    Published 2008
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  14. 214
    Appariement de spécifications de comportements pour la découverte de services
    by Corrales, Juan-Carlos
    Published 2008
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  15. 215
    Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles
    by Le Berre, Tanguy
    Published 2010
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  16. 216
    Contraintes d'anti-filtrage et programmation par réécriture
    by Kopetz, Radu
    Published 2008
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  17. 217
    Etude et réalisation d'une traduction automatique d'Algol 60 en Algol 68
    by Landelle, Alain
    Published 1971
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  18. 218
    Test fonctionnel statistique de logiciels spécifiés en Lustre ; application à la validation de services téléphoniques
    by Du Bousquet, Lydie
    Published 1999
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  19. 219
    Des programmes impératifs vers la logique équationnelle pour la vérification
    by Ponsini, Olivier
    Published 2005
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  20. 220
    Génération automatique de cas de test guidée par les propriétés de sûreté
    by Vassy, Jérôme
    Published 2004
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search