Matches in SemOpenAlex for { <https://semopenalex.org/work/W2286760894> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2286760894 abstract "Las logicas han sido usadas como sistemas formales para especificar sistemas de software. Mas aun, las especificaciones logicas, por ser formales, contribuyen en la aplicacion de metodos tecnicas correctas de verificacion. Diversos formalismos han sido desarrollados para lidiar con estos aspectos y muchos de ellos son eficientes en describir ciertas caracteristicas de los sistemas de software. Por ejemplo, la logica temporal, proposicional y de primer order, consigue describir la forma en la que los sistemas de software evolucionan en el tiempo. La logica dinamica tambien permite la especificacion de sistemas pero lo hace describiendo como los programas transforman el estado del sistema. Estos son solo algunos ejemplos de como una logica particular permite la especificacion de determinados comportamientos de un sistema. La pregunta interesante acerca de este hecho es: Existe un lenguaje ideal para especificar el comportamiento de un sistema? A pesar de que no vamos a concentrarnos en responder esta pregunta, creemos que ese lenguaje debe tener una sintaxis clara y una semantica facil de entender, con el proposito de facilitar la comprension de especificaciones y la aplicacion de metodos formales. Entre las propuestas que recopilamos, las instituciones se imponen como un formalismo para razonar entre logicas, y una institucion universal, que permita razonar entre las logicas interesantes seria la respuesta a nuestra pregunta. En esta tesis mostraremos que una definicion adecuada de la institucion de las fork algebras es util para razonar entre diversas logicas proposicionales y de primer orden que aparecen frecuentemente en la especificacion de software." @default.
- W2286760894 created "2016-06-24" @default.
- W2286760894 creator A5052756608 @default.
- W2286760894 creator A5067670409 @default.
- W2286760894 date "2007-01-01" @default.
- W2286760894 modified "2023-09-24" @default.
- W2286760894 title "Fork algebras como herramienta de razonamiento entre especificaciones heterogéneas" @default.
- W2286760894 cites W120333500 @default.
- W2286760894 cites W1491716768 @default.
- W2286760894 cites W1491913687 @default.
- W2286760894 cites W1498523273 @default.
- W2286760894 cites W1526059675 @default.
- W2286760894 cites W1532021941 @default.
- W2286760894 cites W1534850143 @default.
- W2286760894 cites W1536405166 @default.
- W2286760894 cites W1537269275 @default.
- W2286760894 cites W1538310240 @default.
- W2286760894 cites W1540530196 @default.
- W2286760894 cites W1545797722 @default.
- W2286760894 cites W1551406732 @default.
- W2286760894 cites W1562907065 @default.
- W2286760894 cites W1567084588 @default.
- W2286760894 cites W1586845597 @default.
- W2286760894 cites W1602067282 @default.
- W2286760894 cites W1612453857 @default.
- W2286760894 cites W1668251188 @default.
- W2286760894 cites W1784765900 @default.
- W2286760894 cites W1845985101 @default.
- W2286760894 cites W1847493312 @default.
- W2286760894 cites W1877482483 @default.
- W2286760894 cites W189201560 @default.
- W2286760894 cites W190595227 @default.
- W2286760894 cites W1971743535 @default.
- W2286760894 cites W1975286358 @default.
- W2286760894 cites W1983214992 @default.
- W2286760894 cites W1986776645 @default.
- W2286760894 cites W1988903622 @default.
- W2286760894 cites W1988964526 @default.
- W2286760894 cites W1998538047 @default.
- W2286760894 cites W2004952765 @default.
- W2286760894 cites W2005819264 @default.
- W2286760894 cites W2006006495 @default.
- W2286760894 cites W2017096836 @default.
- W2286760894 cites W2018944629 @default.
- W2286760894 cites W2023648368 @default.
- W2286760894 cites W2027733641 @default.
- W2286760894 cites W2030670832 @default.
- W2286760894 cites W2033274602 @default.
- W2286760894 cites W2049352524 @default.
- W2286760894 cites W2060440626 @default.
- W2286760894 cites W2061438988 @default.
- W2286760894 cites W2062980567 @default.
- W2286760894 cites W2071630834 @default.
- W2286760894 cites W2090233333 @default.
- W2286760894 cites W2101591864 @default.
- W2286760894 cites W2105505307 @default.
- W2286760894 cites W2109696340 @default.
- W2286760894 cites W2113486906 @default.
- W2286760894 cites W2115000351 @default.
- W2286760894 cites W2120926795 @default.
- W2286760894 cites W2134119432 @default.
- W2286760894 cites W2136584020 @default.
- W2286760894 cites W2145394419 @default.
- W2286760894 cites W2157552366 @default.
- W2286760894 cites W2164810907 @default.
- W2286760894 cites W2167030131 @default.
- W2286760894 cites W223002628 @default.
- W2286760894 cites W2315064349 @default.
- W2286760894 cites W2336123333 @default.
- W2286760894 cites W2760720512 @default.
- W2286760894 cites W2801752629 @default.
- W2286760894 cites W2914821813 @default.
- W2286760894 cites W588528421 @default.
- W2286760894 cites W614839917 @default.
- W2286760894 cites W88044012 @default.
- W2286760894 cites W2476690967 @default.
- W2286760894 cites W2792473872 @default.
- W2286760894 cites W35789762 @default.
- W2286760894 hasPublicationYear "2007" @default.
- W2286760894 type Work @default.
- W2286760894 sameAs 2286760894 @default.
- W2286760894 citedByCount "0" @default.
- W2286760894 crossrefType "journal-article" @default.
- W2286760894 hasAuthorship W2286760894A5052756608 @default.
- W2286760894 hasAuthorship W2286760894A5067670409 @default.
- W2286760894 hasConcept C138885662 @default.
- W2286760894 hasConcept C15708023 @default.
- W2286760894 hasConceptScore W2286760894C138885662 @default.
- W2286760894 hasConceptScore W2286760894C15708023 @default.
- W2286760894 hasLocation W22867608941 @default.
- W2286760894 hasOpenAccess W2286760894 @default.
- W2286760894 hasPrimaryLocation W22867608941 @default.
- W2286760894 isParatext "false" @default.
- W2286760894 isRetracted "false" @default.
- W2286760894 magId "2286760894" @default.
- W2286760894 workType "article" @default.