2 research outputs found

    T茅cnicas autom谩ticas para la elaboraci贸n, validaci贸n y verificaci贸n de requisitos de Software

    Get PDF
    Tesis (Doctor en Cs. de la Computaci贸n)--Universidad Nacional de C贸rdoba, Facultad de Matem谩tica, Astronom铆a y F铆sica, 2015.Es ampliamente aceptado que los errores son m谩s f谩ciles (y menos costosos) de corregir si se capturan lo m谩s temprano posible en el proceso de desarrollo. Luego, obtener una especificaci贸n de requisitos de buena calidad, es de fundamental importancia pr谩ctica y econ贸mica en la mayor铆a de las metodolog铆as de desarrollo de software modernas. Esto motiv贸 a que las notaciones formales para la especificaci贸n de requisitos adquirieran mayor atenci贸n en las 煤ltimas d茅cadas. En este trabajo, se presentan dos t茅cnicas autom谩ticas que brindan soporte al proceso de elaboraci贸n y validaci贸n de requisitos de software. En breve, 茅stas se basan en manipulaciones de formulas l贸gicas, explotando la eficiencia de varios mecanismos de an谩lisis provenientes de los m茅todos formales, como SAT solving, model checking e interpolaci贸n
    corecore