Proceedings 1996 International Conference Software Engineering: Education and Practice最新文献

筛选
英文 中文
CAL support for complex CASE tutorials. Demonstrating software engineering concepts through CASE CAL支持复杂的CASE教程。通过CASE演示软件工程概念
G. Lowry
{"title":"CAL support for complex CASE tutorials. Demonstrating software engineering concepts through CASE","authors":"G. Lowry","doi":"10.1109/SEEP.1996.534013","DOIUrl":"https://doi.org/10.1109/SEEP.1996.534013","url":null,"abstract":"The steep curve inherent in learning to use CASE has been often noted. Integrating CASE in the software engineering curriculum requires substantial effort and resources to produce and support tutorials suitable for university students. As integrated CASE (I-CASE) products are more extensive and rigorous than consumer productivity tools, the magnitude of the learning task can be underestimated. CASE documentation must be adapted for educational use. This paper reports the development, implementation and refinement of a computer-assisted learning (CAL) tutorial resource to support software engineering education in the use of commercial I-CASE software. Beginning with a discussion of learning and unit objectives, this paper addresses tutorial development strategy, subject rationale and presentation sequence, resource requirements, recommendations and observations. Examples of the student interface, tutorial screens and text are illustrated.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126993317","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 front-end to deductive database systems for multiparadigm programming 用于多范式编程的演绎数据库系统的前端
J. Han
{"title":"A front-end to deductive database systems for multiparadigm programming","authors":"J. Han","doi":"10.1109/SEEP.1996.533984","DOIUrl":"https://doi.org/10.1109/SEEP.1996.533984","url":null,"abstract":"A front end addition to deductive database systems is proposed to provide a multiparadigm programming environment for data intensive software development. The specification language for the whole system is chosen to be LDL or LPS. A stratified LDL program is partitioned into modules and the perfect modular models are introduced. The interface among modules is simple and clean. The modular semantics allow encapsulation and module reuse. Modules for set operations and for input/output may be implemented in procedural languages to improve performance or to utilize expertise of available programmers while modules for relations/deductions are programmed in SQL or LDL. The multiprogramming environment may increase the productivity of programmers, improve the quality and performance of software, and increase the available choices for the software engineer.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127169455","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
Laboratory practice with software quality assurance 实验室实践与软件质量保证
C. Ho-Stuart, R. Thomas
{"title":"Laboratory practice with software quality assurance","authors":"C. Ho-Stuart, R. Thomas","doi":"10.1109/SEEP.1996.534003","DOIUrl":"https://doi.org/10.1109/SEEP.1996.534003","url":null,"abstract":"Students and indeed many practicing software professionals are often sceptical of the benefits of software quality assurance. Organizations which have experienced the benefits for themselves are in no doubt. In the Software Engineering major at the Queensland University of Technology, a Software Quality Assurance unit has been introduced. We have attempted to give students some practical experience by combining the practical work for this unit with project work from other units in the major. The quality assurance students interact with project students in reviews and walk throughs of baseline documents. Our experience with this experiment is described, and we draw some tentative conclusions.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130465865","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}
引用次数: 4
Software engineering education: from an engineering perspective 软件工程教育:从工程的角度
Geoffrey G. Roy, Valerie E. Veraart
{"title":"Software engineering education: from an engineering perspective","authors":"Geoffrey G. Roy, Valerie E. Veraart","doi":"10.1109/SEEP.1996.534008","DOIUrl":"https://doi.org/10.1109/SEEP.1996.534008","url":null,"abstract":"We explore the development of the curriculum for a new professional engineering degree in Software Engineering. Software engineering is still a relatively new discipline (in its own right) and its place in the tertiary education sector is still not well defined. We are currently seeing the integration of \"software engineering\" content into standard three-year Science degrees, as well as the emergence of four-year engineering degrees in Software Engineering. Here we report on the development of a new Bachelor of Engineering (Software Engineering) at Murdoch University. This proposal is predicated on the proposition that a three-year degree is just not sufficient to produce graduates with adequate depth and breadth of educational experience to meet the needs of a wide range of industry sectors concerned with producing quality and complex software products. It is our hypothesis that it is the character of an engineering education that may offer an opportunity to produce graduates with a better appreciation of the demands and requirements of the software industry.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133298029","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
An investigation into the effect of students' use of the CADiZ tool for checking Z formal specifications 学生使用CADiZ工具检查Z形式规范的效果调查
S. Green, J. Sa, Andrew Vince, Julian Webb
{"title":"An investigation into the effect of students' use of the CADiZ tool for checking Z formal specifications","authors":"S. Green, J. Sa, Andrew Vince, Julian Webb","doi":"10.1109/SEEP.1996.533989","DOIUrl":"https://doi.org/10.1109/SEEP.1996.533989","url":null,"abstract":"The authors predicted that the number of typical errors that students make in Z specifications might be reduced if they were to develop them using the CADiZ syntax and type checking tool; and also that such interaction with CADiZ might lead to an increased understanding of Z. To check these predictions a sample of specifications developed using CADiZ was compared with a similar sample developed without CADiZ. In addition, a questionnaire was used to determine the effect of using CADiZ both on students' attitude to formal specification, and on their self assessed understanding of Z. The results indicate for many students that using CADiZ helped both to reduce the number of typical errors in their specifications, and also led to a more positive attitude towards formal specification.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115223514","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
Software engineering process improvement: aligning curriculum and industry requirements 软件工程过程改进:调整课程和行业需求
G. W. Morgan, G. Lowry
{"title":"Software engineering process improvement: aligning curriculum and industry requirements","authors":"G. W. Morgan, G. Lowry","doi":"10.1109/SEEP.1996.534024","DOIUrl":"https://doi.org/10.1109/SEEP.1996.534024","url":null,"abstract":"The paper outlines the development and pilot testing of a software engineering audit and assessment instrument suited to the requirements of software engineers and educators. The instrument, approximately 100 pages in length, must be completed during a site visit. It enables researchers to examine software development organisations, processes, tools, development experience, and pricing in a consistent way. A combination of closed items suitable for statistical manipulation and open items in which clients identify critical factors facilitates triangulation between statistical and narrative data. Sections include an introduction to the background, nature, and development of the instrument. A discussion of areas studied; a brief description of the research methodology; and a discussion of implications for educators and practitioners.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123679421","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 new method for modelling by artificial neural networks 一种新的人工神经网络建模方法
Q.Q. Zhou, H.B. Laing, L. Lu, H. He
{"title":"A new method for modelling by artificial neural networks","authors":"Q.Q. Zhou, H.B. Laing, L. Lu, H. He","doi":"10.1109/SEEP.1996.534033","DOIUrl":"https://doi.org/10.1109/SEEP.1996.534033","url":null,"abstract":"Taking a traffic signal as the basis, this paper puts forward a new method for modelling using artificial neural networks. From the perspective of control, this paper focuses on the application of the neural network in the establishment of a model of traffic signal systems, including the modelling of single junctions and modelling of small fields which consist of several junctions. The effectiveness of the developed model is demonstrated by simulation.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128645352","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
Using Ada as the first programming language: a retrospective 使用Ada作为第一种编程语言:回顾
R. Allen, D. Grant, R. Smith
{"title":"Using Ada as the first programming language: a retrospective","authors":"R. Allen, D. Grant, R. Smith","doi":"10.1109/SEEP.1996.534005","DOIUrl":"https://doi.org/10.1109/SEEP.1996.534005","url":null,"abstract":"In 1989 the Computer Science Department at Swinburne selected Ada (83) as the first and main programming language for its principal undergraduate degree. Two full student cohorts from the degree have now graduated, and the department, now the School of Computer Science and Software Engineering, is commencing a major overhaul of its undergraduate degree programs. As part of the review, the choice of programming language is, as usual, a central issue. To make an informed decision, it is important that the 1989 decision in favour of Ada be reviewed. We look retrospectively at that decision. We conclude that it was not only correct, but of fundamental importance in securing the success of the degree. As a caution against simply retaining Ada because of its past success, we note that the previous decision was taken within a particular context, and in planning for Computer Science and Software Engineering education in the year 2000, the context has shifted to some extent.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128798789","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}
引用次数: 5
An analysis of the design constructs required in process modelling 对过程建模所需的设计结构进行分析
C. Keen, C. Lakos
{"title":"An analysis of the design constructs required in process modelling","authors":"C. Keen, C. Lakos","doi":"10.1109/SEEP.1996.534031","DOIUrl":"https://doi.org/10.1109/SEEP.1996.534031","url":null,"abstract":"The concept of a process is a key design construct in the modelling of business, control and engineering systems. A wide range of techniques have been proposed for the modelling and representation of processes. This paper considers the characteristics of a representative sample of these techniques, in order to determine the essential modelling characteristics that a process modelling scheme should possess.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126338798","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}
引用次数: 23
A modified function point method for CAL systems with respect to software cost estimation 一种改进的功能点法在软件成本估算中的应用
Xiangzhu Gao, B. Lo
{"title":"A modified function point method for CAL systems with respect to software cost estimation","authors":"Xiangzhu Gao, B. Lo","doi":"10.1109/SEEP.1996.534002","DOIUrl":"https://doi.org/10.1109/SEEP.1996.534002","url":null,"abstract":"Algorithmic models for software cost estimation usually assume that software size is the major factor that influences software development effort. Function point analysis (FPA) is a widely accepted method to measure software size. However, when we used FPA to size computer assisted learning (CAL) systems for development effort estimation, we found that FPA has a number of difficulties. The study examines the special characteristics of CAL systems and analyses the additional considerations needed if FPA is used to size CAL systems for effort estimation. The concept of effective size is proposed to account for software reuse. An integrated software cost model previously introduced by the authors is adapted to the CAL environment. Real world data are used to test the adapted model, and the results and implications are discussed.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"2005 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129610519","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}
引用次数: 5
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学术官方微信