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

Proceedings 2001 Australian Software Engineering Conference最新文献

筛选
英文 中文
Knowledge mediation in software quality engineering 软件质量工程中的知识中介
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948509
Bruce A. Philp, B. Garner
{"title":"Knowledge mediation in software quality engineering","authors":"Bruce A. Philp, B. Garner","doi":"10.1109/ASWEC.2001.948509","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948509","url":null,"abstract":"The risk of failure of the software development process remains high despite many attempts to improve the quality of software engineering. Contemporary approaches to process assurance, such as the capability maturity model have not prevented systemic failures, nor have project management methodologies provided guarantees of software quality. The paper proposes an approach to software quality assurance based on a knowledge mediated concurrent audit, which incorporates essential feedback processes. Through a tightly integrated approach to quality audit, programmers would be empowered to use any chosen methodology to advantage, supported by intelligent monitoring of the essential interactions which occur in the development process. An experimental application implementing some aspects of the proposal is described.","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":"121491294","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
Extending the UML for designing Jack agents 扩展用于设计Jack代理的UML
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948502
Michael Papasimeon, C. Heinze
{"title":"Extending the UML for designing Jack agents","authors":"Michael Papasimeon, C. Heinze","doi":"10.1109/ASWEC.2001.948502","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948502","url":null,"abstract":"Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the complexity of any software system development. Despite its origins in object oriented software engineering the UML provides a rich and extensible set of modelling constructs that can be applied to agent oriented technologies. This paper provides details of extensions to the UML for the design of agents that are to be implemented in the JACK language. These extensions provide the capacity to model the behaviour of agents for the purposes of design and, though the extensions are language specific, future generalisation and application to other agent languages can be supported as a industry-wide consensus about the nature of agency emerges over the next few years. This research builds on previously proposed extensions to the UML and moves a step closer to the goal of providing through-life engineering support to agent oriented systems development. This work is motivated by a pressing need to maintain, modify, develop and deploy existing and future agent based simulations of military operations for the Australian Defence Force.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"38 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":"133245300","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}
引用次数: 40
Developing software components with the UML, Enterprise Java Beans and aspects 使用UML、Enterprise Java Beans和方面开发软件组件
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948506
J. Grundy, Rakesh Patel
{"title":"Developing software components with the UML, Enterprise Java Beans and aspects","authors":"J. Grundy, Rakesh Patel","doi":"10.1109/ASWEC.2001.948506","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948506","url":null,"abstract":"Component-based systems have become increasingly popular approaches to developing complex systems, offering well formed abstractions, strong potential for reuse, dynamic plug-and-play and sometimes end-user application enhancement. Unfortunately the design, implementation and deployment of components is very challenging, particularly achieving appropriate division of responsibility among components, designing components and implementing components. We have developed the aspect-oriented component engineering method to help improve component development by the use of aspects during component specification, design, implementation and deployment. We describe our work extending the UML to facilitate aspect-oriented component design and the use of Enterprise Java Beans to implement these designs.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"141 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":"116407870","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
Formalization of UML statechart diagrams in the /spl pi/-calculus 在/spl /-演算中形式化UML状态图
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948515
Vitus S. W. Lam, J. Padget
{"title":"Formalization of UML statechart diagrams in the /spl pi/-calculus","authors":"Vitus S. W. Lam, J. Padget","doi":"10.1109/ASWEC.2001.948515","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948515","url":null,"abstract":"This paper presents a systematic approach for the translation of UML statechart diagrams into the /spl pi/-calculus. The aim of this study is to demonstrate how a semi-formal specification can be transformed to a verifiable specification expressed in the /spl pi/-calculus such that the behaviour of the system can be formally analyzed. The translation covers the major features of statechart diagrams, including internal transitions, triggerless transitions, conflicting transitions, actions, activities, non-concurrent composite states, history pseudostates, concurrent composite states, etc. The desired behavioural properties of statechart diagrams are identified. In addition, the correctness of the translation is proved by showing that the /spl pi/-calculus expressions satisfy these behavioural properties.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"25 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":"122042090","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}
引用次数: 11
An environment for specifying and verifying security properties 用于指定和验证安全属性的环境
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948514
Andre Renaud, P. Krishnan
{"title":"An environment for specifying and verifying security properties","authors":"Andre Renaud, P. Krishnan","doi":"10.1109/ASWEC.2001.948514","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948514","url":null,"abstract":"In this article we present an environment in which a variety of protocols can be analysed. The input accepted by the tool is a description of the protocol in a language similar to CAPSL. We extend CAPSL with a generalised form of control (e.g., parallelism and choice), explicit support for mutable state and expressing a variety of dependencies. The language also supports the specification of the security analyses that need to be performed. To effect the security analysis we translate the protocol into a suitable input for the theorem prover PVS. The proofs are then carried out in PVS. The tool automatically generates the lemmas required to prove the key theorems. These lemmas essentially describe simple, but key, properties of the possible messages. The tool also generates strategies to prove the lemmas and the main theorems.","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":"130433892","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
Individual reviewer contribution to the effectiveness of software inspection teams 单个评审人员对软件检查团队效率的贡献
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948510
H. Petersson
{"title":"Individual reviewer contribution to the effectiveness of software inspection teams","authors":"H. Petersson","doi":"10.1109/ASWEC.2001.948510","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948510","url":null,"abstract":"Since Michael Fagan first described inspections in 1976, much literature has been written describing the results from investigations, evaluations and use of inspections. Many research papers report on how an inspection team's size affects the efficiency and effectiveness of inspections. This study puts the individual reviewer and the contribution he or she makes to the team's effectiveness in focus. To illustrate the magnitude of the impact an individual reviewer has and the difference in contribution between the best and the worst reviewer, data from a number of empirical inspection experiments is analysed. The lost effectiveness is found to be in average 0.16 when removing one reviewer from a two-reviewer team down to 0.04 for six-reviewer teams.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"28 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":"133481219","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
Pattern-based reuse of successful designs: usability of safety-critical systems 成功设计的基于模式的重用:安全关键系统的可用性
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948495
M. Mahemoff, A. Hussey, L. Johnston
{"title":"Pattern-based reuse of successful designs: usability of safety-critical systems","authors":"M. Mahemoff, A. Hussey, L. Johnston","doi":"10.1109/ASWEC.2001.948495","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948495","url":null,"abstract":"Users of safety-critical systems are expected to effectively control or monitor complex systems, with errors potentially leading to catastrophe. For such systems, safety is of paramount importance and must be designed into the human-machine interface. While many case studies show how inadequate design practice led to poor safety and usability, concrete guidance on good design practices is scarce. The paper argues that the pattern language paradigm, widely used in the software design community, is a suitable means of documenting appropriate design strategies. We discuss how typical usability-related properties (e.g., flexibility) need some adjustment to be used for assessing safety-critical systems, and document a pattern language, based on corresponding \"safety-usability\" principles.","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":"131007543","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
Evaluation of virtual world systems 虚拟世界系统的评估
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948503
K. Pulo, M. Houle
{"title":"Evaluation of virtual world systems","authors":"K. Pulo, M. Houle","doi":"10.1109/ASWEC.2001.948503","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948503","url":null,"abstract":"A virtual world system is an artificial environment, created inside a computer, which mimics some aspect of the real world. These systems are multiuser allowing many people to be present and to interact simultaneously in the virtual world. The performance of virtual world systems is important because the quality of the user's experience depends on the responsiveness of the system. This paper looks at issues involved in evaluating the performance of such multiuser virtual world systems. A flexible, object-oriented framework is presented for supporting these evaluations experimentally. As an example of its usage, this framework is applied to real virtual world system and some results are presented and discussed.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"33 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":"121311274","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
Testing Java monitors through deterministic execution 通过确定性执行测试Java监视器
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948498
C. Harvey, P. Strooper
{"title":"Testing Java monitors through deterministic execution","authors":"C. Harvey, P. Strooper","doi":"10.1109/ASWEC.2001.948498","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948498","url":null,"abstract":"Java is a popular, modern programming language that supports monitors. However, monitor implementations, like other concurrent programs, are hard to test due to the inherent non-determinism. The paper presents a method for testing Java monitors, which extends the work of P. Brinch Hansen (1978) on testing Concurrent Pascal monitors. A monitor is tested by executing a concurrent program in which the processes are synchronised by a clock to make the sequence of interactions deterministic and reproducible. The method is extended to account for the differences between Concurrent Pascal monitors and Java monitors, and to provide additional coverage of the implementation under test. Tool support and documentation in the form of a test plan are also provided. The method is illustrated in detail on an asymmetric producer-consumer monitor, which is the same example that was used to illustrate the original method. The application of the method to the readers and writers problem is also discussed.","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":"123767683","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
Assessing usability from formal user-interface designs 从正式的用户界面设计评估可用性
Proceedings 2001 Australian Software Engineering Conference Pub Date : 2001-08-27 DOI: 10.1109/ASWEC.2001.948496
A. Hussey, Ian MacColl, D. Carrington
{"title":"Assessing usability from formal user-interface designs","authors":"A. Hussey, Ian MacColl, D. Carrington","doi":"10.1109/ASWEC.2001.948496","DOIUrl":"https://doi.org/10.1109/ASWEC.2001.948496","url":null,"abstract":"The authors demonstrate the usability analysis of Object-Z user-interface designs. Usability can be defined in terms of five salient properties of an interactive system: task efficiency, reuse, user-computer communication, robustness and flexibility Formal user interface designs have been advocated as a basis for determining the usability of an interactive system prior to the expense of system development. However, to date, a comprehensive demonstration of the utility of formal designs for this purpose has not been forthcoming. We investigate the limitations of model-based methods, such as Object-Z as a basis for analysis of user interface designs.","PeriodicalId":360336,"journal":{"name":"Proceedings 2001 Australian Software Engineering Conference","volume":"26 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":"122015372","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学术官方微信