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

Proceedings 2001 Australian Software Engineering Conference最新文献

筛选
英文 中文
A pilot study in effort estimation for the generalization of object-oriented components for reuse 对面向对象组件的重用泛化工作估计的初步研究
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948513
J. Verner, B. Henderson-Sellers
{"title":"A pilot study in effort estimation for the generalization of object-oriented components for reuse","authors":"J. Verner, B. Henderson-Sellers","doi":"10.1109/ASWEC.2001.948513","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948513","url":null,"abstract":"Generalizing components for future reuse is advocated as a worthwhile investment of time and resources. Some studies have attempted to quantify the additional costs of generalization of object-oriented components for reuse, with varying success. In this pilot study, we not only analyze one small data set for values of generalization effort but, more importantly, we develop an algorithmic approach that can be used to predict how much data is needed before a reliable estimate can be made.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"191 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122964284","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
Integration vs. development: an engineering approach to building Web applications 集成与开发:构建Web应用程序的工程方法
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948511
Rahul Chaubey, J. Suresh
{"title":"Integration vs. development: an engineering approach to building Web applications","authors":"Rahul Chaubey, J. Suresh","doi":"10.1109/ASWEC.2001.948511","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948511","url":null,"abstract":"The Web as a paradigm of computing has introduced fundamentally new possibilities for creating, driving and achieving differentiation in the business domain. These in turn have resulted in a greater emphasis on reducing the time to market and increased application complexity. Innovative practices such as iterative development and the use of software components for application development have had significant impact, although with mixed results, in practice. In situations where application design and implementation are based upon a novel \"core idea\" to be developed in a telescoped time frame, the implementation is constrained both by the time factor and the need for integration of third party components and solutions into the application. Furthermore, the proliferation and relative instability of technologies and tools adds another dimension to the problem of determining optimal application architecture. The paper analyzes these issues and explores their important causes and consequences. Some pitfalls of traditional approaches in the development of systems under time constraints and dynamic coupling between evolving requirements and application design are illustrated. Using examples of developmental experiences in projects, a few common points of approach are brought out to understand, adopt and implement a modified process to cater to such practical situations.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121203109","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
Visualisation of refinements 改进的可视化
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948518
N. J. Robinson, C. Fidge
{"title":"Visualisation of refinements","authors":"N. J. Robinson, C. Fidge","doi":"10.1109/ASWEC.2001.948518","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948518","url":null,"abstract":"Animation tools have proven to be effective as a means of visualising formal specifications. Specifications that might otherwise be impenetrable can be communicated to a wide range of people involved in the software development process. The authors argue that animation can also aid understanding of formal program development or refinement. We examine two case studies that demonstrate the effectiveness of visualisations generated from a specification animation tool for improving the understanding of refinements.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121397171","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 agent-based approach to computer assisted code inspections 基于代理的计算机辅助代码检查方法
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948508
Kevin Chan
{"title":"An agent-based approach to computer assisted code inspections","authors":"Kevin Chan","doi":"10.1109/ASWEC.2001.948508","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948508","url":null,"abstract":"Formal code inspections have been established as an effective way to decrease the cost of software development. However, implementing formal code inspections successfully is a challenging endeavour. We propose that the use of software tools to support the inspection process can help reduce the cost of code inspections, while increasing the number of defects detected. Intelligent agents provide a suitable model for designing a set of intelligent and flexible tools.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131025399","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
Animation can show only the presence of errors, never their absence 动画只能显示错误的存在，而不能显示错误的缺失
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948500
Tim Miller, P. Strooper
{"title":"Animation can show only the presence of errors, never their absence","authors":"Tim Miller, P. Strooper","doi":"10.1109/ASWEC.2001.948500","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948500","url":null,"abstract":"A formal specification animator executes and interprets traces on a specification. Similar to software testing, animation can only show the presence of errors, never their absence. However, animation is a powerful means of finding errors, and it is important that we adequately exercise a specification when we animate it. The paper outlines a systematic approach to the animation of formal specifications. We demonstrate the method on a small example, and then discuss its application to a non-trivial, system-level specification. Our aim is to provide a method for planned, documented and maintainable animation of specifications, so that we can achieve a high level of coverage, evaluate the adequacy of the animation, and repeat the process at a later time.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129394910","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}
引用次数: 20
Specification-based retrieval strategies for module reuse 基于规范的模块重用检索策略
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948517
D. Hemer, P. Lindsay
{"title":"Specification-based retrieval strategies for module reuse","authors":"D. Hemer, P. Lindsay","doi":"10.1109/ASWEC.2001.948517","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948517","url":null,"abstract":"Formal specifications have been proposed as a basis for accessing reusable components from libraries, and various fine-grained specification-matching approaches have been developed to assist in searching libraries. Typically, however, the granularity of matching has been too fine for reuse to be effective. Compounding the problem is the fact that coarse-grained items usually require adaptation before reuse. The paper explains some of the problems and presents a generic solution to a key problem: adaptation of modules through parameter instantiation and subsetting. It shows how unit-matching strategies can be lifted to module level in a generic fashion.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130577463","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}
引用次数: 41
Component adaptation for Web services Web服务的组件适配
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948507
Glenn Smith
{"title":"Component adaptation for Web services","authors":"Glenn Smith","doi":"10.1109/ASWEC.2001.948507","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948507","url":null,"abstract":"Component-oriented programming has provided a promising approach for software reuse. This promise is partially substantiated by the ability of components to be easily substituted, and the provision of an extensive range of interchangeable software components. The trend toward providing services on the Internet has also provided the opportunity to reuse software across the Internet. To promote reuse requires an adaptation mechanism that can address non-trivial situations. Such a component adaptation mechanism, termed Conciliation, is discussed in the paper. A prototype implementation that provides component adaptation across component environments is described. This provides insights into the construction of a Conciliation mechanism. The possibility of leveraging recent technologies to provide adaptation for Web services based on Conciliation is then discussed. Conciliation is a promising approach for adaptation of multiple services.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130845530","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
On the relationships of faults for Boolean specification based testing 基于布尔规范的测试故障关系研究
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948494
M. Lau, Yuen-Tak Yu
{"title":"On the relationships of faults for Boolean specification based testing","authors":"M. Lau, Yuen-Tak Yu","doi":"10.1109/ASWEC.2001.948494","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948494","url":null,"abstract":"Various methods of generating test cases based on Boolean specifications have previously been proposed. These methods are fault-based in the sense that test cases are aimed at detecting particular types of faults. Empirical results suggest that these methods are good at detecting particular types of faults. However, there is no information on the ability of these test cases in detecting other types of faults. The paper summarizes the relationships of faults in a Boolean expression in the form of a hierarchy. A test case that detects the faults at the lower level of the hierarchy will always detect the faults at the upper level of the hierarchy. The hierarchy helps us to better understand the relationships of faults in a Boolean expression, and hence to select fault-detecting test cases in a more systematic and efficient manner.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"353 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128822123","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
A framework for subsystem-based configuration management 基于子系统的配置管理框架
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948521
P. Lindsay, A. MacDonald, P. Strooper, M. Staples
{"title":"A framework for subsystem-based configuration management","authors":"P. Lindsay, A. MacDonald, P. Strooper, M. Staples","doi":"10.1109/ASWEC.2001.948521","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948521","url":null,"abstract":"Existing software configuration management (CM) tools are limited in the support they provide for configuration and change management of hierarchically structured software systems. This paper describes a framework for CM of subsystems-logically coherent collections of software development artefacts, including code, documentation and test sets. The goal is to provide visibility of changes at intermediate levels between whole-system and source-code levels, thereby reducing the complexity of the build V&V and change management processes. The framework supports characterisation of subsystems and changes to subsystems, and provides hooks into change tracking processes.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125458546","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
A framework for an active interface to characterise compositional security contracts of software components 用于活动接口的框架，用于描述软件组件的组合安全契约
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948505
K. Khan, Jun Han, Yuliang Zheng
{"title":"A framework for an active interface to characterise compositional security contracts of software components","authors":"K. Khan, Jun Han, Yuliang Zheng","doi":"10.1109/ASWEC.2001.948505","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948505","url":null,"abstract":"This paper presents a framework for constructing compositional security contracts (CsC) based on the security property exposed by the atomic component. The framework uses interface structure of components in order to determine the CsC of software components. An active interface provides the component a basis for reasoning and assessing a component's suitability to meet certain security requirements of a particular application. Based on the security information available from the component interface, an active interface can reason whether the candidate component meets the security requirements for an envisaged systemwide application. Any security mismatches or discrepancies between components can be identified by the participating components before an actual composition takes place. Exposing the security properties of software components can be the basis for a trust relationship among components, and the exposed security could affect the underlying security of the enclosing system.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126575921","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}
引用次数: 19
下一页 尾页
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学术官方微信