2012, ISBN: 9783841793249

[ED: Taschenbuch / Paperback], [PU: Éditions universitaires européennes], Le développement des langages de modélisation des programmes à contraintes a eu un grand impact dans le monde ind… Meer...

[ED: Taschenbuch / Paperback], [PU: Éditions universitaires européennes], Le développement des langages de modélisation des programmes à contraintes a eu un grand impact dans le monde industriel comme OPL de IBM Ilog, Comet de Dynadec, Sicstus Prolog ou Gecode qui proposent des solutions robustes aux problèmes du monde réel. De plus, ces langages commencent à être utilisés dans des applications critiques comme la gestion et le contrôle du trafic aérien, le e-commerce et le développement de programmes critiques. D'autre part, il est connu que tout processus de développement logiciel effectué dans un cadre industriel inclut impérativement une phase de test, de vérification formelle et/ou de validation. Par ailleurs, ces langages ne connaissent pas d'innovations majeures en termes de vérification et de mise au point. Ceci ouvre la voie à des recherches orientées vers les aspects génie logiciel dédiés à la PPC (programmation par contraintes). Le travail majeur de cette thèse pose les jalons d'une théorie du test des programmes à contraintes ainsi qu'un cadre conceptuel pour la mise-au-point de ce type de programmes avec une méthodologie de localisation et de correction automatique., DE, [SC: 0.00], Neuware, gewerbliches Angebot, H: 220mm, 172, Selbstabholung und Barzahlung, PayPal, Offene Rechnung, Banküberweisung, Internationaler Versand<

2012, ISBN: 9783841793249

[ED: Taschenbuch / Paperback], [PU: Éditions universitaires européennes], Le développement des langages de modélisation des programmes à contraintes a eu un grand impact dans le monde ind… Meer...

[ED: Taschenbuch / Paperback], [PU: Éditions universitaires européennes], Le développement des langages de modélisation des programmes à contraintes a eu un grand impact dans le monde industriel comme OPL de IBM Ilog, Comet de Dynadec, Sicstus Prolog ou Gecode qui proposent des solutions robustes aux problèmes du monde réel. De plus, ces langages commencent à être utilisés dans des applications critiques comme la gestion et le contrôle du trafic aérien, le e-commerce et le développement de programmes critiques. D'autre part, il est connu que tout processus de développement logiciel effectué dans un cadre industriel inclut impérativement une phase de test, de vérification formelle et/ou de validation. Par ailleurs, ces langages ne connaissent pas d'innovations majeures en termes de vérification et de mise au point. Ceci ouvre la voie à des recherches orientées vers les aspects génie logiciel dédiés à la PPC (programmation par contraintes). Le travail majeur de cette thèse pose les jalons d'une théorie du test des programmes à contraintes ainsi qu'un cadre conceptuel pour la mise-au-point de ce type de programmes avec une méthodologie de localisation et de correction automatique., DE, [SC: 0.00], Neuware, gewerbliches Angebot, H: 220mm, 172, Selbstabholung und Barzahlung, PayPal, offene Rechnung, Banküberweisung, Internationaler Versand<

ISBN: 9783841793249

[ED: Softcover], [PU: Éditions universitaires européennes], Le développement des langages de modélisation des programmes à contraintes a eu un grand impact dans le monde industriel comme … Meer...

[ED: Softcover], [PU: Éditions universitaires européennes], Le développement des langages de modélisation des programmes à contraintes a eu un grand impact dans le monde industriel comme OPL de IBM Ilog, Comet de Dynadec, Sicstus Prolog ou Gecode qui proposent des solutions robustes aux problèmes du monde réel. De plus, ces langages commencent à être utilisés dans des applications critiques comme la gestion et le contrôle du trafic aérien, le e-commerce et le développement de programmes critiques. D'autre part, il est connu que tout processus de développement logiciel effectué dans un cadre industriel inclut impérativement une phase de test, de vérification formelle et/ou de validation. Par ailleurs, ces langages ne connaissent pas d'innovations majeures en termes de vérification et de mise au point. Ceci ouvre la voie à des recherches orientées vers les aspects génie logiciel dédiés à la PPC (programmation par contraintes). Le travail majeur de cette thèse pose les jalons d'une théorie du test des programmes à contraintes ainsi qu'un cadre conceptuel pour la mise-au-point de ce type de programmes avec une méthodologie de localisation et de correction automatique. 172 S. 220 mm Sofort lieferbar, DE, [SC: 0.00], Neuware, gewerbliches Angebot, Offene Rechnung (Vorkasse vorbehalten)<

2012, ISBN: 9783841793249

Erscheinungsdatum: 03/2012, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Théorie de Test des programmes à contraintes, Titelzusatz: Méthodologie et outil de test, de loca… Meer...

Erscheinungsdatum: 03/2012, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Théorie de Test des programmes à contraintes, Titelzusatz: Méthodologie et outil de test, de localisation des fautes et de correction automatique des programmes à contraintes, Autor: Lazaar, Nadjib, Verlag: Editions universitaires europeennes EUE, Sprache: Französisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 172, Informationen: Paperback, Gewicht: 272 gr, Verkäufer: averdo Belletristik<

2012, ISBN: 384179324X

[EAN: 9783841793249], Neubuch, [PU: Éditions universitaires européennes], INFORMATIK EDV, Le développement des langages de modélisation des programmes à contraintes a eu un grand imp… Meer...

[EAN: 9783841793249], Neubuch, [PU: Éditions universitaires européennes], INFORMATIK EDV, Le développement des langages de modélisation des programmes à contraintes a eu un grand impact dans le monde industriel comme OPL de IBM Ilog, Comet de Dynadec, Books<