Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017207897> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2017207897 endingPage "835" @default.
- W2017207897 startingPage "812" @default.
- W2017207897 abstract "This work presents a general mechanism for executing specifications that comply with given invariants, which may be expressed in different formalisms and logics. We exploit Maude’s reflective capabilities and its properties as a general semantic framework to provide a generic strategy that allows us to execute Maude specifications taking into account user-defined invariants. The strategy is parameterized by the invariants and by the logic in which such invariants are expressed. We experiment with different logics, providing examples for propositional logic, (finite future time) linear temporal logic and metric temporal logic." @default.
- W2017207897 created "2016-06-24" @default.
- W2017207897 creator A5002646527 @default.
- W2017207897 creator A5003199242 @default.
- W2017207897 creator A5016544041 @default.
- W2017207897 date "2009-08-01" @default.
- W2017207897 modified "2023-10-03" @default.
- W2017207897 title "Invariant-driven specifications in Maude" @default.
- W2017207897 cites W1573154295 @default.
- W2017207897 cites W1976195354 @default.
- W2017207897 cites W1979359160 @default.
- W2017207897 cites W2019751493 @default.
- W2017207897 cites W2023808162 @default.
- W2017207897 cites W2031188261 @default.
- W2017207897 cites W2067544274 @default.
- W2017207897 cites W2070348936 @default.
- W2017207897 cites W2098584870 @default.
- W2017207897 cites W2134287022 @default.
- W2017207897 cites W2147892488 @default.
- W2017207897 cites W2153385696 @default.
- W2017207897 cites W2157479553 @default.
- W2017207897 cites W2166117762 @default.
- W2017207897 doi "https://doi.org/10.1016/j.scico.2009.03.003" @default.
- W2017207897 hasPublicationYear "2009" @default.
- W2017207897 type Work @default.
- W2017207897 sameAs 2017207897 @default.
- W2017207897 citedByCount "7" @default.
- W2017207897 countsByYear W20172078972015 @default.
- W2017207897 countsByYear W20172078972016 @default.
- W2017207897 countsByYear W20172078972018 @default.
- W2017207897 countsByYear W20172078972019 @default.
- W2017207897 countsByYear W20172078972023 @default.
- W2017207897 crossrefType "journal-article" @default.
- W2017207897 hasAuthorship W2017207897A5002646527 @default.
- W2017207897 hasAuthorship W2017207897A5003199242 @default.
- W2017207897 hasAuthorship W2017207897A5016544041 @default.
- W2017207897 hasBestOaLocation W20172078971 @default.
- W2017207897 hasConcept C110251889 @default.
- W2017207897 hasConcept C11413529 @default.
- W2017207897 hasConcept C121332964 @default.
- W2017207897 hasConcept C154690210 @default.
- W2017207897 hasConcept C165464430 @default.
- W2017207897 hasConcept C165801399 @default.
- W2017207897 hasConcept C171018156 @default.
- W2017207897 hasConcept C172385210 @default.
- W2017207897 hasConcept C190470478 @default.
- W2017207897 hasConcept C199360897 @default.
- W2017207897 hasConcept C25016198 @default.
- W2017207897 hasConcept C2524010 @default.
- W2017207897 hasConcept C2777796570 @default.
- W2017207897 hasConcept C33923547 @default.
- W2017207897 hasConcept C37914503 @default.
- W2017207897 hasConcept C41008148 @default.
- W2017207897 hasConcept C4777664 @default.
- W2017207897 hasConcept C62520636 @default.
- W2017207897 hasConcept C80444323 @default.
- W2017207897 hasConceptScore W2017207897C110251889 @default.
- W2017207897 hasConceptScore W2017207897C11413529 @default.
- W2017207897 hasConceptScore W2017207897C121332964 @default.
- W2017207897 hasConceptScore W2017207897C154690210 @default.
- W2017207897 hasConceptScore W2017207897C165464430 @default.
- W2017207897 hasConceptScore W2017207897C165801399 @default.
- W2017207897 hasConceptScore W2017207897C171018156 @default.
- W2017207897 hasConceptScore W2017207897C172385210 @default.
- W2017207897 hasConceptScore W2017207897C190470478 @default.
- W2017207897 hasConceptScore W2017207897C199360897 @default.
- W2017207897 hasConceptScore W2017207897C25016198 @default.
- W2017207897 hasConceptScore W2017207897C2524010 @default.
- W2017207897 hasConceptScore W2017207897C2777796570 @default.
- W2017207897 hasConceptScore W2017207897C33923547 @default.
- W2017207897 hasConceptScore W2017207897C37914503 @default.
- W2017207897 hasConceptScore W2017207897C41008148 @default.
- W2017207897 hasConceptScore W2017207897C4777664 @default.
- W2017207897 hasConceptScore W2017207897C62520636 @default.
- W2017207897 hasConceptScore W2017207897C80444323 @default.
- W2017207897 hasIssue "10" @default.
- W2017207897 hasLocation W20172078971 @default.
- W2017207897 hasOpenAccess W2017207897 @default.
- W2017207897 hasPrimaryLocation W20172078971 @default.
- W2017207897 hasRelatedWork W1546948343 @default.
- W2017207897 hasRelatedWork W1864036814 @default.
- W2017207897 hasRelatedWork W1986424898 @default.
- W2017207897 hasRelatedWork W2017207897 @default.
- W2017207897 hasRelatedWork W2081369054 @default.
- W2017207897 hasRelatedWork W2114609077 @default.
- W2017207897 hasRelatedWork W2180066852 @default.
- W2017207897 hasRelatedWork W4200153695 @default.
- W2017207897 hasRelatedWork W94249443 @default.
- W2017207897 hasRelatedWork W946220898 @default.
- W2017207897 hasVolume "74" @default.
- W2017207897 isParatext "false" @default.
- W2017207897 isRetracted "false" @default.
- W2017207897 magId "2017207897" @default.
- W2017207897 workType "article" @default.