Matches in SemOpenAlex for { <https://semopenalex.org/work/W1504458315> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W1504458315 endingPage "10" @default.
- W1504458315 startingPage "7" @default.
- W1504458315 abstract "En este trabajo presentamos una propuesta para apoyar la ensenanza de metodos formales en una curricula de grado, y postgrado, usando el asistente de pruebas Coq y conceptos del area de Teoria de Tipos. Proponemos un taller de especificacion, construccion y verificacion de sistemas en los paradigmas de programacion funcional e imperativo, que tambien abarca el analisis de sistemas criticos: sistemas reactivos y de tiempo real. Describimos algunas experiencias en el desarrollo del taller y planteamos cambios y extensiones." @default.
- W1504458315 created "2016-06-24" @default.
- W1504458315 creator A5001520311 @default.
- W1504458315 date "2006-12-01" @default.
- W1504458315 modified "2023-09-28" @default.
- W1504458315 title "Enseñando Métodos Formales con Coq" @default.
- W1504458315 cites W131776992 @default.
- W1504458315 cites W1480957705 @default.
- W1504458315 cites W1486283458 @default.
- W1504458315 cites W1491165055 @default.
- W1504458315 cites W1501958072 @default.
- W1504458315 cites W1508641834 @default.
- W1504458315 cites W1521083034 @default.
- W1504458315 cites W1560253649 @default.
- W1504458315 cites W1867436870 @default.
- W1504458315 cites W1923559563 @default.
- W1504458315 cites W1949275316 @default.
- W1504458315 cites W1986402635 @default.
- W1504458315 cites W2086054252 @default.
- W1504458315 cites W2103953153 @default.
- W1504458315 cites W2125661586 @default.
- W1504458315 cites W2135000443 @default.
- W1504458315 cites W2147543351 @default.
- W1504458315 cites W2167849549 @default.
- W1504458315 cites W2170527269 @default.
- W1504458315 cites W2793825941 @default.
- W1504458315 cites W3083054731 @default.
- W1504458315 cites W822618724 @default.
- W1504458315 cites W88941351 @default.
- W1504458315 cites W187945160 @default.
- W1504458315 hasPublicationYear "2006" @default.
- W1504458315 type Work @default.
- W1504458315 sameAs 1504458315 @default.
- W1504458315 citedByCount "0" @default.
- W1504458315 crossrefType "journal-article" @default.
- W1504458315 hasAuthorship W1504458315A5001520311 @default.
- W1504458315 hasConcept C138885662 @default.
- W1504458315 hasConcept C15708023 @default.
- W1504458315 hasConcept C33923547 @default.
- W1504458315 hasConceptScore W1504458315C138885662 @default.
- W1504458315 hasConceptScore W1504458315C15708023 @default.
- W1504458315 hasConceptScore W1504458315C33923547 @default.
- W1504458315 hasIssue "1" @default.
- W1504458315 hasLocation W15044583151 @default.
- W1504458315 hasOpenAccess W1504458315 @default.
- W1504458315 hasPrimaryLocation W15044583151 @default.
- W1504458315 isParatext "false" @default.
- W1504458315 isRetracted "false" @default.
- W1504458315 magId "1504458315" @default.
- W1504458315 workType "article" @default.