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

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

筛选
英文 中文
Experiences with facilitating student learning in a group information systems project course 在小组信息系统项目课程中促进学生学习的经验
Proceedings 1996 International Conference Software Engineering: Education and Practice Pub Date : 1996-01-24 DOI: 10.1109/SEEP.1996.533975
J. Grundy
{"title":"Experiences with facilitating student learning in a group information systems project course","authors":"J. Grundy","doi":"10.1109/SEEP.1996.533975","DOIUrl":"https://doi.org/10.1109/SEEP.1996.533975","url":null,"abstract":"One of the main aims of university education is to help students become intellectually independent. As the Software Engineering and Information Systems fields are changing so rapidly, such independent thinkers are essential. This paper describes a third-year Information Systems Project course we have designed to facilitate the process of university students becoming real-world software practitioners. The course covers a diverse range of Information Systems Development topics. Students work together in groups throughout the course on a single project chosen from a real-world business client. The organisation and rationale for the course structure are described together with our experiences with the course evolution, its successful and unsuccessful aspects, and student and industry feedback.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"365 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":"115472035","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
Elementary structures in entity-relationship diagrams: a new metric for effort estimation 实体关系图中的基本结构:一种新的工作量估算度量
Proceedings 1996 International Conference Software Engineering: Education and Practice Pub Date : 1996-01-24 DOI: 10.1109/SEEP.1996.533985
G. Kennedy
{"title":"Elementary structures in entity-relationship diagrams: a new metric for effort estimation","authors":"G. Kennedy","doi":"10.1109/SEEP.1996.533985","DOIUrl":"https://doi.org/10.1109/SEEP.1996.533985","url":null,"abstract":"The paper describes a systematic treatment of the entity relationship diagram, resulting in the identification of three elementary data structures. Recognition of these structures is shown to constitute a useful analytical and diagnostic tool for data modelling. An algorithm for counting the number of occurrences of each type of structure in a data model is presented and the possibility is explored of using these values as the basis for a metric for system development effort estimation. Such a metric could be applied earlier in the development cycle than others currently in use. For a specific class of system an empirical expression for the estimation of development effort is determined.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"75 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":"124737280","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}
引用次数: 10
Object-orientation in software engineering education. Integrating concepts, methodology development models, and CASE in the curriculum 面向对象的软件工程教育。在课程中整合概念、方法论开发模型和案例
Proceedings 1996 International Conference Software Engineering: Education and Practice Pub Date : 1996-01-24 DOI: 10.1109/SEEP.1996.534019
G. Lowry
{"title":"Object-orientation in software engineering education. Integrating concepts, methodology development models, and CASE in the curriculum","authors":"G. Lowry","doi":"10.1109/SEEP.1996.534019","DOIUrl":"https://doi.org/10.1109/SEEP.1996.534019","url":null,"abstract":"Outlines a strategy for integrating object orientation in a curriculum which must also include structured methods (SM). Proceeding from familiar SM concepts, students rapidly grasp object orientation when OO concept evolution is traced to SM antecedents. Students are helped to distinguish OO approaches through the comparison of unique sequences of procedural steps which comprise methodology-derived development models (MDMs). When OO analysis, design and development are supported by CASE, the software must reify an MDM which is consistent with a familiar software life-cycle. Computer-based tutorials are needed to support student work with CASE. A generic set of OO concepts, derived from an exhaustive study of OO methodologies, is identified. Summary definitions and page references are provided to help students to locate and compare the actual words of the methodologists, enriching their conceptual understanding. Comparative MDMs are illustrated. The paper concludes with recommendations for CASE tutorial development.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"25 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":"132369450","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 project management, estimation and metrics: discussion summary and recommendations 软件工程项目管理，评估和度量:讨论总结和建议
Proceedings 1996 International Conference Software Engineering: Education and Practice Pub Date : 1996-01-24 DOI: 10.1109/SEEP.1996.534043
J. Paynter
{"title":"Software engineering project management, estimation and metrics: discussion summary and recommendations","authors":"J. Paynter","doi":"10.1109/SEEP.1996.534043","DOIUrl":"https://doi.org/10.1109/SEEP.1996.534043","url":null,"abstract":"The topics of software engineering project management, estimation and metrics are discussed. The following questions are used to guide the discussion. How should student projects be managed-by staff or the students themselves? Can project management tools be used effectively for student projects? Should metrics be taught as a separate course component? To what degree can we rely on metric data derived from student projects? Much of the discussion focuses on the nature and organisation of the student projects themselves.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"51 2 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":"130200243","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
An extended professional development programme for specialist computing teachers in Hong Kong 专为香港的专业电脑教师而设的扩展专业发展计划
Proceedings 1996 International Conference Software Engineering: Education and Practice Pub Date : 1996-01-24 DOI: 10.1109/SEEP.1996.534000
M.B. Stranks, M.C. Woodward
{"title":"An extended professional development programme for specialist computing teachers in Hong Kong","authors":"M.B. Stranks, M.C. Woodward","doi":"10.1109/SEEP.1996.534000","DOIUrl":"https://doi.org/10.1109/SEEP.1996.534000","url":null,"abstract":"This paper describes how two nominally independent programmes, which are offered by independent institutions in different countries, have been combined to form one effective co-ordinated scheme of study that provides school teachers with a part time developmental programme leading to the award of M.Sc. Degree. The first \"conversion\" programme is designed for graduates with little or no knowledge of computing. Here each student develops their underpinning knowledge and practical skills within computing. The second \"advanced\" programme is chosen to provide teachers with an opportunity for professional development at an advanced level within the area of computing and to mix with other graduate-level people with industrial experience in computing. The paper first explores the background to the development, identifying needs within Hong Kong which make the development appropriate. The nature and strengths of each of the contributing programmes are then presented. This is followed by a discussion of the rational for providing a coherent route through the two individual programmes. The remainder of the paper concentrates on the M.Sc. Provision, identifying issues in the integration of student groups and the management of dissertations across the sets of students from two different backgrounds. The paper concludes with a summary of the lessons learnt from the development and early operation of the scheme.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"43 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":"133126675","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
Serving up a Banquet: towards an environment supporting all aspects of software development 提供宴会:朝向一个支持软件开发所有方面的环境
Proceedings 1996 International Conference Software Engineering: Education and Practice Pub Date : 1996-01-24 DOI: 10.1109/SEEP.1996.534035
J. Grundy, J. Hosking, W. Mugridge
{"title":"Serving up a Banquet: towards an environment supporting all aspects of software development","authors":"J. Grundy, J. Hosking, W. Mugridge","doi":"10.1109/SEEP.1996.534035","DOIUrl":"https://doi.org/10.1109/SEEP.1996.534035","url":null,"abstract":"In order to make diverse software engineering techniques readily available and their use effective, they should be supported by appropriate CASE environments. We describe our experiences in building several such environments for different software engineering methodologies and notations. As these methodologies address different aspects of software development, tools embodying them should ideally be integrated within one overall environment. The design of such an environment is described, and our progress towards achieving this integrated environment for all aspects of software development is presented.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"84 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":"133737028","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
Curriculum design: methodologies and life cycles 课程设计:方法论和生命周期
Proceedings 1996 International Conference Software Engineering: Education and Practice Pub Date : 1996-01-24 DOI: 10.1109/SEEP.1996.534039
G. Roy
{"title":"Curriculum design: methodologies and life cycles","authors":"G. Roy","doi":"10.1109/SEEP.1996.534039","DOIUrl":"https://doi.org/10.1109/SEEP.1996.534039","url":null,"abstract":"While it can be generally accepted that curriculum design is a key issue in software engineering education it is not so clear what constitutes its essential ingredients and to what extent specific methods and process models should play in its design. The tasks set for this workshop included: what degree of exposure to various methodologies is necessary for student understanding; is more necessarily better; are life cycle models adequate process representations; and is programming overemphasized.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"82 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":"124125351","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
Formal methods in software engineering education 软件工程教育中的形式化方法
Proceedings 1996 International Conference Software Engineering: Education and Practice Pub Date : 1996-01-24 DOI: 10.1109/SEEP.1996.534047
D. Andrews
{"title":"Formal methods in software engineering education","authors":"D. Andrews","doi":"10.1109/SEEP.1996.534047","DOIUrl":"https://doi.org/10.1109/SEEP.1996.534047","url":null,"abstract":"Formal methods are seen as the Cinderella subject of software engineering, always hovering in the background, hoping to be invited to the ball. But exactly what are formal methods? Because they were fashionable in the eighties, the term was stolen by \"informal\" methods to provide themselves with a cloak of respectability-one of the claims of formal methods was that, by using them, it was possible to reduce the number of errors in a program and improve productivity; claims that any method would like to be associated with. The article defines formal methods as mathematically based methods-actually using mathematics to specify, design and implement a computer system.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"2219 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":"130171793","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
The verification system by dense timing constraints and probabilities 验证系统受密集时间约束和概率约束
Proceedings 1996 International Conference Software Engineering: Education and Practice Pub Date : 1996-01-24 DOI: 10.1109/SEEP.1996.533998
S. Yamane
{"title":"The verification system by dense timing constraints and probabilities","authors":"S. Yamane","doi":"10.1109/SEEP.1996.533998","DOIUrl":"https://doi.org/10.1109/SEEP.1996.533998","url":null,"abstract":"Formal verification and specification are important for real-time software. In this paper, in order to maintain the reliability of the software, we consider that the notion of dense timing and probabilities are necessary. In this paper, we propose the following methods in order to specify and verify performance properties in the dense time model. We propose a probabilistic dense-time statechart by extending the concept of the statechart with dense time and probabilities. We also propose a probabilistic dense-time temporal logic by extending TCTL (timed computation tree logic) with probabilities. Finally, we propose an automatic verification method. We have developed a verification system based on the proposed method and shown it to be effective.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"119 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":"125574007","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
Barriers to a collaborative, multidisciplinary pedagogy [software development teams] 协作、多学科教学法的障碍[软件开发团队]
Proceedings 1996 International Conference Software Engineering: Education and Practice Pub Date : 1996-01-24 DOI: 10.1109/SEEP.1996.534001
M. Werner
{"title":"Barriers to a collaborative, multidisciplinary pedagogy [software development teams]","authors":"M. Werner","doi":"10.1109/SEEP.1996.534001","DOIUrl":"https://doi.org/10.1109/SEEP.1996.534001","url":null,"abstract":"Large-scale software development requires the contributions of people with diverse skills. For example, on software development projects one might often find software engineers, technical writers, human factors engineers, graphic designers and marketing representatives. This paper traces some key problems which educators face in preparing students to participate in such multidisciplinary software development teams.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"67 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":"126689315","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学术官方微信