共 50 条
- [22] TOGO-generating communication protocol implementations from formal specifications WFCS '97 - 1997 IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS, 1997, : 287 - 296
- [23] An experiment in interoperable cryptographic protocol implementation using automatic code generation 2007 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2007, : 250 - 255
- [24] Automatic synthesis of communication controller hardware from protocol specifications IEEE DESIGN & TEST OF COMPUTERS, 2002, 19 (04): : 84 - 95
- [25] Using declarative mappings for automatic code generation from SDL and ASN.1 SDL'99: THE NEXT MILLENNIUM, 1999, : 275 - 290
- [26] Model to text transformation in practice:: Generating code from rich associations specifications ADVANCES IN CONCEPTUAL MODELING - THEORY AND PRACTICE, PROCEEDINGS, 2006, 4231 : 63 - +
- [27] Generating compact code from dataflow specifications of multirate signal processing algorithms IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, 1995, 42 (03): : 138 - 150
- [28] Automatic Code Generation from Real-Time Systems Specifications RSP 2009: TWENTIETH IEEE/IFIP INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2009, : 102 - 105
- [29] A model for automatic generating reusable code from multiple GUIs PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022, 2022,
- [30] Automatic generation of protocol converters from scenario-based specifications 25TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2004, : 447 - 458