redi logo
  • Inicio
  • Acerca de
Regresar
  • Inicio
  • /
  • Explore
  • /
  • Authors

Mostrando 1 resultados de: 1

Filtros aplicados

Año de Publicación: "2001"

Subtipo de publicación

Conference Object(1)

Publisher

Proceedings - International Conference on Software Engineering(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)
Software(1)

Objetivos de Desarrollo Sostenible

ODS 12: Producción y consumo responsables(1)
ODS 8: Trabajo decente y crecimiento económico(1)
ODS 9: Industria, innovación e infraestructura(1)

Origen

scopus(1)
  • Reuse of verification efforts and incomplete specifications in a formalized, iterative and incremental software process

    avatar
    Conference Object
    Abstract: The possibility of verifying systems during any phase of the software development process is one of
    Palabras claves:
    Autores:
    José Pazos-Arias, Redondo R.P.D.
    Fuentes:
    scopus
    1
  • 1

Inicio

    Acerca de

      Explorar

        AutoresDocumentosOrganizacionesEventosProyectosPatentesServicios

      Análisis

        Áreas de conocimiento
        Redes de investigaciónTendenciasTodas las áreas de conocimiento
        Áreas temáticas de Dewey
        Redes de investigaciónTendenciasTodas las áreas temáticas
        Objetivos de Desarrollo Sostenible
        ODS por documentos

      Reportes

        GeneralAutoresDocumentosOrganizacionesEventosProyectosPatentesServicios

      © 2025 CEDIA copyright
      CEDIA