论文部分内容阅读
在面向对象的软件构造中，对象视为软件系统的基本构件，本文给出一个对象形式语义模型，对象被定义为封装属性和行为的实体，对象行为必须满足给定的静态约束和时序约束；基于对象态射本文给出对象聚俣，特化，继承和对象类等概念在此语义模型框架中的解释。
对象形式语义模型
【摘 要】
：
在面向对象的软件构造中，对象视为软件系统的基本构件，本文给出一个对象形式语义模型，对象被定义为封装属性和行为的实体，对象行为必须满足给定的静态约束和时序约束；基于对象态射
【出 处】
：
软件学报
【发表日期】
：
1995年A01期
其他文献
突破教材、学科、语文课堂为中心,实现跨专业领域的综合性学习,其目的就是为了中职学生语文素养的全面提高,听、说、读、写能力的整体发展。因此,打通中职语文和专业教学内容
成功的教学依赖于教师有效的教学行为,本文试从课堂教学有效性的含义、怎样的课堂教学是有效的以及如何实现有效教学三个方面来进一步论述如何进行有效教学,提高教学效率。
高等教育中介组织的建立是协调高校与政府、高校与市场之间的关系，是完善高校自身制度建设和提高管理专业化的需要。目前高校人才交流中心的运转现状不容乐观，因此，进一步促进高
中国人才交流会副会长韩光耀在“21世纪中国人才资源管理与发展高峰文坛”上一针见血地指出：“信用污染已经蔓延到人才市场，假学历、假档案、假招聘的泛滥，使人才市场遭遇严重的
二十世纪三四十年代的上海，商业的发展成为其城市最突出的特征，由此引起的文化、文学以及女性文学的相应变化也格外令人瞩目。传统道德的堕落，传统的伦理观念与现代的生活方式的
中国近代社会的变革推动了近现代文学的变革，文学的市场化为女性文学的繁荣奠定了坚实的基础，沪、江、浙、闽、粤丰厚的地域商业文化孕育了五四女性作家群，五四女性作家们在其作
介绍了地震预警示范系统中预警客户端的消息定义与传输协议、软件流程和技术实现方式等内容,以及各部分的主体技术方法、原理等细节,并给出了相关模块的源代码。对这些软件相关内容的介绍,旨在为地震预警系统的运行完善提供帮助,也为维护和有特殊研发需求的台网提供借鉴。
后现代课程范式是20世纪70年代中后期以来在美国逐渐繁荣起来的课程研究取向。本文讨论了解构的、社会批判的、建构的、审美的以及生态的五种主要的后现代课程取向。尽管后现
拟利用Ras募集系统(RRS)构建并鉴定含汉坦病毒囊膜糖蛋白G1的诱饵载体.将汉坦病毒76-118株囊膜糖蛋白G1基因与Ras基因连接,构建嵌合基因Ras-GJ及Ras-G1'(G1'无前导肽