Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130766068> ?p ?o ?g. }
- W2130766068 abstract "The SOFTEX/S includes a transformation system, based on a term rewriting system, a language DSL/C++ for defining transformation rules and a specification language for a specific software model, as well as a rule verification system which supports developing correct transformation rules. SOFTEX/S has been implemented and a program synthesis system for a state transition model SOFTEX/STM has been developed with SOFTEX/S. Based on the results of this experience, SOFTEX/S has been evaluated to improve software productivity, while maintaining the desired software quality in terms of execution speed and memory usage. >" @default.
- W2130766068 created "2016-06-24" @default.
- W2130766068 creator A5017654705 @default.
- W2130766068 creator A5032107748 @default.
- W2130766068 creator A5037295251 @default.
- W2130766068 creator A5042292652 @default.
- W2130766068 creator A5045267066 @default.
- W2130766068 creator A5086722742 @default.
- W2130766068 date "2003-01-02" @default.
- W2130766068 modified "2023-09-25" @default.
- W2130766068 title "Software synthesis shell SOFTEX/S" @default.
- W2130766068 cites W1579278367 @default.
- W2130766068 cites W2002863538 @default.
- W2130766068 cites W2012637410 @default.
- W2130766068 cites W2019712414 @default.
- W2130766068 cites W2038799287 @default.
- W2130766068 cites W2051113166 @default.
- W2130766068 cites W2064984147 @default.
- W2130766068 cites W2072493671 @default.
- W2130766068 cites W2121757274 @default.
- W2130766068 cites W2122337119 @default.
- W2130766068 cites W2129466151 @default.
- W2130766068 cites W2141527691 @default.
- W2130766068 cites W2160204544 @default.
- W2130766068 cites W2160823258 @default.
- W2130766068 cites W2165875645 @default.
- W2130766068 cites W2313522124 @default.
- W2130766068 cites W2579709878 @default.
- W2130766068 cites W33651973 @default.
- W2130766068 doi "https://doi.org/10.1109/kbse.1992.252911" @default.
- W2130766068 hasPublicationYear "2003" @default.
- W2130766068 type Work @default.
- W2130766068 sameAs 2130766068 @default.
- W2130766068 citedByCount "3" @default.
- W2130766068 crossrefType "proceedings-article" @default.
- W2130766068 hasAuthorship W2130766068A5017654705 @default.
- W2130766068 hasAuthorship W2130766068A5032107748 @default.
- W2130766068 hasAuthorship W2130766068A5037295251 @default.
- W2130766068 hasAuthorship W2130766068A5042292652 @default.
- W2130766068 hasAuthorship W2130766068A5045267066 @default.
- W2130766068 hasAuthorship W2130766068A5086722742 @default.
- W2130766068 hasConcept C104317684 @default.
- W2130766068 hasConcept C115903868 @default.
- W2130766068 hasConcept C117447612 @default.
- W2130766068 hasConcept C149091818 @default.
- W2130766068 hasConcept C154690210 @default.
- W2130766068 hasConcept C154945302 @default.
- W2130766068 hasConcept C185592680 @default.
- W2130766068 hasConcept C186846655 @default.
- W2130766068 hasConcept C199360897 @default.
- W2130766068 hasConcept C201374245 @default.
- W2130766068 hasConcept C204241405 @default.
- W2130766068 hasConcept C2776436953 @default.
- W2130766068 hasConcept C2777904410 @default.
- W2130766068 hasConcept C2779791154 @default.
- W2130766068 hasConcept C41008148 @default.
- W2130766068 hasConcept C529173508 @default.
- W2130766068 hasConcept C55493867 @default.
- W2130766068 hasConcept C76155785 @default.
- W2130766068 hasConceptScore W2130766068C104317684 @default.
- W2130766068 hasConceptScore W2130766068C115903868 @default.
- W2130766068 hasConceptScore W2130766068C117447612 @default.
- W2130766068 hasConceptScore W2130766068C149091818 @default.
- W2130766068 hasConceptScore W2130766068C154690210 @default.
- W2130766068 hasConceptScore W2130766068C154945302 @default.
- W2130766068 hasConceptScore W2130766068C185592680 @default.
- W2130766068 hasConceptScore W2130766068C186846655 @default.
- W2130766068 hasConceptScore W2130766068C199360897 @default.
- W2130766068 hasConceptScore W2130766068C201374245 @default.
- W2130766068 hasConceptScore W2130766068C204241405 @default.
- W2130766068 hasConceptScore W2130766068C2776436953 @default.
- W2130766068 hasConceptScore W2130766068C2777904410 @default.
- W2130766068 hasConceptScore W2130766068C2779791154 @default.
- W2130766068 hasConceptScore W2130766068C41008148 @default.
- W2130766068 hasConceptScore W2130766068C529173508 @default.
- W2130766068 hasConceptScore W2130766068C55493867 @default.
- W2130766068 hasConceptScore W2130766068C76155785 @default.
- W2130766068 hasLocation W21307660681 @default.
- W2130766068 hasOpenAccess W2130766068 @default.
- W2130766068 hasPrimaryLocation W21307660681 @default.
- W2130766068 hasRelatedWork W1547699668 @default.
- W2130766068 hasRelatedWork W1585752809 @default.
- W2130766068 hasRelatedWork W1673122199 @default.
- W2130766068 hasRelatedWork W1966346742 @default.
- W2130766068 hasRelatedWork W2064336064 @default.
- W2130766068 hasRelatedWork W2100731616 @default.
- W2130766068 hasRelatedWork W2104097141 @default.
- W2130766068 hasRelatedWork W2113319802 @default.
- W2130766068 hasRelatedWork W2119669916 @default.
- W2130766068 hasRelatedWork W2132194540 @default.
- W2130766068 hasRelatedWork W2141059380 @default.
- W2130766068 hasRelatedWork W2161878325 @default.
- W2130766068 hasRelatedWork W2171025871 @default.
- W2130766068 hasRelatedWork W2547116018 @default.
- W2130766068 hasRelatedWork W3146906833 @default.
- W2130766068 hasRelatedWork W3275244 @default.
- W2130766068 hasRelatedWork W565232785 @default.
- W2130766068 hasRelatedWork W847122486 @default.
- W2130766068 hasRelatedWork W1849470002 @default.
- W2130766068 hasRelatedWork W2100676127 @default.