Ragendhu S.
2
Coauthors
2
Documentos
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 2011 | 2 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 4 |
| Programación de computadoras | 2 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Instrumentos de precisión y otros dispositivos | 2 |
| Programación informática, programas, datos, seguridad | 2 |
| Funcionamiento de bibliotecas y archivos | 1 |
| Ciencias de la computación | 1 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 2 |
| Google Scholar | 0 |
| RRAAE | 0 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| R. S. Milton | 2 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
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