发布求助
文献互助 智能选刊 最新文献

Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131)最新文献

筛选
英文 中文
Teaching software project management: a response-interaction approach 教学软件项目管理:响应-交互方法
Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131) Pub Date : 1999-03-22 DOI: 10.1109/CSEE.1999.755176
M. Murphy
{"title":"Teaching software project management: a response-interaction approach","authors":"M. Murphy","doi":"10.1109/CSEE.1999.755176","DOIUrl":"https://doi.org/10.1109/CSEE.1999.755176","url":null,"abstract":"Southern Polytechnic State University has recently implemented a new Master of Science in Software Engineering degree, which includes a course in software project management in its core requirements. This paper addresses an innovative approach to teaching this course through what is described as response-interaction. Also included are the results of the first offering of this course.","PeriodicalId":104736,"journal":{"name":"Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128924093","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
High-quality software through semiformal specification and verification 通过半正式规范和验证的高质量软件
Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131) Pub Date : 1999-03-22 DOI: 10.1109/CSEE.1999.755196
A. M. Stavely
{"title":"High-quality software through semiformal specification and verification","authors":"A. M. Stavely","doi":"10.1109/CSEE.1999.755196","DOIUrl":"https://doi.org/10.1109/CSEE.1999.755196","url":null,"abstract":"Semi-formal specification and verification in the style of the cleanroom method, combined with testing, have proven to be exceptionally effective in reducing the number of defects in software, as well as being cost-effective in practice. A course based on these principles is described, and the results of class projects and projects by graduates of the course are presented. These results provide evidence that cleanroom techniques, as adapted for the course, are indeed effective, and that these techniques can be taught successfully, even to undergraduates.","PeriodicalId":104736,"journal":{"name":"Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131)","volume":"139 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121235964","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
A case study of the analysis of novice student programs 以个案研究分析新手学生计划
Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131) Pub Date : 1999-03-22 DOI: 10.1109/CSEE.1999.755178
S. Mengel, Joseph V. Ulans
{"title":"A case study of the analysis of novice student programs","authors":"S. Mengel, Joseph V. Ulans","doi":"10.1109/CSEE.1999.755178","DOIUrl":"https://doi.org/10.1109/CSEE.1999.755178","url":null,"abstract":"It is difficult for teachers and graders to give an in-depth evaluation of student programs to the point of checking every line of code due to the amount of time checking would take. Solutions to this difficulty many involve only checking to see if the program executes correctly (dynamic analysis), glancing over the program to see if appropriate documentation to present (static analysis), and glancing over the code for any obvious problems (static analysis). A promising solution is to automate the assessment process or parts of it, however, automated solutions are difficult to construct and may be very expensive commercially. One commercial solution, however, is Verilog Logiscope which offers a limited number of licenses free to conductors. Logiscope is a static analysis checker which collects metrics on programs and allows the coverage of code to be determined when testing during program execution. It is also difficult to determine which metrics may be of use in the automated assessment of programs. This paper addresses this problem through using Logiscope to conduct a preliminary investigation with a small set of static metrics. Another metric, the code coverage of a set of test scripts run on all of the programs is also used. The metrics data collected from programs belonging to students in the beginning programming honors course, is presented and correlated to each other to determine their dependence on each order. Consideration on how to use the metrics to help students learn to program better is given.","PeriodicalId":104736,"journal":{"name":"Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131)","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127610678","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Recommended skills and knowledge for software engineers 软件工程师必备的技能和知识
Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131) Pub Date : 1999-03-22 DOI: 10.1109/CSEE.1999.755198
S. Tockey
{"title":"Recommended skills and knowledge for software engineers","authors":"S. Tockey","doi":"10.1109/CSEE.1999.755198","DOIUrl":"https://doi.org/10.1109/CSEE.1999.755198","url":null,"abstract":"One goal of this paper is to put forward a proposition that computer science and software engineering are distinct but related subjects and to clearly define how they are related. Another goal is to offer a recommendation on a set of skills and knowledge that could serve to distinguish proficient, \"industrial-strength\" software engineers. One potential use of this set of recommended skills and knowledge is as input in the development of a standardized software engineering curriculum that would produce graduates who would be highly valued by the software industry.","PeriodicalId":104736,"journal":{"name":"Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131)","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133947447","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
Safety as a metric 安全作为一种度量
Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131) Pub Date : 1999-03-22 DOI: 10.1109/CSEE.1999.755192
M. Felleisen, Robert Cartwright
{"title":"Safety as a metric","authors":"M. Felleisen, Robert Cartwright","doi":"10.1109/CSEE.1999.755192","DOIUrl":"https://doi.org/10.1109/CSEE.1999.755192","url":null,"abstract":"Most software metrics measure the syntactic qualities of a program. While measuring such properties may reveal problems in programs, these metrics fail to measure the essence of programs: (partial) correctness and robustness. We therefore propose to base metrics on semantic, instead of syntactic, criteria. To illustrate the idea of semantics-based metrics, we have built static debuggers, which are tools that detect potential run-time failures. More specifically, a static debugger analyses programs written in safe programming languages and pinpoints those program operations that might trigger a run-time error. This paper briefly recalls what safety means for a programming language. It then sketches how a static debugger works and the role it plays in measuring the robustness of a program. The last section discusses the use of static debuggers in the classroom, an NSF Educational Innovation Project.","PeriodicalId":104736,"journal":{"name":"Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134225085","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A client/server case study for software engineering students 软件工程专业学生的客户机/服务器案例研究
Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131) Pub Date : 1999-03-22 DOI: 10.1109/CSEE.1999.755197
S. Butler
{"title":"A client/server case study for software engineering students","authors":"S. Butler","doi":"10.1109/CSEE.1999.755197","DOIUrl":"https://doi.org/10.1109/CSEE.1999.755197","url":null,"abstract":"A goal of the Studio course in the Master of Software Engineering program at Carnegie Mellon University is to bridge the gap between experience and academics. One way to transfer experience to young software engineers is through case studies designed to focus students on specific software engineering problems. This paper discusses my experience with developing a case study to improve students' analytical capabilities and introduce the importance of considering maintenance and implementation issues in software design. The case study, developed as a classroom assignment, proved an effective tool to teach software engineering students that there are more things to consider than performance specifications.","PeriodicalId":104736,"journal":{"name":"Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129230229","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Establishing a distance education program: pedagogical preparation 建立远程教育项目:教学准备
Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131) Pub Date : 1999-03-22 DOI: 10.1109/CSEE.1999.755187
R. Halstead-Nussloch
{"title":"Establishing a distance education program: pedagogical preparation","authors":"R. Halstead-Nussloch","doi":"10.1109/CSEE.1999.755187","DOIUrl":"https://doi.org/10.1109/CSEE.1999.755187","url":null,"abstract":"Establishing a distance education program in software engineering is an intricate task. Educators must deal with technology, people, organizations, states, countries, intellectual property, billing, content, course delivery evaluation, etc. The team must put all these pieces together into a coherent, efficient system and support a new production for every course run. Of these educational intricacies, my professional focus has been on pedagogy-the art and science of teaching. In this paper, I articulate and justify a set of pedagogical guidelines for distance education in software engineering based on the literature and my professional experience.","PeriodicalId":104736,"journal":{"name":"Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116921255","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
An online system analysis course 在线系统分析课程
Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131) Pub Date : 1999-03-22 DOI: 10.1109/CSEE.1999.755195
G. Hislop
{"title":"An online system analysis course","authors":"G. Hislop","doi":"10.1109/CSEE.1999.755195","DOIUrl":"https://doi.org/10.1109/CSEE.1999.755195","url":null,"abstract":"This paper discusses on online graduate course that teaches a structured method of systems analysis. The course is the first course in a completely online graduate degree program. The paper briefly discusses the degree program and the online environment, and describes how the course is organized and taught. The paper also presents data showing the level of activity by course participants and post-cost evaluation by students.","PeriodicalId":104736,"journal":{"name":"Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134324514","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Micro-process based software metrics in the training 培训中基于微过程的软件度量
Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131) Pub Date : 1999-03-22 DOI: 10.1109/CSEE.1999.755193
K. Hirai
{"title":"Micro-process based software metrics in the training","authors":"K. Hirai","doi":"10.1109/CSEE.1999.755193","DOIUrl":"https://doi.org/10.1109/CSEE.1999.755193","url":null,"abstract":"In the software life-cycle, the personal behavior of the software engineer has a significant influence on software metrics and productivity. This relation is also true of the life-cycle of education and training in software engineering. The trainee's practice, which depends on his/her understanding, causes micro-processes of trial-and-error behavior. By obtaining data about micro-processes, the trainer can issue the appropriate instructions for each trainee effectively. The trainer should have an interest in the micro-processes of the trainee's learning.","PeriodicalId":104736,"journal":{"name":"Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131)","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128202965","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Bridging the gap [software engineering course] 弥合差距[软件工程课程]
Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131) Pub Date : 1999-03-22 DOI: 10.1109/CSEE.1999.755200
D. Oliver, Kathy Egea, M. Gregory
{"title":"Bridging the gap [software engineering course]","authors":"D. Oliver, Kathy Egea, M. Gregory","doi":"10.1109/CSEE.1999.755200","DOIUrl":"https://doi.org/10.1109/CSEE.1999.755200","url":null,"abstract":"This paper is an experience report of how a software engineering degree program addresses the needs of both campus-based and distance education students. Central Queensland University (CQU) operates on a number of campuses in Queensland as well as interstate and overseas. This multi campus and distance education context has required varied approaches and technological expediencies to achieve educational objectives.","PeriodicalId":104736,"journal":{"name":"Proceedings 12th Conference on Software Engineering Education and Training (Cat. No.PR00131)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125552345","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信