2005 Australian Software Engineering Conference最新文献

筛选
英文 中文
Improving goal and role oriented analysis for agent based systems 改进基于智能体系统的目标和角色导向分析
2005 Australian Software Engineering Conference Pub Date : 2005-03-29 DOI: 10.1109/ASWEC.2005.27
Pei Pei Kuan, S. Karunasekera, L. Sterling
{"title":"Improving goal and role oriented analysis for agent based systems","authors":"Pei Pei Kuan, S. Karunasekera, L. Sterling","doi":"10.1109/ASWEC.2005.27","DOIUrl":"https://doi.org/10.1109/ASWEC.2005.27","url":null,"abstract":"The separation between analysis and design phases has long been advocated in software engineering literature. There has been active interest in the area of agent oriented software engineering but the methodologies developed do not focus on a clear separation between the two phases. Furthermore, existing agent oriented methodologies tend to be tied to a particular design architecture and applicable only for small systems. In this paper, we describe a goal and role based analysis methodology that is both unbiased towards any design architecture and is scalable. The model is derived from improvements to the ROADMAP methodology for agent oriented systems developed at the University of Melbourne. We also present REBEL - CASE tool developed to support the methodology. Furthermore, several examples and experiences with the method are discussed. We conclude by comparing analysis models of other agent oriented methodologies to ours.","PeriodicalId":238299,"journal":{"name":"2005 Australian Software Engineering Conference","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124966602","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}
引用次数: 27
A study of the in-practice application of a commercial software architecture 一种商业软件体系结构的实际应用研究
2005 Australian Software Engineering Conference Pub Date : 2005-03-29 DOI: 10.1109/ASWEC.2005.9
R. Barrow, Keith Frampton, M. Hamilton, Bruce Crossman
{"title":"A study of the in-practice application of a commercial software architecture","authors":"R. Barrow, Keith Frampton, M. Hamilton, Bruce Crossman","doi":"10.1109/ASWEC.2005.9","DOIUrl":"https://doi.org/10.1109/ASWEC.2005.9","url":null,"abstract":"In recent years, the size and complexity of information systems have grown, with a resulting increased emphasis on using a software development methodology in the belief that by doing so, the experience of other, more experienced, developers can be re-used. Recent studies however, have found that developers do not adhere rigidly to a methodology, but usually adapt it to their specific needs. Also, the extent to which individual software architects apply a specific software architecture development method in practice is largely unexplored. This paper reports on the in practice use of a proprietary software architecture development method, the IBM Custom Application Design. It describes the current state of understanding of application of software architecture methods, explains the research approach applied, reports on the results of the survey and workshops, and describes possible future work. We found that software architects, like software and requirements engineers, do not adhere rigidly to a method. Furthermore, we have identified that there are multiple levels at which the modification to a method can be undertaken. These are \"Tailoring\", \"Adapting\" and \"Customizing\". We also found that a unique version of a method is created for each project and IBM IT architects rely extensively on tools and techniques for visual communication as one of the key ways in which they work. These are important findings for commercial organizations which develop and/or use methods, and for academic institutions which teach software architecture.","PeriodicalId":238299,"journal":{"name":"2005 Australian Software Engineering Conference","volume":"157 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131816534","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
Software reuse across robotic platforms: limiting the effects of diversity 跨机器人平台的软件重用:限制多样性的影响
2005 Australian Software Engineering Conference Pub Date : 2005-03-29 DOI: 10.1109/ASWEC.2005.42
Glenn Smith, Robert Smith, Aster Wardhani
{"title":"Software reuse across robotic platforms: limiting the effects of diversity","authors":"Glenn Smith, Robert Smith, Aster Wardhani","doi":"10.1109/ASWEC.2005.42","DOIUrl":"https://doi.org/10.1109/ASWEC.2005.42","url":null,"abstract":"Robots have diverse capabilities and complex interactions with their environment. Software development for robotic platforms is time consuming due to the complex nature of the tasks to be performed. Such an environment demands sound software engineering practices to produce high quality software. However software engineering in the robotics domain fails to facilitate any significant level of software reuse or portability. This paper identifies the major issues limiting software reuse in the robotics domain. Lack of standardisation, diversity of robotic platforms, and the subtle effects of environmental interaction all contribute to this problem. It is then shown that software components, fuzzy logic, and related techniques can be used together to provide suitable abstractions to address this problem. While complete software reuse is not possible, it is demonstrated that significant levels of software reuse can be obtained. Without an acceptable level of reuse or portability, software engineering in the robotics domain will not be able to meet the demands of a rapidly developing field. The work presented in this paper demonstrates a method for supporting software reuse across robotic platforms and hence facilitating improved software engineering practices.","PeriodicalId":238299,"journal":{"name":"2005 Australian Software Engineering Conference","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134242678","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
A formal method for program slicing 程序切片的形式化方法
2005 Australian Software Engineering Conference Pub Date : 2005-03-29 DOI: 10.1109/ASWEC.2005.7
Yingzhou Zhang, Baowen Xu, Jose Emilio Labra Gayo
{"title":"A formal method for program slicing","authors":"Yingzhou Zhang, Baowen Xu, Jose Emilio Labra Gayo","doi":"10.1109/ASWEC.2005.7","DOIUrl":"https://doi.org/10.1109/ASWEC.2005.7","url":null,"abstract":"Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a programming language, this paper presents a new formal method for slicing, called modular monadic slicing, by abstracting the computation of slicing as a slice monad transformer. With the use of slice transformer, the feature of program slicing can be combined in a modular way into semantic descriptions of the program analyzed. According to these, this paper gives both monadic dynamic and static slicing algorithms. They compute program slices directly on abstract syntax, without the needs to explicitly construct intermediate structures such as dependence graphs, or to record an execution history in dynamic slicing algorithm.","PeriodicalId":238299,"journal":{"name":"2005 Australian Software Engineering Conference","volume":"146 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124684505","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
A comparison of reverse engineering tools based on design pattern decomposition 基于设计模式分解的逆向工程工具比较
2005 Australian Software Engineering Conference Pub Date : 2005-03-29 DOI: 10.1109/ASWEC.2005.5
F. Fontana, Stefano Masiero, C. Raibulet, F. Tisato
{"title":"A comparison of reverse engineering tools based on design pattern decomposition","authors":"F. Fontana, Stefano Masiero, C. Raibulet, F. Tisato","doi":"10.1109/ASWEC.2005.5","DOIUrl":"https://doi.org/10.1109/ASWEC.2005.5","url":null,"abstract":"The usefulness of design patterns in forward engineering is already well-known and several tools provide support for their application in the development of software systems. While the role of design patterns in reverse engineering is still argued primarily due to their informal definition which leads to various possible implementations of each pattern. One of the most discussed aspects related to design patterns is about the need of their formalization according to the drawbacks this can represent. Formalization leads to the identification of the so-called sub-patterns, which are the recurring fundamental elements design patterns are composed of. In this paper we analyze the role sub-patterns play in two reverse engineering tools: FUJABA and SPQR. Attention is focused on how sub-patterns are exploited to define and to detect design patterns. To emphasize the similarities and differences between the two approaches, the composite design pattern is considered as example.","PeriodicalId":238299,"journal":{"name":"2005 Australian Software Engineering Conference","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126386365","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}
引用次数: 36
Tackling the complexity of requirements engineering process improvement by partitioning the improvement task 通过划分改进任务来处理需求工程过程改进的复杂性
2005 Australian Software Engineering Conference Pub Date : 2005-03-29 DOI: 10.1109/ASWEC.2005.46
U. Nikula, J. Sajaniemi
{"title":"Tackling the complexity of requirements engineering process improvement by partitioning the improvement task","authors":"U. Nikula, J. Sajaniemi","doi":"10.1109/ASWEC.2005.46","DOIUrl":"https://doi.org/10.1109/ASWEC.2005.46","url":null,"abstract":"Software process improvement is a complex and expensive endeavor requiring extensive resources and long term commitment. In the present study software process improvement (SPI) problems in small organizations were tackled by dividing the overall effort into three subtopics: technical infrastructure, working practices, and management infrastructure. Partitioning the SPI efforts into these three subtopics makes it apparent that all of these topics do not need to be tackled in the same way but some tasks can, e.g., be outsourced. In this paper the results of an investigation into the use of the model above in requirements engineering (RE) process improvement are reported from three industrial case studies. A domain specific method was constructed independently of the utilizing companies, i.e., outsourced, and it was then used in SPI efforts in the companies to establish a solid infrastructure for basic RE in a short period of time, with limited resources, and without previous expertise in RE. It is argued that the suggested partitioning can both lower the threshold for initiating software process improvement efforts in industry and increase the likelihood of successfully completing them.","PeriodicalId":238299,"journal":{"name":"2005 Australian Software Engineering Conference","volume":"200 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123021309","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
Curriculum development in educating undergraduate software engineers - are students being prepared for the profession? 培养本科软件工程师的课程开发——学生是否为这个职业做好了准备?
2005 Australian Software Engineering Conference Pub Date : 2005-03-29 DOI: 10.1109/ASWEC.2005.18
Jean-Guy Schneider, L. Johnston, P. Joyce
{"title":"Curriculum development in educating undergraduate software engineers - are students being prepared for the profession?","authors":"Jean-Guy Schneider, L. Johnston, P. Joyce","doi":"10.1109/ASWEC.2005.18","DOIUrl":"https://doi.org/10.1109/ASWEC.2005.18","url":null,"abstract":"The growing importance of software and its role in society places greater emphasis on developing suitably skilled software engineering graduates. In developing suitable curricula, it is vital that we understand standard models of software education, the educational processes and outcomes for the students. This is important not only for students completing a software engineering degree, but also once they have graduated and used their skills as practitioners. Here, we report on a survey of past students who have completed an undergraduate degree in software engineering and compare their perceptions with current efforts to standardise undergraduate software engineering curricula.","PeriodicalId":238299,"journal":{"name":"2005 Australian Software Engineering Conference","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115100668","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
Parsing and semantic modelling for software engineering applications 软件工程应用程序的解析和语义建模
2005 Australian Software Engineering Conference Pub Date : 2005-03-29 DOI: 10.1109/ASWEC.2005.36
Warwick Irwin, C. Cook, N. Churcher
{"title":"Parsing and semantic modelling for software engineering applications","authors":"Warwick Irwin, C. Cook, N. Churcher","doi":"10.1109/ASWEC.2005.36","DOIUrl":"https://doi.org/10.1109/ASWEC.2005.36","url":null,"abstract":"The ability to parse source code, in order to extract information from it, is an essential element of software engineering research and practice. However, serious practical difficulties often arise from factors such as ambiguities in standard grammars and inflexible parsing tools. For example, substantial changes to standard grammars may be needed in order to meet the limitations of parsing engines; this threatens the accuracy, completeness and consistency of the information available. Good parsing on its own is not enough: an inadequate semantic model limits the information available to tool builders. In our work, we have developed an approach to parsing and semantic modelling which addresses issues such as these. Our approach is based on a more flexible LR parser generator which includes the use of generalised LR (GLR) parsing to accommodate ambiguous grammars. This allows us to decouple syntactic and semantic analysis. In this paper, we present our parser generator, yakyacc, and our semantic model for Java, JST, and discuss the benefits of their use in software engineering research. The resulting parsers may be used in a variety of contexts, either as the basis for integrated applications or as components in an application pipeline containing a number of other tools. We illustrate the benefits of our approach with representative examples from two of our current software engineering research projects.","PeriodicalId":238299,"journal":{"name":"2005 Australian Software Engineering Conference","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122829380","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
Merging requirements views with incompleteness and inconsistency 合并不完整和不一致的需求视图
2005 Australian Software Engineering Conference Pub Date : 2005-03-29 DOI: 10.1109/ASWEC.2005.29
Ana Belén Barragáns-Martínez, J. Pazos-Arias, Ana Fernández Vilas
{"title":"Merging requirements views with incompleteness and inconsistency","authors":"Ana Belén Barragáns-Martínez, J. Pazos-Arias, Ana Fernández Vilas","doi":"10.1109/ASWEC.2005.29","DOIUrl":"https://doi.org/10.1109/ASWEC.2005.29","url":null,"abstract":"The purpose of X-SCTUMUS methodology is to support the collaborative development of software requirements specifications. It is a viewpoint-based approach which separates the descriptions provided by different stakeholders, and concentrates on identifying and resolving conflicts between them. X-SCTL/MUS allows the incremental development of each partial model, facilitating the task division and decreasing the development complexity. In order to fulfill all these exigencies, one of its functionalities consists in providing a way to compose requirements from different agents in a merged specification which represents explicitly overspecification and underspecification phenomena and over which, for instance, it is possible to formally verify properties. The main issue in this paper is precisely the description of the composition operator used to obtain the merged model representing the stakeholders' requirements. We will show the criteria employed to select the composition operator that fits the desired characteristics best. Finally, the contribution will be illustrated with a little but explanatory example.","PeriodicalId":238299,"journal":{"name":"2005 Australian Software Engineering Conference","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122430469","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}
引用次数: 15
Refinement laws for verifying library subroutine adaptation 验证库子程序适配的细化规律
2005 Australian Software Engineering Conference Pub Date : 2005-03-29 DOI: 10.1109/ASWEC.2005.40
C. Fidge, P. Robinson, S. Dunne
{"title":"Refinement laws for verifying library subroutine adaptation","authors":"C. Fidge, P. Robinson, S. Dunne","doi":"10.1109/ASWEC.2005.40","DOIUrl":"https://doi.org/10.1109/ASWEC.2005.40","url":null,"abstract":"In component-based software engineering programs are constructed from pre-defined software library modules. However, if the library's subroutines do not exactly match the programmer's requirements, the subroutines' code must be adapted accordingly. For this process to be acceptable in safety or mission-critical applications, where all code must be proven correct, it must be possible to verify the correctness of the adaptations themselves. In this paper we show how refinement theory can be used to model typical adaptation steps and to define the conditions that must be proven to verify that a library subroutine has been adapted correctly.","PeriodicalId":238299,"journal":{"name":"2005 Australian Software Engineering Conference","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130661598","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学术官方微信
小红书