共 50 条
- [1] Object-oriented software for domain decomposition methods with local adaptive refinement PARALLEL COMPUTATIONAL FLUID DYNAMICS: ADVANCED NUMERICAL METHODS SOFTWARE AND APPLICATIONS, 2004, : 425 - 432
- [3] 3-d crane planning simulation with object-oriented building model PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON COMPUTING IN CIVIL AND BUILDING ENGINEERING, VOLS 1-4, 1997, : 2177 - 2182
- [5] A refinement algebra for object-oriented programming ECOOP 2003 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2003, 2743 : 457 - 482
- [7] OBJECT-ORIENTED SPECIFICATION AND STEPWISE REFINEMENT IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 1 : 99 - 121
- [8] A Refinement Methodology for Object-Oriented Programs FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE, 2011, 6528 : 153 - +
- [10] A LEARNING MODEL FOR OBJECT-ORIENTED PROGRAMMING IN A VISUAL INTERACTIVE 3-D ENVIRONMENT EDULEARN18: 10TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, 2018, : 8124 - 8129