课程大纲
课程名称 软件理论与方法选讲
课程编号 00113390
英文名称 Topics in Software Theory and Method
开课学期 2003，秋季
周学时/
总学时 3/54
学分 3
先修课程 程序设计，软件工程，人工智能
授课对象 研究生 + 高年级本科生
教学方式 课堂教授
考试方式 报告 + 口试
成绩评定 作业 50% + 报告 50%
任课教员 林作铨 教授
辅导时间 周一下午 2:00-3:00
办公室 理 14104E
教室 一教 107
上课时间 周五 7-9 节
助教 张琪
讲义
林作铨
Software Agent, Semantic Web and Web Service
(软件主体，语义网络和网络服务）
2003，北京大学
参考资料
课程简介
软件理论与方法选讲是信息科学系开设的一门研究生（高年级本科生可选）专业研究课程，旨在讲授有关计算机软件新的理论和方法。课程不规定大纲，根据不同的教师和学生，可进行不同的选择。2003 年秋季首次开设本课程。
本课程选讲“软件主体，语义网络和网络服务”。这是一门综合交叉性的计算机科学专业课，涉及计算机软件在理论，网络，互联网，分布式计算，信息系统和人工智能等领域的研究内容，力图反映近年来（特别是近 3－5 年来）有关软件理论和方法的最新进展。 通过学习本课程学生能较全面了解软件理论和方法的最新研究内容和方向，能够较快地进入关于软件主体，语义网络和网络服务的研究和实践中。
本课程内容包括软件主体，语义网络和网络服务三部分，并特别包含三者之间的相互联系和结合。 软件主体是一种新的软件理论和技术，体现智能软件的基本原理，适合于发展复杂动态环境中信息系统；语义网络是新一代互联网的基础和方法，体现语义信息的基本原理，适合于发展更具人性化的互联网应用；网络服务是软件自动化的最新体系和技术，体现软件重用和合成的基本原理，适合于发展分布协同式集成软件。 它们不仅具有扎实的理论基础，形成了成熟的软件技术，而且在工业界正获得快速的发展，在广泛的领域具有重要的应用。
本课程内容参见讲义。选材来自相关研究领域最新的代表性文献，课程要求参见课程主页。