Matches in SemOpenAlex for { <https://semopenalex.org/work/W2253488045> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2253488045 endingPage "56" @default.
- W2253488045 startingPage "1" @default.
- W2253488045 abstract "Component-based embedded system design has been studied for a long time. Many interface definition languages (IDL) are defined for facilitating the integration process. However, the integration process cannot be automated and fully relies on the software engineer to verify the correctness of the process. The integration process still requires human assistances. In addition, most of them focus on the design-time integration instead of run-time integration. This thesis proposed an interface design such that functional and non-functional requirements are described in a machine-readable standard language. These requirements will be verified with the assistances of an SMT solver and a formal verification tool in run-time to assure that the correctness of a host system will not be jeopardized after integrating a new component. With this interface definition language, not only the integration and removal of a component can occur in run-time with less effort but also the system reliability is enhanced. In this thesis, we will use three medication ETL (extract, transform and load) tools, which are traditional Java objects deployed as web services, in the medication-use process as the target component to illustrate the integration process." @default.
- W2253488045 created "2016-06-24" @default.
- W2253488045 creator A5003059553 @default.
- W2253488045 date "2009-01-01" @default.
- W2253488045 modified "2023-09-23" @default.
- W2253488045 title "嵌入式系統的元件介面設計，以醫療服務流程的資訊擷取、轉換及載入工具為例" @default.
- W2253488045 doi "https://doi.org/10.6342/ntu.2009.00137" @default.
- W2253488045 hasPublicationYear "2009" @default.
- W2253488045 type Work @default.
- W2253488045 sameAs 2253488045 @default.
- W2253488045 citedByCount "0" @default.
- W2253488045 crossrefType "journal-article" @default.
- W2253488045 hasAuthorship W2253488045A5003059553 @default.
- W2253488045 hasConcept C111919701 @default.
- W2253488045 hasConcept C113843644 @default.
- W2253488045 hasConcept C115903868 @default.
- W2253488045 hasConcept C121332964 @default.
- W2253488045 hasConcept C129307140 @default.
- W2253488045 hasConcept C157915830 @default.
- W2253488045 hasConcept C168167062 @default.
- W2253488045 hasConcept C177216440 @default.
- W2253488045 hasConcept C199360897 @default.
- W2253488045 hasConcept C41008148 @default.
- W2253488045 hasConcept C55439883 @default.
- W2253488045 hasConcept C89505385 @default.
- W2253488045 hasConcept C97355855 @default.
- W2253488045 hasConcept C98045186 @default.
- W2253488045 hasConceptScore W2253488045C111919701 @default.
- W2253488045 hasConceptScore W2253488045C113843644 @default.
- W2253488045 hasConceptScore W2253488045C115903868 @default.
- W2253488045 hasConceptScore W2253488045C121332964 @default.
- W2253488045 hasConceptScore W2253488045C129307140 @default.
- W2253488045 hasConceptScore W2253488045C157915830 @default.
- W2253488045 hasConceptScore W2253488045C168167062 @default.
- W2253488045 hasConceptScore W2253488045C177216440 @default.
- W2253488045 hasConceptScore W2253488045C199360897 @default.
- W2253488045 hasConceptScore W2253488045C41008148 @default.
- W2253488045 hasConceptScore W2253488045C55439883 @default.
- W2253488045 hasConceptScore W2253488045C89505385 @default.
- W2253488045 hasConceptScore W2253488045C97355855 @default.
- W2253488045 hasConceptScore W2253488045C98045186 @default.
- W2253488045 hasLocation W22534880451 @default.
- W2253488045 hasOpenAccess W2253488045 @default.
- W2253488045 hasPrimaryLocation W22534880451 @default.
- W2253488045 isParatext "false" @default.
- W2253488045 isRetracted "false" @default.
- W2253488045 magId "2253488045" @default.
- W2253488045 workType "article" @default.