2 papers
cs.SE2018
Automated Prototype Generation from Formal Requirements Model
Yilong Yang, Xiaoshan Li, Zhiming Liu +3
Prototyping is an effective and efficient way of requirement validation to avoid introducing errors in the early stage of software development. However, manually developing a proto…
cs.SE2018
MedShare: Medical Resource Sharing among Autonomous Healthcare Providers
Yilong Yang, Xiaoshan Li, Nafees Qamar +2
Legacy Electronic Health Records (EHRs) systems were not developed with the level of connectivity expected from them nowadays. Therefore, interoperability weakness inherent in the…