5 papers
A General Method for Generating Discrete Orthogonal Matrices
Ka-Hou Chan, Wei Ke, Sio-Kei Im
Discrete orthogonal matrices have several applications in information technology, such as in coding and cryptography. It is often challenging to generate discrete orthogonal matric…
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…
Integrating UML with Service Refinement for Requirements Modeling and Analysis
Yilong Yang, Jing Yang, Xiaoshan Li
Unified Modeling Language (UML) is the de facto standard for requirements modeling and system design. UML as a visual language can tremendously help customers, project managers, an…
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
Yilong Yang, Xiaoshan Li, Quan Zu
With the advancement of software engineering in recent years, the model checking techniques are widely applied in various areas to do the verification for the system model. However…
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…