Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079181507> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2079181507 endingPage "397" @default.
- W2079181507 startingPage "383" @default.
- W2079181507 abstract "The purpose of our study is to build up relationships between requirement and source programs with our originally thought-out rules. When other rules to be derived from these original rules are applied to software development, even a single instruction in a programming language could be determined, and the program would satisfy the requirement. More specifically speaking, these rules will turn into a formula or a prototype of software programs. Hence, when the variables in the requirement are placed in the formula, we can get a required program in an automatic way." @default.
- W2079181507 created "2016-06-24" @default.
- W2079181507 creator A5075889980 @default.
- W2079181507 date "2003-11-01" @default.
- W2079181507 modified "2023-09-25" @default.
- W2079181507 title "Study on axiomatic rules for building up relationships between requirement and source programs" @default.
- W2079181507 cites W1903328864 @default.
- W2079181507 cites W1981991757 @default.
- W2079181507 cites W2037627480 @default.
- W2079181507 cites W2061264621 @default.
- W2079181507 cites W2107966045 @default.
- W2079181507 cites W2140792783 @default.
- W2079181507 cites W2339337913 @default.
- W2079181507 cites W565252020 @default.
- W2079181507 cites W615678228 @default.
- W2079181507 doi "https://doi.org/10.1016/j.knosys.2003.08.008" @default.
- W2079181507 hasPublicationYear "2003" @default.
- W2079181507 type Work @default.
- W2079181507 sameAs 2079181507 @default.
- W2079181507 citedByCount "2" @default.
- W2079181507 crossrefType "journal-article" @default.
- W2079181507 hasAuthorship W2079181507A5075889980 @default.
- W2079181507 hasConcept C115903868 @default.
- W2079181507 hasConcept C167729594 @default.
- W2079181507 hasConcept C199360897 @default.
- W2079181507 hasConcept C2524010 @default.
- W2079181507 hasConcept C2777904410 @default.
- W2079181507 hasConcept C33923547 @default.
- W2079181507 hasConcept C41008148 @default.
- W2079181507 hasConcept C529173508 @default.
- W2079181507 hasConceptScore W2079181507C115903868 @default.
- W2079181507 hasConceptScore W2079181507C167729594 @default.
- W2079181507 hasConceptScore W2079181507C199360897 @default.
- W2079181507 hasConceptScore W2079181507C2524010 @default.
- W2079181507 hasConceptScore W2079181507C2777904410 @default.
- W2079181507 hasConceptScore W2079181507C33923547 @default.
- W2079181507 hasConceptScore W2079181507C41008148 @default.
- W2079181507 hasConceptScore W2079181507C529173508 @default.
- W2079181507 hasIssue "7-8" @default.
- W2079181507 hasLocation W20791815071 @default.
- W2079181507 hasOpenAccess W2079181507 @default.
- W2079181507 hasPrimaryLocation W20791815071 @default.
- W2079181507 hasRelatedWork W1493931182 @default.
- W2079181507 hasRelatedWork W1527862632 @default.
- W2079181507 hasRelatedWork W2109507516 @default.
- W2079181507 hasRelatedWork W2121507724 @default.
- W2079181507 hasRelatedWork W2135396778 @default.
- W2079181507 hasRelatedWork W2166247150 @default.
- W2079181507 hasRelatedWork W2271843438 @default.
- W2079181507 hasRelatedWork W4243252198 @default.
- W2079181507 hasRelatedWork W768804450 @default.
- W2079181507 hasRelatedWork W1763803927 @default.
- W2079181507 hasVolume "16" @default.
- W2079181507 isParatext "false" @default.
- W2079181507 isRetracted "false" @default.
- W2079181507 magId "2079181507" @default.
- W2079181507 workType "article" @default.