Proceedings of 1996 Australian Software Engineering Conference最新文献

Comparing inspection strategies for software requirement specifications 比较软件需求规范的检查策略

Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534137

B. Cheng, D. R. Jeffery

{"title":"Comparing inspection strategies for software requirement specifications","authors":"B. Cheng, D. R. Jeffery","doi":"10.1109/ASWEC.1996.534137","DOIUrl":"https://doi.org/10.1109/ASWEC.1996.534137","url":null,"abstract":"This paper reports on a laboratory experiment on the use of decomposition strategies in software requirements inspections. The experiment follows on from the work of (Porter et al., 1995) who compared the use of scenarios with ad hoc and checklist techniques, finding (among other things) that the scenario technique was superior. This experiment compares the scenario technique with inspection strategies which are self-set by the inspection team prior to the inspection but after they have seen the documents to be inspected. The specification used was a system developed by a software company for a client in the commercial sector. It was found that the commercial scenarios developed for the experiment were not superior to self-set strategies. This suggests that the benefits to be derived from scenarios are derived through the decomposition process and that experienced people may be able to derive strategies that are at least as good, if not better, than a provided set of scenarios. An advantage we noticed with the provided scenarios was the manner in which this technique could be used to focus the reviewers' attention on particular defect types. This could be used to advantage in industry. The overall findings of this experiment supports and extends the earlier research on inspections.","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":"125709845","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}

引用次数: 52

Consistency issues in partially bound dynamically composed systems 部分绑定动态组合系统中的一致性问题

Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534135

B. Schmerl, C. Marlin

{"title":"Consistency issues in partially bound dynamically composed systems","authors":"B. Schmerl, C. Marlin","doi":"10.1109/ASWEC.1996.534135","DOIUrl":"https://doi.org/10.1109/ASWEC.1996.534135","url":null,"abstract":"Dynamically composed systems are able to incorporate new components as they execute. Therefore, configurations of these systems are not fully elaborated until at least the time that they are executed, and they are perhaps never fully elaborated. Such incomplete configurations are termed partially bound configurations. Although partially bound, it is still important to be able to analyse these configurations to ascertain whether they meet certain assumptions about their composition. We are endeavouring to provide such support for the construction of dynamically composed systems through the application of configuration management concepts. One way in which these concepts can be applied in this domain is to explicitly state such assumptions and hence be able to validate partially bound configurations against these assumptions; in this way, inconsistencies can be reported as soon as they arise. This paper explores some of the issues involved in providing this kind of consistency mechanism for dynamically composed systems. In particular, the paper discusses consistency issues which arise in the context of systems where the generic structure of the system configuration is known, but the decision about which particular components comprise the configuration is deferred until execution.","PeriodicalId":321303,"journal":{"name":"Proceedings of 1996 Australian Software Engineering Conference","volume":"35 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":"133316103","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

Teaching object orientation: patterns and reuse 教授面向对象:模式和重用

Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534125

N. Gray

引用次数: 4

Software visualisation in a generic development environment 通用开发环境中的软件可视化

Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534122

W. Allison, D. Carrington, T. Jones, L. Stewart-Zerba, G. Watson, J. Welsh

引用次数: 3

An algebraic semantics for object-oriented behaviour modeling 面向对象行为建模的代数语义

Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534118

Jan-Willem G. M. Hubbers, A. Hofstede

引用次数: 6

Classification-Hierarchy Table: a methodology for constructing the classification tree 分类层次表:一种构造分类树的方法

Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534127

T. Chen, P. Poon

引用次数: 18

An industrial-strength method for the construction of formally verified software 一种用于构建正式验证软件的工业强度方法

Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534120

P. Lindsay, D. Hemer

引用次数: 7

An application of quantitative techniques to the question of what contributes to a successful software development project 定量技术对成功软件开发项目的贡献的一种应用

Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534129

Ken Mullin, S. Hope

引用次数: 2

The Hierarchical Dependence Diagram: improving design for reuse in object-oriented software development 层次依赖图:改进面向对象软件开发中的重用设计

Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534132

Jing Chen

{"title":"The Hierarchical Dependence Diagram: improving design for reuse in object-oriented software development","authors":"Jing Chen","doi":"10.1109/ASWEC.1996.534132","DOIUrl":"https://doi.org/10.1109/ASWEC.1996.534132","url":null,"abstract":"Object-oriented paradigm promises a high level of reusability in software development. However, by just selecting an object-oriented programming language does not guarantee achieving highly reusable software components. Reusable components have to be designed carefully from the early stage of software development. Among many proposed guidelines for improving software reusability, \"class independence\" is regarded as an important criterion. The guidelines in this category state that the less dependence the class is, the more reusable the class is. However we argue that the use of these guidelines is often very difficult to follow consistently within a group of designers during the design process. This is because the implementation of such guidelines is highly based on individual designer's interpretation and experience. Another problem is that such guidelines are difficult to apply to a large software system, which may consist of hundreds or even thousands of classes. This paper describes a new notation, called the Hierarchical Dependence Diagram (HDD), to support a more systematic use of \"components independence\" guidelines by extending reusable classes to \"clusters\", \"libraries\", and \"platforms\". Our work establishes a solid basis for tool support for improving reusability and can be more effectively applied to the development of large object-oriented software systems.","PeriodicalId":321303,"journal":{"name":"Proceedings of 1996 Australian Software Engineering Conference","volume":"12 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":"127861562","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

Automatic analysis of functional program style 自动分析函数式程序风格

Proceedings of 1996 Australian Software Engineering Conference Pub Date : 1996-07-14 DOI: 10.1109/ASWEC.1996.534121

G. Michaelson

引用次数: 17