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
-
负责人:廖叶华
-
依托单位: