共 50 条
- [3] An approach to decomposing assertions into Java']Java code [J]. IKE '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE ENGINEERING, 2005, : 185 - 191
- [4] From Orc models to distributed grid Java']Java code [J]. GRID COMPUTING: ACHIEVEMENTS AND PROSPECTS, 2008, : 13 - +
- [5] Java']Java code patterns for Petri net based behavioral models [J]. 2005 3RD IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2005, : 450 - 455
- [6] Approach to Improving Java']Java Source Code Considering Non-compliance with a Java']Java Style Guide [J]. COMPUTER SCIENCE - CACIC 2022, 2023, 1778 : 123 - 139
- [7] An automatic approach to transform CafeOBJ specifications to Java']Java template code [J]. SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 171 - 176
- [8] Correct By Construction Approach For Translation Of Stored Procedures To Java']Java Code [J]. PROCEEDINGS OF THE 12TH INNOVATIONS ON SOFTWARE ENGINEERING CONFERENCE (ISEC), 2019,
- [9] A declarative approach for Java code instrumentation [J]. Software Quality Journal, 2015, 23 : 143 - 170
- [10] A Java']Java Code Annotation Approach for Model Checking Software Systems [J]. APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1536 - 1537