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

Mostrando 1 resultados de: 1

Filtros aplicados

Palabras Claves: "Computer programming"

Subtipo de publicación

Conference Object(1)

Publisher

Proceedings - IEEE International Conference on Technology for Education, T4E 2011(1)

Área temáticas

Funcionamiento de bibliotecas y archivos(1)
Instrumentos de precisión y otros dispositivos(1)
Programación informática, programas, datos, seguridad(1)

Área de conocimiento

Ciencias de la computación(1)
Programación de computadoras(1)

Objetivos de Desarrollo Sostenible

ODS 4: Educación de calidad(1)
ODS 8: Trabajo decente y crecimiento económico(1)
ODS 9: Industria, innovación e infraestructura(1)

Año de Publicación

2011(1)

Origen

scopus(1)

Palabras Claves

Diagrammatic Reasoning(1)
Formal Methods(1)
Invariant Based Programming(1)
Program Correctness(1)
  • Diagrammatic reasoning in computer programming

    avatar
    Conference Object
    Abstract: Proving program correctness has a significant side-benefit of leading the step-wise systematic devel
    Palabras claves:
    Computer programming, Diagrammatic Reasoning, Formal Methods, Invariant Based Programming, Program Correctness
    Autores:
    R. S. Milton, Ragendhu S.
    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

      © 2026 CEDIA copyright
      CEDIA