La especificación formal en contexto: actual y futuro

La especificación formal es un área de investigación activa en la ingeniería de software de este siglo, en la que se aplica en diversas configuraciones y técnicas, y aunque su uso industrial todavía es limitado, la comunidad científica tiene actualmente una comprensión diferente acerca de su utilida...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Serna M,Edgar, Serna A,Alexei
Lenguaje:	Spanish / Castilian
Publicado:	Universidad de Tarapacá. 2014
Materias:	Técnicas formales especificación formal métodos formales ciencias computacionales ingeniería de software
Acceso en línea:	http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-33052014000200010
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

id	oai:scielo:S0718-33052014000200010
record_format	dspace
spelling	oai:scielo:S0718-330520140002000102014-09-02La especificación formal en contexto: actual y futuroSerna M,EdgarSerna A,Alexei Técnicas formales especificación formal métodos formales ciencias computacionales ingeniería de software La especificación formal es un área de investigación activa en la ingeniería de software de este siglo, en la que se aplica en diversas configuraciones y técnicas, y aunque su uso industrial todavía es limitado, la comunidad científica tiene actualmente una comprensión diferente acerca de su utilidad y necesidad. Hasta el momento el trabajo de los investigadores se focaliza en la especificación escrita durante el diseño del modelo funcional preliminar, por lo que se centra principalmente en evaluar las herramientas relacionadas. En este trabajo se realiza una revisión a la literatura, se hace un recorrido por la esencia, la función, el uso y los inconvenientes de las técnicas de especificación formal y se analizan algunos criterios de valoración y de evaluación a sus debilidades. Los resultados se convierten en la base para formular trabajos futuros, con el objetivo de buscar que la especificación formal se afiance como actividad básica de investigación.info:eu-repo/semantics/openAccessUniversidad de Tarapacá.Ingeniare. Revista chilena de ingeniería v.22 n.2 20142014-04-01text/htmlhttp://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-33052014000200010es10.4067/S0718-33052014000200010
institution	Scielo Chile
collection	Scielo Chile
language	Spanish / Castilian
topic	Técnicas formales especificación formal métodos formales ciencias computacionales ingeniería de software
spellingShingle	Técnicas formales especificación formal métodos formales ciencias computacionales ingeniería de software Serna M,Edgar Serna A,Alexei La especificación formal en contexto: actual y futuro
description	La especificación formal es un área de investigación activa en la ingeniería de software de este siglo, en la que se aplica en diversas configuraciones y técnicas, y aunque su uso industrial todavía es limitado, la comunidad científica tiene actualmente una comprensión diferente acerca de su utilidad y necesidad. Hasta el momento el trabajo de los investigadores se focaliza en la especificación escrita durante el diseño del modelo funcional preliminar, por lo que se centra principalmente en evaluar las herramientas relacionadas. En este trabajo se realiza una revisión a la literatura, se hace un recorrido por la esencia, la función, el uso y los inconvenientes de las técnicas de especificación formal y se analizan algunos criterios de valoración y de evaluación a sus debilidades. Los resultados se convierten en la base para formular trabajos futuros, con el objetivo de buscar que la especificación formal se afiance como actividad básica de investigación.
author	Serna M,Edgar Serna A,Alexei
author_facet	Serna M,Edgar Serna A,Alexei
author_sort	Serna M,Edgar
title	La especificación formal en contexto: actual y futuro
title_short	La especificación formal en contexto: actual y futuro
title_full	La especificación formal en contexto: actual y futuro
title_fullStr	La especificación formal en contexto: actual y futuro
title_full_unstemmed	La especificación formal en contexto: actual y futuro
title_sort	la especificación formal en contexto: actual y futuro
publisher	Universidad de Tarapacá.
publishDate	2014
url	http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-33052014000200010
work_keys_str_mv	AT sernamedgar laespecificacionformalencontextoactualyfuturo AT sernaaalexei laespecificacionformalencontextoactualyfuturo
_version_	1714203413060780032

La especificación formal en contexto: actual y futuro

Ejemplares similares