Proceedings 1995 Asia Pacific Software Engineering Conference最新文献

An approach to reverse quality assurance with data-oriented program analysis 用面向数据的程序分析实现逆向质量保证的方法

Proceedings 1995 Asia Pacific Software Engineering Conference Pub Date : 1995-12-06 DOI: 10.1109/APSEC.1995.496981

Y. Kataoka, M. Hirayama, J. Okayasu, T. Fukaya

引用次数: 0

On the analysis of subdomain testing strategies 子域测试策略分析

Proceedings 1995 Asia Pacific Software Engineering Conference Pub Date : 1995-12-06 DOI: 10.1109/APSEC.1995.496970

T. Chen, H. Leung, Yuen-Tak Yu

引用次数: 2

Animating Z: interactivity, transparency and equivalence 动画Z:交互性、透明性和等价性

Proceedings 1995 Asia Pacific Software Engineering Conference Pub Date : 1995-12-06 DOI: 10.1109/APSEC.1995.496978

M. Utting

引用次数: 12

Event interactions graph for test-case generations of concurrent programs 并发程序的测试用例世代的事件交互图

Proceedings 1995 Asia Pacific Software Engineering Conference Pub Date : 1995-12-06 DOI: 10.1109/APSEC.1995.496951

T. Katayama, Z. Furukawa, K. Ushijima

引用次数: 14

Building the structure of specification documents from utterances of requirements elicitation meetings 根据需求引出会议的发言构建规范文档的结构

Proceedings 1995 Asia Pacific Software Engineering Conference Pub Date : 1995-12-06 DOI: 10.1109/APSEC.1995.496955

N. Miura, H. Kaiya, M. Saeki

{"title":"Building the structure of specification documents from utterances of requirements elicitation meetings","authors":"N. Miura, H. Kaiya, M. Saeki","doi":"10.1109/APSEC.1995.496955","DOIUrl":"https://doi.org/10.1109/APSEC.1995.496955","url":null,"abstract":"In the process of requirements elicitation in software development, it is usual for participants with different roles to have a series of meetings and requirements analysts to compose specification documents between the meetings. There have many studies supporting these processes, such as cooperative working models in meetings, tools based on those models, and specification and design methods such as structured analyses and object-oriented analysis. However, there have been no studies describing specification documents based on contents of meetings. Participants communicate verbally with each other, so we consider that an effective method should be based on verbal histories. i.e. utterances appearing in meetings. We propose a method to write specification documents considering that structures of meetings are reflected into structures of specification documents. Briefly, the assumed basis of our method is that analysts put pairs of subsequently discussed topics (we call them \"temporally adjacent topics\") into close positions in the tree structures of the specification documents. We also assess the feasibility and the effectiveness of the method through several experiments and case studies.","PeriodicalId":223965,"journal":{"name":"Proceedings 1995 Asia Pacific Software Engineering Conference","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116500817","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 survey of experiences amongst object-oriented practitioners 面向对象实践者的经验调查

Proceedings 1995 Asia Pacific Software Engineering Conference Pub Date : 1995-12-06 DOI: 10.1109/APSEC.1995.496962

J. Daly, James Miller, A. Brooks, M. Roper, M. Wood

{"title":"A survey of experiences amongst object-oriented practitioners","authors":"J. Daly, James Miller, A. Brooks, M. Roper, M. Wood","doi":"10.1109/APSEC.1995.496962","DOIUrl":"https://doi.org/10.1109/APSEC.1995.496962","url":null,"abstract":"The object-oriented paradigm is becoming increasingly popular as a result of expert opinion and anecdotal evidence and not on the basis of sound empirical data. The questionnaire survey was undertaken as part of a programme of research to validate unsupported claims about the paradigm. The questionnaire follows structured interviews of experienced object-oriented developers with the intention of confirming the findings on a wider practitioner group. It was posted to relevant electronic newsgroups and to members of an object-oriented (postal) mailing list. The survey received 167 responses to the electronic questionnaire and 119 responses (30% response rate) to the postal version. Results show that respondents are of the view that: (i) the object-oriented paradigm has advantages over other paradigms in terms of ease of analysis and design, programmer productivity, software reuse, and ease of maintenance; (ii) inheritance can introduce difficulties when trying to understand object-oriented software; (iii) missing design documentation and poor or inappropriate design are prevalent problems; (iv) maintenance causes degradation of object-oriented software, but less frequently than conventional software; (v) C++ has many deficiencies in comparison to other purer object-oriented languages.","PeriodicalId":223965,"journal":{"name":"Proceedings 1995 Asia Pacific Software Engineering Conference","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126481290","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

Prototyping the structured specification as logic programs 将结构化规范原型化为逻辑程序

Proceedings 1995 Asia Pacific Software Engineering Conference Pub Date : 1995-12-06 DOI: 10.1109/APSEC.1995.496987

Karl R. P. H. Leung, Daniel K. C. Chan

引用次数: 0

Reasoning about Object-Z specifications 关于Object-Z规范的推理

Proceedings 1995 Asia Pacific Software Engineering Conference Pub Date : 1995-12-06 DOI: 10.1109/APSEC.1995.496998

Graeme Smith

引用次数: 19

Software engineering research validation 软件工程研究验证

Proceedings 1995 Asia Pacific Software Engineering Conference Pub Date : 1995-12-06 DOI: 10.1109/APSEC.1995.497006

Ross Jeffety

引用次数: 0

Re-engineering 4GL-based information system applications 重新设计基于4gl的信息系统应用

Proceedings 1995 Asia Pacific Software Engineering Conference Pub Date : 1995-12-06 DOI: 10.1109/APSEC.1995.496994

John V. Harrison, P. Bailes, Anthony Berglas, I. Peake

{"title":"Re-engineering 4GL-based information system applications","authors":"John V. Harrison, P. Bailes, Anthony Berglas, I. Peake","doi":"10.1109/APSEC.1995.496994","DOIUrl":"https://doi.org/10.1109/APSEC.1995.496994","url":null,"abstract":"Most contemporary fourth generation languages (4GL) are tightly coupled with the database, and other subsystems, that are provided by the vendor. As a result, organisations that wish to change database vendors are typically forced to rewrite their applications using the new vendor's 4GL. The anticipated cost of this redevelopment can deter an organisation from changing vendors, hence denying it the benefits that would otherwise result, e.g., the exploitation of more sophisticated database technology. If software reengineering tools existed that could reduce the rewriting effort, the large upfront cost of migrating the organisation's applications would also be reduced, which could make the shift economically feasible. The paper describes several approaches for migrating 4GL based information system applications. These approaches were developed as part of an industry sponsored research project to construct a \"real world\" software re-engineering toolset. Semantic issues identified during the preliminary design of the toolset are addressed. These issues are instantiated using examples from the project. The application of knowledge based software re-engineering technology, which facilitates the implementation of the toolset, is also described.","PeriodicalId":223965,"journal":{"name":"Proceedings 1995 Asia Pacific Software Engineering Conference","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121627430","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