共 50 条
- [1] A Refinement Methodology for Object-Oriented Programs [J]. FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE, 2011, 6528 : 153 - +
- [2] Parallel object-oriented synthesis methodology [J]. INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 2073 - 2076
- [3] DESIGN METHODOLOGY FOR OBJECT-ORIENTED PROGRAMMING [J]. SIGPLAN NOTICES, 1988, 23 (05): : 91 - 95
- [5] A PROPOSED OBJECT-ORIENTED DEVELOPMENT METHODOLOGY [J]. SOFTWARE ENGINEERING JOURNAL, 1992, 7 (02): : 119 - 129
- [6] A methodology for object-oriented constraint programming [J]. ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 116 - 122
- [8] TOWARD OBJECT-ORIENTED MENTORING METHODOLOGY [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1995, 8 (06): : 64 - &
- [9] Object-oriented reuse methodology for VHDL [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS, 1999, : 689 - 693