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...
Guardado en:
Autores principales: | Serna M,Edgar, Serna A,Alexei |
---|---|
Lenguaje: | Spanish / Castilian |
Publicado: |
Universidad de Tarapacá.
2014
|
Materias: | |
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!
|
Ejemplares similares
-
GRAPHIC SPECIFICATION OF ABSTRACT DATA TYPES
por: Rossel,Pedro, et al.
Publicado: (2004) -
Process and progress of requirement formalization in Software Engineering
por: Serna M.,Edgar, et al.
Publicado: (2020) -
Coordinación de servicios Web: de las aplicaciones a los modelos formales
por: Mata Sotés, Eloy Javier
Publicado: (2009) -
Desarrollo simbólico en niños pequeños: el rol de la instrucción en la comprensión y el uso de símbolos /
por: Salsa, A. M.
Publicado: (2004) -
Organización de acciones socioeducativas dirigidas a jóvenes en el marco de la educación no formal : MF1876_3 /
por: Sarrión Romero, Carolina
Publicado: (2015)