Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520235429> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1520235429 abstract "In embedded system development, software depends on hardware and we have to change software specification frequently because of hardware specification changes. Therefore in embedded software development, it is important to get reusable software. To get reusable software, it is important to divide common and variant features. To analyze features, FODA is effective. But because FODA uses natural languages, we can't validate the consistency of the models and can't solve interaction problems. To validate the consistency and solve interaction problems, we have to get strict model. Formal methods are effective methods to get strict model. Therefore, purpose of our research is to get reusable strict embedded systems specifications. We intend to use formal methods to solve feature interaction problem and get strict reusable embedded systems specifications." @default.
- W1520235429 created "2016-06-24" @default.
- W1520235429 creator A5006829421 @default.
- W1520235429 creator A5026723896 @default.
- W1520235429 date "2005-04-05" @default.
- W1520235429 modified "2023-09-27" @default.
- W1520235429 title "Reusable Formal Specification for Embedded Systems" @default.
- W1520235429 cites W1635782815 @default.
- W1520235429 cites W2099213660 @default.
- W1520235429 cites W2144973245 @default.
- W1520235429 doi "https://doi.org/10.1109/apsec.2004.87" @default.
- W1520235429 hasPublicationYear "2005" @default.
- W1520235429 type Work @default.
- W1520235429 sameAs 1520235429 @default.
- W1520235429 citedByCount "0" @default.
- W1520235429 crossrefType "proceedings-article" @default.
- W1520235429 hasAuthorship W1520235429A5006829421 @default.
- W1520235429 hasAuthorship W1520235429A5026723896 @default.
- W1520235429 hasConcept C102780508 @default.
- W1520235429 hasConcept C111498074 @default.
- W1520235429 hasConcept C115903868 @default.
- W1520235429 hasConcept C116253237 @default.
- W1520235429 hasConcept C149635348 @default.
- W1520235429 hasConcept C154488198 @default.
- W1520235429 hasConcept C154945302 @default.
- W1520235429 hasConcept C186846655 @default.
- W1520235429 hasConcept C199360897 @default.
- W1520235429 hasConcept C2776436953 @default.
- W1520235429 hasConcept C2777904410 @default.
- W1520235429 hasConcept C41008148 @default.
- W1520235429 hasConcept C529173508 @default.
- W1520235429 hasConcept C75606506 @default.
- W1520235429 hasConceptScore W1520235429C102780508 @default.
- W1520235429 hasConceptScore W1520235429C111498074 @default.
- W1520235429 hasConceptScore W1520235429C115903868 @default.
- W1520235429 hasConceptScore W1520235429C116253237 @default.
- W1520235429 hasConceptScore W1520235429C149635348 @default.
- W1520235429 hasConceptScore W1520235429C154488198 @default.
- W1520235429 hasConceptScore W1520235429C154945302 @default.
- W1520235429 hasConceptScore W1520235429C186846655 @default.
- W1520235429 hasConceptScore W1520235429C199360897 @default.
- W1520235429 hasConceptScore W1520235429C2776436953 @default.
- W1520235429 hasConceptScore W1520235429C2777904410 @default.
- W1520235429 hasConceptScore W1520235429C41008148 @default.
- W1520235429 hasConceptScore W1520235429C529173508 @default.
- W1520235429 hasConceptScore W1520235429C75606506 @default.
- W1520235429 hasLocation W15202354291 @default.
- W1520235429 hasOpenAccess W1520235429 @default.
- W1520235429 hasPrimaryLocation W15202354291 @default.
- W1520235429 hasRelatedWork W127823604 @default.
- W1520235429 hasRelatedWork W1490677 @default.
- W1520235429 hasRelatedWork W1503502818 @default.
- W1520235429 hasRelatedWork W1527042423 @default.
- W1520235429 hasRelatedWork W1534283474 @default.
- W1520235429 hasRelatedWork W1566315049 @default.
- W1520235429 hasRelatedWork W1577749635 @default.
- W1520235429 hasRelatedWork W1583860132 @default.
- W1520235429 hasRelatedWork W1973198258 @default.
- W1520235429 hasRelatedWork W2040378206 @default.
- W1520235429 hasRelatedWork W2055146545 @default.
- W1520235429 hasRelatedWork W2076722937 @default.
- W1520235429 hasRelatedWork W2147290904 @default.
- W1520235429 hasRelatedWork W2157392086 @default.
- W1520235429 hasRelatedWork W2308417994 @default.
- W1520235429 hasRelatedWork W2471467496 @default.
- W1520235429 hasRelatedWork W2507138404 @default.
- W1520235429 hasRelatedWork W2576157757 @default.
- W1520235429 hasRelatedWork W2801971356 @default.
- W1520235429 hasRelatedWork W525018 @default.
- W1520235429 isParatext "false" @default.
- W1520235429 isRetracted "false" @default.
- W1520235429 magId "1520235429" @default.
- W1520235429 workType "article" @default.