Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
International Conference on Recent Trends in Information Technology, ICRTIT 2011(1)
Proceedings - IEEE International Conference on Technology for Education, T4E 2011(1)
Área temáticas
Instrumentos de precisión y otros dispositivos(2)
Programación informática, programas, datos, seguridad(2)
Ciencias de la computación(1)
Funcionamiento de bibliotecas y archivos(1)
Origen
scopus(2)
Diagrammatic reasoning in computer programming
Conference ObjectAbstract: Proving program correctness has a significant side-benefit of leading the step-wise systematic develPalabras claves:Computer programming, Diagrammatic Reasoning, Formal Methods, Invariant Based Programming, Program CorrectnessAutores:R. S. Milton, Ragendhu S.Fuentes:scopusDiagrammatic reasoning in program construction
Conference ObjectAbstract: Correctness is proved formally using pbkp_redicate logic, which requires certain mathematical maturiPalabras claves:Diagrammatic Reasoning, Formal Methods, Invariant Based Programming, Program CorrectnessAutores:R. S. Milton, Ragendhu S.Fuentes:scopus