A formal approach to component-based software engineering: education and evaluation

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI:10.1109/ICSE.2001.919134

M. Sitaraman, T. Long, B. Weide, E. Harner, Liqing Wang

{"title":"A formal approach to component-based software engineering: education and evaluation","authors":"M. Sitaraman, T. Long, B. Weide, E. Harner, Liqing Wang","doi":"10.1109/ICSE.2001.919134","DOIUrl":null,"url":null,"abstract":"Summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate computer science curriculum, and an evaluation of the impact of the approach at two institutions. Principles taught include a modular style of software development, an emphasis on human understanding of component behavior even while using formal specifications, and the importance of maintainability, as well as classical issues such as efficiency analysis and reasoning. Qualitative and quantitative evaluations of student outcomes and end-to-end changes in student attitudes show mostly positive results that are statistically significant, confirming that: (1) it is possible to teach CBSE principles without displacing \"classical\" principles usually taught in introductory courses, (2) students can understand and reuse formally specified components without knowing their implementations, and (3) student attitudes towards software engineering can be altered in directions heretofore often assumed to be difficult to achieve.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"38 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"27","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSE.2001.919134","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 27

Abstract

Summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate computer science curriculum, and an evaluation of the impact of the approach at two institutions. Principles taught include a modular style of software development, an emphasis on human understanding of component behavior even while using formal specifications, and the importance of maintainability, as well as classical issues such as efficiency analysis and reasoning. Qualitative and quantitative evaluations of student outcomes and end-to-end changes in student attitudes show mostly positive results that are statistically significant, confirming that: (1) it is possible to teach CBSE principles without displacing "classical" principles usually taught in introductory courses, (2) students can understand and reuse formally specified components without knowing their implementations, and (3) student attitudes towards software engineering can be altered in directions heretofore often assumed to be difficult to achieve.

查看原文本刊更多论文

基于组件的软件工程的正式方法:教育和评估

总结了在本科计算机科学课程早期引入基于组件的软件工程(CBSE)的方法，并对该方法在两所院校的影响进行了评估。教授的原则包括软件开发的模块化风格，强调即使在使用正式规范的情况下人类对组件行为的理解，以及可维护性的重要性，以及诸如效率分析和推理等经典问题。对学生成绩的定性和定量评估以及学生态度的端到端变化显示了统计上显著的积极结果，证实了:(1)教授CBSE原理而不取代通常在入门课程中教授的“经典”原理是可能的;(2)学生可以理解和重用正式指定的组件，而不知道它们的实现;(3)学生对软件工程的态度可以朝着迄今为止通常被认为难以实现的方向改变。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001

自引率

0.00%

发文量