共 50 条
- [45] On formal definition and analysis of formal verification processes Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8373 : 35 - 52
- [47] EARLY FOUNDATIONS OF FORMAL MODELING AND LANGUAGE SPECIFICATION - VIENNA DEFINITION LANGUAGE (VDL) AND VIENNA DEVELOPMENT METHOD (VDM) INFORMATION PROCESSING '94, VOL II: APPLICATIONS AND IMPACTS, 1994, 52 : 251 - 270
- [49] The Return of Formal Requirements Engineering in the Era of Large Language Models REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, REFSQ 2024, 2024, 14588 : 344 - 353
- [50] Generating Formal System Models from Natural Language Descriptions 2012 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP (HLDVT), 2012, : 164 - +