Funder
Beijing Jiaotong University
Japan Society for the Promotion of Science
Subject
Computer Science Applications,Information Systems,Software
Reference51 articles.
1. Systematic Software Development Using VDM;Jones,1990
2. An overview of JML tools and applications;Burdy;Int. J. Softw. Tools Technol. Transf.,2005
3. Rodin: An open toolset for modelling and reasoning in event-B;Abrial;Int. J. Softw. Tools Technol. Transf.,2010
4. Fundamentals of Object-Oriented Design in UML;Jones,2000
5. Model-driven development using UML 2.0: Promises and pitfalls;France;Computerl,2006
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Guidelines for using financial incentives in software-engineering experimentation;Empirical Software Engineering;2024-08-10
2. Agile model-driven re-engineering;Innovations in Systems and Software Engineering;2024-06-18
3. Program Abstraction and Re-Engineering: An Agile MDE Approach;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
4. Cross-Modality Mutual Learning for Enhancing Smart Contract Vulnerability Detection on Bytecode;Proceedings of the ACM Web Conference 2023;2023-04-30
5. Assembly building information management method combining Bim and QR code technology;2022 International Conference on Artificial Intelligence in Everything (AIE);2022-08