Affiliation:
1. Department of Computer Science; Fujian Normal University; Fuzhou 350007 China
Funder
National Natural Science Foundation of China
Open Project of Shanghai Key Laboratory of Trustworthy Computing
The NSF of Fujian province
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Formal Approach for Traceability Preservation in Software Development Process;Communications in Computer and Information Science;2023-11-26
2. Analyzing Isolation in Mobile Systems;Information Technology and Control;2021-12-16
3. From Use Case to Use Case Slices;International Journal of Information System Modeling and Design;2019-10
4. Isolation Modeling and Analysis Based on Mobility;ACM Transactions on Software Engineering and Methodology;2019-04-09
5. Decomposition and Composition of Sequence Diagrams;2018 International Symposium on Theoretical Aspects of Software Engineering (TASE);2018-08