FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2052322132> ?p ?o ?g. }

• W2052322132 endingPage "87" @default.
• W2052322132 startingPage "63" @default.
• W2052322132 abstract "In an environment of continuous and rapid evolution, software design methodologies must incorporate techniques and tools that support changes in software artifacts. In the FERUS project, we are developing a tool targeted at software designers that integrates a collection of operations on algebraic specifications written in the CASL language. The scope of FERUS includes not only modification of existing specifications, but also creation or derivation of new specifications, as well as their proof and execution, which are realized through inter-operability with existing tools. As FERUS involves the manipulation of software specification and inter-operability with other tools, the question of choosing appropriate representation formats is important. In this paper, we discuss the advantages and limitations of ATerms as a manipulation and exchange format in the setting of FERUS . We also present a new, graph-like format, which offers complementary features to a term-based format. Moreover, we present visualization utilities for these formats." @default.
• W2052322132 created "2016-06-24" @default.
• W2052322132 creator A5018236957 @default.
• W2052322132 creator A5030062814 @default.
• W2052322132 creator A5046244008 @default.
• W2052322132 creator A5076284994 @default.
• W2052322132 date "2004-04-01" @default.
• W2052322132 modified "2023-10-17" @default.
• W2052322132 title "Manipulating algebraic specifications with term-based and graph-based representations" @default.
• W2052322132 cites W147899315 @default.
• W2052322132 cites W1481863977 @default.
• W2052322132 cites W1487664366 @default.
• W2052322132 cites W1501405968 @default.
• W2052322132 cites W1530886921 @default.
• W2052322132 cites W1551192066 @default.
• W2052322132 cites W1559870885 @default.
• W2052322132 cites W1567910670 @default.
• W2052322132 cites W1651701101 @default.
• W2052322132 cites W1780570520 @default.
• W2052322132 cites W1928673936 @default.
• W2052322132 cites W1972210479 @default.
• W2052322132 cites W1975230264 @default.
• W2052322132 cites W1992383986 @default.
• W2052322132 cites W2032260294 @default.
• W2052322132 cites W2035652450 @default.
• W2052322132 cites W2071749035 @default.
• W2052322132 cites W2091567516 @default.
• W2052322132 cites W2104169671 @default.
• W2052322132 cites W2112197627 @default.
• W2052322132 cites W2127340092 @default.
• W2052322132 cites W2144777691 @default.
• W2052322132 cites W2144973245 @default.
• W2052322132 cites W2153887189 @default.
• W2052322132 cites W2160410485 @default.
• W2052322132 cites W2168924105 @default.
• W2052322132 cites W2215315499 @default.
• W2052322132 cites W2227967139 @default.
• W2052322132 cites W2293815615 @default.
• W2052322132 cites W2611059936 @default.
• W2052322132 cites W26772505 @default.
• W2052322132 cites W805221274 @default.
• W2052322132 cites W2611809698 @default.
• W2052322132 doi "https://doi.org/10.1016/j.jlap.2003.12.001" @default.
• W2052322132 hasPublicationYear "2004" @default.
• W2052322132 type Work @default.
• W2052322132 sameAs 2052322132 @default.
• W2052322132 citedByCount "4" @default.
• W2052322132 countsByYear W20523221322017 @default.
• W2052322132 crossrefType "journal-article" @default.
• W2052322132 hasAuthorship W2052322132A5018236957 @default.
• W2052322132 hasAuthorship W2052322132A5030062814 @default.
• W2052322132 hasAuthorship W2052322132A5046244008 @default.
• W2052322132 hasAuthorship W2052322132A5076284994 @default.
• W2052322132 hasBestOaLocation W20523221321 @default.
• W2052322132 hasConcept C115903868 @default.
• W2052322132 hasConcept C116253237 @default.
• W2052322132 hasConcept C121332964 @default.
• W2052322132 hasConcept C126231374 @default.
• W2052322132 hasConcept C132525143 @default.
• W2052322132 hasConcept C154945302 @default.
• W2052322132 hasConcept C17744445 @default.
• W2052322132 hasConcept C199360897 @default.
• W2052322132 hasConcept C199539241 @default.
• W2052322132 hasConcept C2776359362 @default.
• W2052322132 hasConcept C2777691520 @default.
• W2052322132 hasConcept C2777904410 @default.
• W2052322132 hasConcept C2778012447 @default.
• W2052322132 hasConcept C36464697 @default.
• W2052322132 hasConcept C41008148 @default.
• W2052322132 hasConcept C558772884 @default.
• W2052322132 hasConcept C61797465 @default.
• W2052322132 hasConcept C62520636 @default.
• W2052322132 hasConcept C80444323 @default.
• W2052322132 hasConcept C94625758 @default.
• W2052322132 hasConceptScore W2052322132C115903868 @default.
• W2052322132 hasConceptScore W2052322132C116253237 @default.
• W2052322132 hasConceptScore W2052322132C121332964 @default.
• W2052322132 hasConceptScore W2052322132C126231374 @default.
• W2052322132 hasConceptScore W2052322132C132525143 @default.
• W2052322132 hasConceptScore W2052322132C154945302 @default.
• W2052322132 hasConceptScore W2052322132C17744445 @default.
• W2052322132 hasConceptScore W2052322132C199360897 @default.
• W2052322132 hasConceptScore W2052322132C199539241 @default.
• W2052322132 hasConceptScore W2052322132C2776359362 @default.
• W2052322132 hasConceptScore W2052322132C2777691520 @default.
• W2052322132 hasConceptScore W2052322132C2777904410 @default.
• W2052322132 hasConceptScore W2052322132C2778012447 @default.
• W2052322132 hasConceptScore W2052322132C36464697 @default.
• W2052322132 hasConceptScore W2052322132C41008148 @default.
• W2052322132 hasConceptScore W2052322132C558772884 @default.
• W2052322132 hasConceptScore W2052322132C61797465 @default.
• W2052322132 hasConceptScore W2052322132C62520636 @default.
• W2052322132 hasConceptScore W2052322132C80444323 @default.
• W2052322132 hasConceptScore W2052322132C94625758 @default.
• W2052322132 hasIssue "1-2" @default.
• W2052322132 hasLocation W20523221321 @default.
• W2052322132 hasOpenAccess W2052322132 @default.
• W2052322132 hasPrimaryLocation W20523221321 @default.

• next