Matches in SemOpenAlex for { <https://semopenalex.org/work/W2148596128> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2148596128 abstract "Software automation has been viewed as a revolutionary way to improve the dependability and productivity of software. The paper takes the sorting algorithms as study cases, employs PAR method and generic techniques, and derives two abstract generic sorting algorithmic programs, from which a class of concrete sorting algorithmic programs can be generated automatically through operation replacement. And further specialized programs can be produced in multiple languages from a single copy of the instantiated algorithmic program automatically by means of the PAR platform." @default.
- W2148596128 created "2016-06-24" @default.
- W2148596128 creator A5069004186 @default.
- W2148596128 creator A5080344490 @default.
- W2148596128 date "2010-07-01" @default.
- W2148596128 modified "2023-09-25" @default.
- W2148596128 title "Generating Provably Correct Algorithmic Programs from Formal Specifications" @default.
- W2148596128 cites W1709396178 @default.
- W2148596128 cites W2048049618 @default.
- W2148596128 cites W2057118835 @default.
- W2148596128 cites W2060536932 @default.
- W2148596128 cites W2068215428 @default.
- W2148596128 cites W2123287376 @default.
- W2148596128 cites W2141593720 @default.
- W2148596128 cites W2316194651 @default.
- W2148596128 cites W2353528417 @default.
- W2148596128 doi "https://doi.org/10.1109/qsic.2010.60" @default.
- W2148596128 hasPublicationYear "2010" @default.
- W2148596128 type Work @default.
- W2148596128 sameAs 2148596128 @default.
- W2148596128 citedByCount "0" @default.
- W2148596128 crossrefType "proceedings-article" @default.
- W2148596128 hasAuthorship W2148596128A5069004186 @default.
- W2148596128 hasAuthorship W2148596128A5080344490 @default.
- W2148596128 hasConcept C108094655 @default.
- W2148596128 hasConcept C111696304 @default.
- W2148596128 hasConcept C115901376 @default.
- W2148596128 hasConcept C115903868 @default.
- W2148596128 hasConcept C120314980 @default.
- W2148596128 hasConcept C127413603 @default.
- W2148596128 hasConcept C154945302 @default.
- W2148596128 hasConcept C199360897 @default.
- W2148596128 hasConcept C2777212361 @default.
- W2148596128 hasConcept C2777904410 @default.
- W2148596128 hasConcept C41008148 @default.
- W2148596128 hasConcept C75606506 @default.
- W2148596128 hasConcept C77019957 @default.
- W2148596128 hasConcept C78519656 @default.
- W2148596128 hasConcept C80444323 @default.
- W2148596128 hasConceptScore W2148596128C108094655 @default.
- W2148596128 hasConceptScore W2148596128C111696304 @default.
- W2148596128 hasConceptScore W2148596128C115901376 @default.
- W2148596128 hasConceptScore W2148596128C115903868 @default.
- W2148596128 hasConceptScore W2148596128C120314980 @default.
- W2148596128 hasConceptScore W2148596128C127413603 @default.
- W2148596128 hasConceptScore W2148596128C154945302 @default.
- W2148596128 hasConceptScore W2148596128C199360897 @default.
- W2148596128 hasConceptScore W2148596128C2777212361 @default.
- W2148596128 hasConceptScore W2148596128C2777904410 @default.
- W2148596128 hasConceptScore W2148596128C41008148 @default.
- W2148596128 hasConceptScore W2148596128C75606506 @default.
- W2148596128 hasConceptScore W2148596128C77019957 @default.
- W2148596128 hasConceptScore W2148596128C78519656 @default.
- W2148596128 hasConceptScore W2148596128C80444323 @default.
- W2148596128 hasLocation W21485961281 @default.
- W2148596128 hasOpenAccess W2148596128 @default.
- W2148596128 hasPrimaryLocation W21485961281 @default.
- W2148596128 hasRelatedWork W160530351 @default.
- W2148596128 hasRelatedWork W1794751911 @default.
- W2148596128 hasRelatedWork W181581971 @default.
- W2148596128 hasRelatedWork W2171325515 @default.
- W2148596128 hasRelatedWork W2274445227 @default.
- W2148596128 hasRelatedWork W2403840518 @default.
- W2148596128 hasRelatedWork W2731197199 @default.
- W2148596128 hasRelatedWork W2761323457 @default.
- W2148596128 hasRelatedWork W2884889320 @default.
- W2148596128 hasRelatedWork W2903457445 @default.
- W2148596128 hasRelatedWork W2907356968 @default.
- W2148596128 hasRelatedWork W2963423289 @default.
- W2148596128 hasRelatedWork W2971057392 @default.
- W2148596128 hasRelatedWork W3021018102 @default.
- W2148596128 hasRelatedWork W3021383971 @default.
- W2148596128 hasRelatedWork W3088884827 @default.
- W2148596128 hasRelatedWork W3130633014 @default.
- W2148596128 hasRelatedWork W3131091778 @default.
- W2148596128 hasRelatedWork W3201392238 @default.
- W2148596128 hasRelatedWork W95068424 @default.
- W2148596128 isParatext "false" @default.
- W2148596128 isRetracted "false" @default.
- W2148596128 magId "2148596128" @default.
- W2148596128 workType "article" @default.