Component Engineering Principles in a Traditional CS Curriculum: A Reuse-Oriented Approach and its Evaluation
Component Engineering Principles in a Traditional CS Curriculum: A Reuse-Oriented Approach and its Evaluation
批准号:
9354597
负责人:
Murali Sitaraman
金额:
$4.34万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1994
资助国家:
美国
项目状态:
已结题
起止时间:
1994-07-01 至 1995-12-31
中文摘要
9354597 Sitaraman对训练有素的软件专业人员的需求持续增长。计算机科学的入门本科课程没有提供适当的背景来激励良好的设计,精确和抽象的规范,以及在软件构造中有效和正确的实现的重要性。因此,这些和其他关键组件和软件工程原则只是在课程的后期作为“附加”思想引入,而不是作为解决问题的中心主题。相对较晚的接触使计算机科学专业的学生几乎没有时间掌握关键概念。非计算机科学专业的学生在软件工程问题和原则方面完全处于黑暗之中。 使用软件重用作为一个激励的背景下(但不是作为主导主题),我们建议在介绍计算机科学课程引入软件工程原理,同时保留传统上在这些课程中教授的解决问题的技术。基于规范的重用很容易激发对传统原则(如抽象)和新原则(如软件设计)的需求。在早期看到并使用了“正确”的软件构建方式之后,学生们通过将其应用于课程其余部分的项目中来掌握这些想法。该项目的一个主要目标是评价这一建议在多个机构的多种方案拟订模式中的长期影响。 *y
英文摘要
9354597 Sitaraman Demand for trained software professionals continues to be on the rise. Introductory undergraduate courses in computer science do not provide an appropriate context for motivating the importance of good design, precise and abstract specification, and efficient and correct implementations in software construction. These and other key component and software engineering principles are therefore introduced only much later in the curriculum as "add on" ideas, rather than as central themes in problem solving. The relatively late exposure leaves computer science students with little time to master key concepts. Non-computer science majors are left in total darkness with respect to software engineering issues and principles. Using software reuse as a motivating context (but not as the dominant theme), we propose to introduce software engineering principles in introductory computer science courses while retaining the problem-solving techniques traditionally taught in these courses. Specification-based reuse readily motivates the need for traditional principles such as abstraction and new principles such as software design. Having seen and used software built the "right" way early, the students master the ideas by applying them in projects in the rest of the curriculum. A major objective of the project is to evaluate the long-term influences of this proposal in multiple programming paradigms in multiple institutions. ***y
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Overcoming Impediments to Computer Science Students' Understanding of Code: Scaling Up Automated Methods and Broadening Participation
-
批准号:1914667
-
项目类别:Standard Grant
-
资助金额:$29.51万
-
财政年份:2019
-
负责人:Murali Sitaraman
-
依托单位:
IUSE: Understanding and Propagating the Essence of Successful Computing Education Projects
-
批准号:1646691
-
项目类别:Standard Grant
-
资助金额:$4.13万
-
财政年份:2016
-
负责人:Murali Sitaraman
-
依托单位:
Collaborative Research: IUSE: EHR: Engaged Student Learning Exploration and Design Tier: Engaging and Enabling Learners to Reason Logically about Code
-
批准号:1611714
-
项目类别:Standard Grant
-
资助金额:$21.36万
-
财政年份:2016
-
负责人:Murali Sitaraman
-
依托单位:
SHF: Medium: Collaborative Research: Specification and Mathematics Engineering for the Verified Software End-Game
-
批准号:1161916
-
项目类别:Standard Grant
-
资助金额:$24.21万
-
财政年份:2012
-
负责人:Murali Sitaraman
-
依托单位:
Collaborative Research: "Hands-On" Collaborative Reasoning across the Curriculm
-
批准号:1022941
-
项目类别:Standard Grant
-
资助金额:$49.88万
-
财政年份:2010
-
负责人:Murali Sitaraman
-
依托单位:
CPA-SEL: Collaborative Research - Continuing Progress Toward Verified Software
-
批准号:0811748
-
项目类别:Standard Grant
-
资助金额:$13.74万
-
财政年份:2008
-
负责人:Murali Sitaraman
-
依托单位:
Collaborative research: logical support for formal verification
-
批准号:0701187
-
项目类别:Standard Grant
-
资助金额:$5.5万
-
财政年份:2007
-
负责人:Murali Sitaraman
-
依托单位:
ITR/SY: Modular Interface Violation Checking Using Formally-Specified Contracts
-
批准号:0113181
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Murali Sitaraman
-
依托单位:
国内基金
海外基金
Frontiers of Environmental Science & Engineering
-
批准号:51224004
-
项目类别:专项基金项目
-
资助金额:20.0万元
-
批准年份:2012
-
负责人:朱建军
-
依托单位:
Chinese Journal of Chemical Engineering
-
批准号:21224004
-
项目类别:专项基金项目
-
资助金额:20.0万元
-
批准年份:2012
-
负责人:廖叶华
-
依托单位:
Chinese Journal of Chemical Engineering
-
批准号:21024805
-
项目类别:专项基金项目
-
资助金额:20.0万元
-
批准年份:2010
-
负责人:廖叶华
-
依托单位: