共 50 条
- [21] Reengineering a computerized numerical control towards object-oriented SECOND EUROMICRO CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 1998, : 224 - 227
- [24] Solution of Software Test of Computerized Numerical Control (CNC) Systems MECHANICAL, MATERIALS AND MANUFACTURING ENGINEERING, PTS 1-3, 2011, 66-68 : 1256 - +
- [25] Programming by contract: Designing for correctness JOOP - Journal of Object-Oriented Programming, 1996, 9 (02):
- [26] Programming by contract: Designing for correctness JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1996, 9 (02): : 70 - &
- [27] An experimental evaluation of programming by contract NINTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2002, : 118 - 127
- [30] CONSTRUCTION OF CONTROL ALGORITHM FOR INTEGRATED CONTROL SYSTEMS OF MACHINES WITH COMPUTERIZED NUMERICAL PROGRAM CONTROL. Soviet Automatic Control (English translation of Avtomatika), 1975, 8 (06): : 44 - 49