Matches in SemOpenAlex for { <https://semopenalex.org/work/W1552648346> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1552648346 endingPage "75" @default.
- W1552648346 startingPage "60" @default.
- W1552648346 abstract "Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lacks the formal tools to perform some of these analyses and thus they can only be done by hand. The Heterogeneous Tool Set Hets is an institution-based combination of different logics and corresponding rewriting, model checking and proof tools. We present in this paper an integration of Maude into Hets that allows to use the logics and tools already integrated in Hets with Maude specifications. To achieve such integration we have defined an institution for Maude based on preordered algebras and a comorphism between Maude and Casl, the central logic in Hets." @default.
- W1552648346 created "2016-06-24" @default.
- W1552648346 creator A5015349819 @default.
- W1552648346 creator A5040001719 @default.
- W1552648346 creator A5048720165 @default.
- W1552648346 creator A5087438877 @default.
- W1552648346 date "2011-01-01" @default.
- W1552648346 modified "2023-10-03" @default.
- W1552648346 title "Integrating Maude into Hets" @default.
- W1552648346 cites W1515857575 @default.
- W1552648346 cites W1571277216 @default.
- W1552648346 cites W1678943029 @default.
- W1552648346 cites W193668645 @default.
- W1552648346 cites W1976195354 @default.
- W1552648346 cites W1991598919 @default.
- W1552648346 cites W2010883554 @default.
- W1552648346 cites W2129292012 @default.
- W1552648346 cites W2158673451 @default.
- W1552648346 cites W2492089900 @default.
- W1552648346 cites W2973533397 @default.
- W1552648346 cites W4238794324 @default.
- W1552648346 cites W4250846042 @default.
- W1552648346 cites W87506586 @default.
- W1552648346 doi "https://doi.org/10.1007/978-3-642-17796-5_4" @default.
- W1552648346 hasPublicationYear "2011" @default.
- W1552648346 type Work @default.
- W1552648346 sameAs 1552648346 @default.
- W1552648346 citedByCount "4" @default.
- W1552648346 countsByYear W15526483462012 @default.
- W1552648346 countsByYear W15526483462017 @default.
- W1552648346 countsByYear W15526483462022 @default.
- W1552648346 crossrefType "book-chapter" @default.
- W1552648346 hasAuthorship W1552648346A5015349819 @default.
- W1552648346 hasAuthorship W1552648346A5040001719 @default.
- W1552648346 hasAuthorship W1552648346A5048720165 @default.
- W1552648346 hasAuthorship W1552648346A5087438877 @default.
- W1552648346 hasBestOaLocation W15526483462 @default.
- W1552648346 hasConcept C154690210 @default.
- W1552648346 hasConcept C177264268 @default.
- W1552648346 hasConcept C199360897 @default.
- W1552648346 hasConcept C41008148 @default.
- W1552648346 hasConceptScore W1552648346C154690210 @default.
- W1552648346 hasConceptScore W1552648346C177264268 @default.
- W1552648346 hasConceptScore W1552648346C199360897 @default.
- W1552648346 hasConceptScore W1552648346C41008148 @default.
- W1552648346 hasLocation W15526483461 @default.
- W1552648346 hasLocation W15526483462 @default.
- W1552648346 hasOpenAccess W1552648346 @default.
- W1552648346 hasPrimaryLocation W15526483461 @default.
- W1552648346 hasRelatedWork W2013111119 @default.
- W1552648346 hasRelatedWork W2108174561 @default.
- W1552648346 hasRelatedWork W2109507516 @default.
- W1552648346 hasRelatedWork W2166247150 @default.
- W1552648346 hasRelatedWork W2475423329 @default.
- W1552648346 hasRelatedWork W2951579968 @default.
- W1552648346 hasRelatedWork W4240242535 @default.
- W1552648346 hasRelatedWork W4243252198 @default.
- W1552648346 hasRelatedWork W4251805752 @default.
- W1552648346 hasRelatedWork W4298081562 @default.
- W1552648346 isParatext "false" @default.
- W1552648346 isRetracted "false" @default.
- W1552648346 magId "1552648346" @default.
- W1552648346 workType "book-chapter" @default.