Author:
Zhang He,Klein Gerwin,Staples Mark,Andronick June,Zhu Liming,Kolanski Rafal
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An Experience Report on Modeling Software Process in Industrial Context: Challenges and Solutions;Proceedings of the 2024 International Conference on Software and Systems Processes;2024-09-04
2. Code to Qed, the Project Manager's Guide to Proof Engineering;ACM Transactions on Software Engineering and Methodology;2024-08-26
3. Metrics for software process simulation modeling;Journal of Software: Evolution and Process;2024-07-11
4. On Preparing and Assessing Data for Process Simulation Modeling: An Industrial Report;2023 IEEE/ACM International Conference on Software and System Processes (ICSSP);2023-05
5. REPLica: REPL instrumentation for Coq analysis;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20