93 citations
- University of MacauMO8 papers
- Shandong UniversityCN3 papers
- Shanghai Jiao Tong UniversityCN3 papers
- University of CoimbraPT3 papers
- Uppsala UniversitySE3 papers
- Guangdong University of TechnologyCN2 papers
- Hunan UniversityCN2 papers
- Institute of Materials for Electronics and MagnetismIT2 papers
- Italian Institute of TechnologyIT2 papers
- Korea UniversityKR2 papers
- Lawrence Berkeley National LaboratoryUS2 papers
- Macau University of Science and TechnologyMO2 papers
5 papers · 1 filter
Typing Requirement Model as Coroutines
Qiqi Gu, Wei Ke
Model-Driven Engineering (MDE) is a technique that aims to boost productivity in software development and ensure the safety of critical systems. Central to MDE is the refinement of…
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…