Search Results for Software engineering -- China. - Narrowed by: Computers. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bengineering$002b--$002bChina.$0026qf$003dSUBJECT$002509Subject$002509Computers.$002509Computers.$0026ps$003d300? 2026-02-20T15:02:08Z Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4&ndash;5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23&ndash;25, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486017 2026-02-20T15:02:08Z 2026-02-20T15:02:08Z Author&#160;Li, Zheng. editor. (orcid)0000-0002-3938-7033&#160;Jiang, He. editor. (orcid)0000-0001-8674-4948&#160;Li, Ge. editor.&#160;Zhou, Minghui. editor.&#160;Li, Ming. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-15-0310-8">https://doi.org/10.1007/978-981-15-0310-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484770 2026-02-20T15:02:08Z 2026-02-20T15:02:08Z Author&#160;Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712&#160;Qin, Shengchao. editor. (orcid)0000-0003-3028-8191&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32409-4">https://doi.org/10.1007/978-3-030-32409-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>