Documentos de Pelechano V. | REDI

Regresar

Mostrando 1 resultados de: 1

Filtros aplicados

Área temáticas: "Doctrinas"

Subtipo de publicación

Conference Object(1)

Publisher

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)

Área temáticas

Ciencias de la computación(1)

Programación informática, programas, datos, seguridad(1)

Área de conocimiento

Ingeniería de software(1)

Año de Publicación

Origen

OO-Method: An OO software production environment combining conventional and formal methods

Conference Object

Abstract: OO-Method is an OO Methodology that blends the use of formal specification systems with conventional

Palabras claves:

Emilio Insfran, Merseguer J., Pastor Ó., Pelechano V., Romero J.