Documentos de Pastor Ó. | REDI

Regresar

Mostrando 2 resultados de: 2

Filtros aplicados

Año de Publicación: "1997"

Subtipo de publicación

Conference Object(2)

Publisher

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

Área temáticas

Ciencias de la computación(2)

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

Área de conocimiento

Ingeniería de software(2)

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.

Linking object-oriented conceptual modeling with object-oriented implementation in java

Conference Object

Abstract: Nowadays, if we want to obtain a sound and correct final software product it is very important to be

Palabras claves:

Emilio Insfran, Pastor Ó., Pelechano V., Ramírez S.