Show simple item record

dc.creatorSerna M,Edgar
dc.creatorSerna A,Alexei
dc.date2014-04-01
dc.date.accessioned2019-04-24T21:28:37Z
dc.date.available2019-04-24T21:28:37Z
dc.identifierhttps://scielo.conicyt.cl/scielo.php?script=sci_arttext&pid=S0718-33052014000200010
dc.identifier.urihttp://revistaschilenas.uchile.cl/handle/2250/58981
dc.descriptionLa 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.
dc.formattext/html
dc.languagees
dc.publisherUniversidad de Tarapacá.
dc.relation10.4067/S0718-33052014000200010
dc.rightsinfo:eu-repo/semantics/openAccess
dc.sourceIngeniare. Revista chilena de ingeniería v.22 n.2 2014
dc.subjectTécnicas formales
dc.subjectespecificación formal
dc.subjectmétodos formales
dc.subjectciencias computacionales
dc.subjectingeniería de software
dc.titleLa especificación formal en contexto: actual y futuro


This item appears in the following Collection(s)

Show simple item record