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

Proceedings of 1996 Australian Software Engineering Conference最新文献

筛选
英文 中文
Enhancing project-based learning: variations on mentoring
Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534128
Philip W. Dart, L. Johnston, Cameron Schmidt
{"title":"Enhancing project-based learning: variations on mentoring","authors":"Philip W. Dart, L. Johnston, Cameron Schmidt","doi":"10.1109/ASWEC.1996.534128","DOIUrl":"https://doi.org/10.1109/ASWEC.1996.534128","url":null,"abstract":"Project-based learning is an essential part of a software engineer's education. The learning achieved through projects can be improved through structured interaction between more experienced students and those students encountering their first software engineering project. In this paper we report on our experience over three years with trials of several forms of interaction between undergraduate students at the third- and fourth-year levels. This mentoring involved full year project subjects at both year levels. We discuss the problems encountered during these trials, and describe how the interaction was varied in response. We examine the benefits achieved through this interaction and provide details of student feedback. Such benefits include broadening the experience of the fourth-year students, providing a form of mentoring for less experienced students, and improving both the project process and the quality of the project product.","PeriodicalId":321303,"journal":{"name":"Proceedings of 1996 Australian Software Engineering Conference","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114509692","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
A tool for practical reasoning about state machine designs 一个关于状态机设计的实际推理工具
Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534119
A. Cant, K. Eastaughffe, M. Ozols
{"title":"A tool for practical reasoning about state machine designs","authors":"A. Cant, K. Eastaughffe, M. Ozols","doi":"10.1109/ASWEC.1996.534119","DOIUrl":"https://doi.org/10.1109/ASWEC.1996.534119","url":null,"abstract":"Critical systems (e.g. safety critical and security critical systems) need the highest levels of assurance. The effective engineering design of critical systems still lacks easy to use, practical and above all trustworthy tools which allow the exploration of possible design strategies, and support formal reasoning about their critical properties. We describe the Veracity prototype tool, aimed at providing support for modelling and reasoning about state machine designs for critical software based devices. The tool has three main components: a graph editor, for constructing state transition diagrams; an animator, for exploring symbolic execution of the machine; and a prover, for verifying critical properties of the machine.","PeriodicalId":321303,"journal":{"name":"Proceedings of 1996 Australian Software Engineering Conference","volume":"138 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125074829","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
Analysis of software system requirements models 软件系统需求模型分析
Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534130
E. Haywood, Philip W. Dart
{"title":"Analysis of software system requirements models","authors":"E. Haywood, Philip W. Dart","doi":"10.1109/ASWEC.1996.534130","DOIUrl":"https://doi.org/10.1109/ASWEC.1996.534130","url":null,"abstract":"This paper presents an analysis of models used for software system requirements. A range of models have been chosen to demonstrate the diversity of notation, application and intention and they have been considered separately from the methods used for their creation. A set of criteria is established as a basis for comparison of the chosen models. The criteria are intended to cover aspects of a requirements model which allows for assessment of its suitability for a particular application. Various classes of models have been distinguished and a comparative overview of those classes is given. The paper provides information for a reader who is looking for a suitable model for a particular domain. Information is presented that will be of use to researchers and practitioners who are interested in the provision of tool support for requirements engineering. It also serves as an introduction to the research area of software system requirements models.","PeriodicalId":321303,"journal":{"name":"Proceedings of 1996 Australian Software Engineering Conference","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121988826","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}
引用次数: 13
A layered operational model for describing inter-tool communication in tool integration frameworks 描述工具集成框架中工具间通信的分层操作模型
Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534123
J. Harvey, C. Marlin
{"title":"A layered operational model for describing inter-tool communication in tool integration frameworks","authors":"J. Harvey, C. Marlin","doi":"10.1109/ASWEC.1996.534123","DOIUrl":"https://doi.org/10.1109/ASWEC.1996.534123","url":null,"abstract":"Integration frameworks for building software engineering environments provide at least data, control and presentation integration facilities, together with integration devices which afford access to these facilities by the tools which populate the framework. Typically, an integration device is a specially developed language, or extension to an existing language, in which the integration programmer specifies the desired interactions between the tools comprising the software engineering environment. Surprisingly little effort has been applied to assessing the expressiveness of integration languages, even though the power of such a language limits the level of integration a tool can achieve within the environment. Our work seeks to provide an approach to both assessing and comparing the expressiveness of the integration devices of a range of commercial and research products. The paper presents a layered operational model, based on information structures; this model has been developed for describing the semantics of the inter-tool communication features of integration devices in a precise manner, and in a manner which will facilitate such assessment and comparison.","PeriodicalId":321303,"journal":{"name":"Proceedings of 1996 Australian Software Engineering Conference","volume":"236 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122155389","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}
引用次数: 6
An integrated database reengineering architecture-a generic approach 集成的数据库再工程体系结构——一种通用方法
Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534131
Wie Ming Lim, John V. Harrison
{"title":"An integrated database reengineering architecture-a generic approach","authors":"Wie Ming Lim, John V. Harrison","doi":"10.1109/ASWEC.1996.534131","DOIUrl":"https://doi.org/10.1109/ASWEC.1996.534131","url":null,"abstract":"Methods and tools have been proposed and developed to facilitate database design recovery under the framework of reverse engineering and reengineering. These tools and methods are usually limited to a particular scenario and requirement. They are not adaptive, or general enough, to suit other scenarios. In most cases, new tools and methods will have to be redeveloped to suit these scenarios. This can result in a tremendous waste of effort and cost. In this paper we describe an integrated generic architecture for reengineering legacy databases. The goal of this research is to formalize an integrated generic architecture that is applicable to different database reengineering scenarios and requirements. We examine the conceptual and technical requirement for enabling such an architecture. An overview of the database reengineering process, which serves as a guideline for practitioners and tool developers, is presented. The results of a preliminary feasibility study based on the results of an implementation of relational database reverse engineering tools within the content of the architecture is also provided.","PeriodicalId":321303,"journal":{"name":"Proceedings of 1996 Australian Software Engineering Conference","volume":"103 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131256878","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 initial comparison of software and engineering designs of automotive cruise control systems 汽车巡航控制系统的软件设计与工程设计的初步比较
Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534136
Jason Baragry
{"title":"An initial comparison of software and engineering designs of automotive cruise control systems","authors":"Jason Baragry","doi":"10.1109/ASWEC.1996.534136","DOIUrl":"https://doi.org/10.1109/ASWEC.1996.534136","url":null,"abstract":"We contribute to the debate about the relation between software design and standard engineering design. We do this by examining the approaches taken by both disciplines to the design of a small embedded system. The example chosen is that of an automotive cruise control system whose design is described in both computing and automotive literature. We do not attempt to argue that software development should be more like other engineering disciplines nor do we support the argument that software development is too complex or different in nature to be compared to traditional engineering.","PeriodicalId":321303,"journal":{"name":"Proceedings of 1996 Australian Software Engineering Conference","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133642675","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
Towards analysing a class of object Petri nets 对一类物体Petri网的分析
Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534126
Sea Ling, H. Schmidt
{"title":"Towards analysing a class of object Petri nets","authors":"Sea Ling, H. Schmidt","doi":"10.1109/ASWEC.1996.534126","DOIUrl":"https://doi.org/10.1109/ASWEC.1996.534126","url":null,"abstract":"The Petri net theory has been used to specify many types of systems, in particular, concurrent, distributed and nondeterministic. A class of high level object based Petri nets, OBJSA nets, is being used to model the behaviour of a concurrent system-a priority queue. We propose a method of analysing its behaviour by examining its structure and its underlying subnet components according to the state machine paradigm. This is closely related to the liveness and safeness analysis of free choice Elementary Net systems with simple or unstructured tokens in existing literature. By using these existing results and applying them to OBJSA nets with structured tokens, we are able to determine the liveness property of our priority queue example.","PeriodicalId":321303,"journal":{"name":"Proceedings of 1996 Australian Software Engineering Conference","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131153135","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
More on the E-measure of subdomain testing strategies 更多关于子域测试策略的e -测度
Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534133
T. Chen, Yuen-Tak Yu
{"title":"More on the E-measure of subdomain testing strategies","authors":"T. Chen, Yuen-Tak Yu","doi":"10.1109/ASWEC.1996.534133","DOIUrl":"https://doi.org/10.1109/ASWEC.1996.534133","url":null,"abstract":"The expected number of failures detected (the E-measure) has been found to be a useful measure of the effectiveness of testing strategies. This paper takes a fresh perspective on the formulation of the E-measure. From this, we deduce new sufficient conditions for subdomain testing to be better than random testing. These conditions are simpler and more easily applicable than many of those previously found. Moreover, we obtain new characterisations of subdomain testing strategies in terms of the E-measure.","PeriodicalId":321303,"journal":{"name":"Proceedings of 1996 Australian Software Engineering Conference","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123147301","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
Do formal methods really work? 形式化方法真的有效吗?
Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.10003
L. Zucconi, Greg Royle, K. Reed, J. Staples
{"title":"Do formal methods really work?","authors":"L. Zucconi, Greg Royle, K. Reed, J. Staples","doi":"10.1109/ASWEC.1996.10003","DOIUrl":"https://doi.org/10.1109/ASWEC.1996.10003","url":null,"abstract":"\"Formal methods\" is an established but inappropriate name for the use in software engineering of a standard engineering technique: prediction of in-service performance at design time, based on relevant scientific theories and mathematical models. Today, no other branch of engineering would deny the necessity of scientifically based prediction-though such denial was common a century ago. Given the precedents elsewhere in engineering, the author confidently says that the formal methods are really needed if software engineering is to really work! It is also clear that every branch of engineering involves much more than prediction of in-service performance. For example the creation of designs is central and is purely informal, even though it may be interleaved with formal methods. This example is enough to show that formal methods alone cannot make software engineering really work, no matter how good the formal methods are. In the author's view the key questions are these: what is the role of formal methods in making software engineering really work? How capable are existing formal methods of performing that role?.","PeriodicalId":321303,"journal":{"name":"Proceedings of 1996 Australian Software Engineering Conference","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133363872","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
Distributing the software process 分发软件过程
Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534134
I. Hawryszkiewycz, I. Gorton
{"title":"Distributing the software process","authors":"I. Hawryszkiewycz, I. Gorton","doi":"10.1109/ASWEC.1996.534134","DOIUrl":"https://doi.org/10.1109/ASWEC.1996.534134","url":null,"abstract":"This paper sees software development as made up of two important parts. One is the technical work in producing software. The other is the team management and coordination in large and complex systems. Support tools for software development have in general concentrated on providing technical support to improve task productivity. These have included CASE tools as well as various editors, debugging tools and so on. Trends to geographically distributed software development call for providing team support to coordinate activities across distances. This paper describes methods for providing such support using groupware. It outlines different support strategies for different team structures and describes an experimental system for supporting mission oriented teams and some results of using this experimental system.","PeriodicalId":321303,"journal":{"name":"Proceedings of 1996 Australian Software Engineering Conference","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128778349","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
首页 上一页
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学术官方微信