Mostra el registre d'ítem simple

dc.contributorThirioux, Xavier
dc.contributorGaroche, Pierre-Loc
dc.contributor.authorHonorat Poblette, Jorge Luis
dc.date.accessioned2012-09-21T09:36:04Z
dc.date.available2012-09-21T09:36:04Z
dc.date.issued2012-06-19
dc.identifier.urihttp://hdl.handle.net/2099.1/16054
dc.descriptionProjecte realitzat en col·laboració amb l'Institut de Recherche en Informatique de Toulouse i ONERA The French Aeroespace Lab
dc.description.abstract[ANGLÈS] Given the background in software and hardware evolution over the years as well as the demand of accurate information in different industrial areas as aeronautics, nuclear and medical is how this Master thesis born. Having as main objective helping to discharging complex proof obligations by combining two formal methods (Abstract Interpretation and Weakest Precondition) to improve the precision in the software analysis.
dc.description.abstract[CASTELLÀ] Teniendo en cuenta el fondo en la evolución del software y hardware en los últimos años, así como la demanda de información precisa en diferentes áreas industriales como la aeronáutico, nuclear y médica es cómo esta tesis de maestría ha nacido. Teniendo como objetivo principal contribuir a la ejecución de obligaciones complejas a prueba mediante la combinación de dos métodos formales (interpretación abstracta y pre condición más débil) para mejorar la precisión en el análisis de software.
dc.description.abstract[CATALÀ] Tenint en compte el fons en l'evolució del programari i maquinari en els últims anys, així com la demanda d'informació precisa en vaig diferents àrees industrials com l'aeronàutic, nuclear i mèdica és com aquesta tesi de mestratge nascut. Tenint com a objectiu principal contribuir a l'execució d'obligacions complexes a prova mitjançant la combinació de dos mètodes formals (interpretació abstracta i més feble condició prèvia) per millorar la precisió en l'anàlisi de programari.
dc.language.isoeng
dc.publisherUniversitat Politècnica de Catalunya
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Spain
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subjectÀrees temàtiques de la UPC::Informàtica::Programació
dc.subject.lcshAeronautics
dc.subject.lcshSystem analysis--Data processing
dc.subject.lcshProgramming (Mathematics)
dc.subject.lcshParallel programming (Computer science)
dc.subject.otherstatic analyses
dc.subject.otheranálisis estático
dc.titleCombining two formal methods of the static analyses
dc.title.alternativeLa combinación de dos métodos formales de los análisis estáticos
dc.title.alternativeLa combinació de dos mètodes formals de les anàlisis estàtiques
dc.typeMaster thesis
dc.subject.lemacAeronàutica
dc.subject.lemacAnàlisi de sistemes -- Informàtica
dc.subject.lemacProgramació (Matemàtica)
dc.subject.lemacProgramació en paral·lel (Informàtica)
dc.identifier.slugETSETB-230.81149
dc.rights.accessOpen Access
dc.date.updated2012-08-01T13:29:06Z
dc.audience.educationlevelMàster
dc.audience.mediatorEscola Tècnica Superior d'Enginyeria de Telecomunicació de Barcelona


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple