GRAPHIC SPECIFICATION OF ABSTRACT DATA TYPES
La definición formal de requisitos de software usando especificaciones algebraicas tiene todas las ventajas de las especificaciones formales y su sólida base teórica. Este tipo de especificaciones es generalmente textual. La mayor parte de los lenguajes de especificación modernos tienen una represen...
Guardado en:
Autores principales: | Rossel,Pedro, Contreras,Ricardo, Bastarrica,María Cecilia |
---|---|
Lenguaje: | Spanish / Castilian |
Publicado: |
Universidad de Tarapacá. Facultad de Ingeniería
2004
|
Materias: | |
Acceso en línea: | http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-13372004000100003 |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
La especificación formal en contexto: actual y futuro
por: Serna M,Edgar, et al.
Publicado: (2014) -
HELER: UNA HERRAMIENTA PARA LA INGENIERÍA DE REQUISITOS AUTOMATIZADA
por: Mauro Callejas Cuervo, et al.
Publicado: (2010) -
Método ágil híbrido para desarrollar software en dispositivos móviles
por: Leiva Mundaca,Ignacio, et al.
Publicado: (2015) -
Dificultades cognitivas asociadas a la solución de un ejercicio de mecánica de fluidos en un contexto de aprendizaje virtual
por: Martínez,Francisco J.
Publicado: (2021) -
Mantenibilidad del Software. Consideraciones para su especificación y validación
por: Adones Farfán,Jenny, et al.
Publicado: (2020)