共 50 条
- [1] Automatic code generation for actuator interfacing from a declarative specification [J]. 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, Vols 1-4, 2005, : 3207 - 3212
- [2] Parallel Code Generation from Synchronous Specification [J]. Ruan Jian Xue Bao/Journal of Software, 2017, 28 (07): : 1698 - 1712
- [3] Serialized Multitasking Code Generation from Dataflow Specification [J]. PROCEEDINGS OF THE 2008 IEEE/ACM/IFIP WORKSHOP ON EMBEDDED SYSTEMS FOR REAL-TIME MULTIMEDIA, 2008, : 61 - 66
- [4] Possibility of SystemC Code Generation from SDL Specification [J]. PROCEEDINGS OF THE 11TH CONFERENCE OF OPEN INNOVATIONS ASSOCIATION FRUCT, 2012, : 95 - 99
- [5] Automatic Specification Generation for Tracking Control in Interpreted Petri nets [J]. 2020 7TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'20), VOL 1, 2020, : 341 - 346
- [6] Automatic Generation of History-Based Access Control from Information Flow Specification [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 259 - +
- [7] Automatic Code Generation for Spacecraft Attitude Determination and Control [J]. 2014 IEEE AEROSPACE CONFERENCE, 2014,
- [8] Automatic generation of formal specification from requirements definition [J]. FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 243 - 251
- [9] Automatic generation of tutorial systems from development specification [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 3922 : 79 - 92
- [10] Automatic code generation from design patterns [J]. IBM SYSTEMS JOURNAL, 1996, 35 (02) : 151 - 171