共 50 条
- [41] Building Trustworthy Software with CakeML [J]. PROCEEDINGS OF THE 21ST WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP 2019), 2019,
- [42] The adaptive and intelligent testing framework:: PersonFit [J]. 7th IEEE International Conference on Advanced Learning Technologies, Proceedings, 2007, : 715 - 717
- [43] Remote software testing system based on grid workflow [J]. PROCEEDINGS OF THE 2007 11TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOLS 1 AND 2, 2007, : 577 - +
- [44] Large-scale software unit testing on the grid [J]. 2006 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, 2006, : 596 - +
- [46] An adaptive framework for the design of software specification languages [J]. ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, 2005, : 349 - 352
- [47] An adaptive software framework based on service composition [J]. SERA 2007: 5TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT, AND APPLICATIONS, PROCEEDINGS, 2007, : 476 - +
- [48] A Grounding Framework for Developing Adaptive Software Products [J]. KNOWLEDGE MANAGEMENT AND INNOVATION IN ADVANCING ECONOMIES-ANALYSES & SOLUTIONS, VOLS 1-3, 2009, : 1782 - +
- [49] Building and testing a production quality grid software distribution for the Open Science Grid [J]. SCIDAC 2009: SCIENTIFIC DISCOVERY THROUGH ADVANCED COMPUTING, 2009, 180