共 50 条
- [41] A multilevel approach to teaching hardware description languages 1997 IEEE INTERNATIONAL CONFERENCE ON MICROELECTRONIC SYSTEMS EDUCATION - MSE'97, PROCEEDINGS: DOING MORE WITH LESS IN A RAPIDLY CHANGING ENVIRONMENT, 1997, : 5 - 6
- [42] An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, ICCS 2012, 2012, 9 : 1743 - 1752
- [44] INTEGRATED TEACHING: A NEW APPROACH IN MEDICAL TEACHING JOURNAL OF EVOLUTION OF MEDICAL AND DENTAL SCIENCES-JEMDS, 2014, 3 (57): : 12939 - 12945
- [45] A semantics-based approach to design of query languages for partial information SEMANTICS IN DATABASES, 1998, 1358 : 170 - 208
- [46] ABSTRACT IMPLEMENTATIONS AND THEIR CORRECTNESS PROOFS. Journal of the ACM, 1983, 30 (02): : 343 - 359
- [49] A semantic approach to query rewriting for integrated XML data CONCEPTUAL MODELING - ER 2005, 2005, 3716 : 417 - 432