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

Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000最新文献

筛选
英文 中文
Creating a process for transitioning to object technology 创建一个过渡到对象技术的过程
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896731
B. Henderson-Sellers, M. Serour
{"title":"Creating a process for transitioning to object technology","authors":"B. Henderson-Sellers, M. Serour","doi":"10.1109/APSEC.2000.896731","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896731","url":null,"abstract":"Object-oriented methodologies and processes advise on how a project team can use object technology to create a software-intensive system. While they offer good advice on software development, they are inadequate in terms of how the organization (or the project team) should change its operational culture to one that uses object technology effectively. In other words, while the process of software development is spelled out with these new OO methodologies, what is needed is a process to put this software development process into operation. We describe how such a process can be created and utilized in engendering change management from a traditional to an OO software development culture.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132163540","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}
引用次数: 18
A distributed component architecture for a large telecommunication application 大型电信应用程序的分布式组件体系结构
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896698
Henrik Hermansson, M. Johansson, L. Lundberg
{"title":"A distributed component architecture for a large telecommunication application","authors":"Henrik Hermansson, M. Johansson, L. Lundberg","doi":"10.1109/APSEC.2000.896698","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896698","url":null,"abstract":"The telecommunication domain contains many performance-demanding applications. These applications must also be flexible in order to meet new and changing requirements in a fast and cost-effective way. We have studied one such application-the Ericsson Billing Gateway. In order to reduce the cost for introducing new functionality, we broke up the application into distributable components. At the same time, we tried to keep the same or better performance characteristics. A prototype was implemented and compared to the existing application. The evaluations showed that the new architecture was not only easier to change; it also increased the throughput and scalability.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116053965","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}
引用次数: 17
Tailoring test process by using the component-based development paradigm and the XML technology 使用基于组件的开发范例和XML技术裁剪测试过程
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896720
Jooyoung Seo, Byoungju Choi
{"title":"Tailoring test process by using the component-based development paradigm and the XML technology","authors":"Jooyoung Seo, Byoungju Choi","doi":"10.1109/APSEC.2000.896720","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896720","url":null,"abstract":"ISO (International Standardization Organization) and the IEC (International Electrotechnical Commission) provide numerous standards for software products and processes. Utilizing those standards specific to a project requires some tailoring to meet the development domain. This paper includes: (1) a test process meta-model, which is a test process defined in standards; (2) \"a scheme for tailoring processes\" following a component-based development customization technique; and (3) AutoTP, an \"automation tool for tailoring\", which is derived from XML techniques. AutoTP is a tool in which a standard test process automatically generates a tailored test process by means of a methodology and a domain. In addition, the Rational Objectory process is used as an empirical study in this paper.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114768514","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
The support tool for highly reliable component-based software development 高度可靠的基于组件的软件开发的支持工具
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896696
M. Matsumoto, K. Futatsugi
{"title":"The support tool for highly reliable component-based software development","authors":"M. Matsumoto, K. Futatsugi","doi":"10.1109/APSEC.2000.896696","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896696","url":null,"abstract":"We discuss a support tool for highly reliable component-based software development. The tool assures the high reliability of the output by verifying refinement and by generating connectors. The advantages of the tool are automated refinement verification and automated connector generation. As a software architecture for component-based software, we select the tree architecture, in which components are represented by a projection-style behavioral specification. The input of the tool is: (a) a requirement specification of the target software, (b) a refined specification specifying how to combine the components, and (c) the components themselves. (a) and (b) are projection-style behavioral specifications, while (c) are JavaBeans. The output of the tool is JavaBeans that are obtained by combining (c) and the generated connectors.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114838350","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
Co-development of real-time systems and their simulation environments 共同开发实时系统及其仿真环境
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896677
K. Kang, Ji Y. Lee, Hye J. Kim
{"title":"Co-development of real-time systems and their simulation environments","authors":"K. Kang, Ji Y. Lee, Hye J. Kim","doi":"10.1109/APSEC.2000.896677","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896677","url":null,"abstract":"A real-time system consists of control software, the hardware controlled by the software, and the environment that physically interacts with the controlled hardware. Simulating control software with simplistic assumptions of the environment characteristics is not sufficient for meaningful real-value simulation. The hybrid systems development methods with their simulation environment are a good solution that provides meaningful real-value co-simulation of the target system and its execution environment. It also gives the results that might be gathered when using on-line test-beds. The problem with most of such methods is that the integration and simulation take place too late because they are done after the target system and its environment are fully developed. This paper shows a co-development method, and its supporting environment, which facilitates the repetitive testing of on-going system specifications.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"48 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130823037","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
Reasoning about real-time programs using idle-invariant assertions 对使用空闲不变量断言的实时程序进行推理
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896678
I. Hayes
{"title":"Reasoning about real-time programs using idle-invariant assertions","authors":"I. Hayes","doi":"10.1109/APSEC.2000.896678","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896678","url":null,"abstract":"We develop a set of laws for reasoning about real-time programs using assertions (preconditions and postconditions) in the style of Hoare. In the real-time context assertions may refer to the current time and to the value of external inputs, which are not under the direct control of the program and hence not guaranteed to be stable with respect to the passage of time (even if the program does not modify any of the variables under its control). Hence in order to reason about real-time programs, we make use of idle-invariant assertions: assertions that are invariant to just the passage of time.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134339264","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}
引用次数: 3
Monitoring facilities in languages supporting development of concurrent self-measurement programs 支持并发自我测量程序开发的语言监控设施
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896687
Yusuke Nonaka, K. Ushijima, Jingde Cheng
{"title":"Monitoring facilities in languages supporting development of concurrent self-measurement programs","authors":"Yusuke Nonaka, K. Ushijima, Jingde Cheng","doi":"10.1109/APSEC.2000.896687","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896687","url":null,"abstract":"Large-scale and highly reliable concurrent systems are more and more required and it is indispensable for them to keep on measuring and monitoring in order to ensure their reliability. Some systematic method for developing self-measurement concurrent systems has been needed. Self-measurement programs may be difficult to be developed and maintained in a conventional environment for development. This paper presents the concept of the measurement handler, which is an approach to support development of self-measurement systems with programming languages. As a concrete example, we present the programming language Ada MH, which is an extension of Ada 95 with the measurement handler. In this paper, implementation of a processing system for Ada MH is also presented.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121910542","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
Platforms for agent-oriented software engineering 面向代理的软件工程平台
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896737
M. Nowostawski, Geoff Bush, M. Purvis, Stephen Cranefield
{"title":"Platforms for agent-oriented software engineering","authors":"M. Nowostawski, Geoff Bush, M. Purvis, Stephen Cranefield","doi":"10.1109/APSEC.2000.896737","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896737","url":null,"abstract":"The use of modelling abstractions to map from items in the real-world to objects in the computational domain is useful both for the effective implementation of abstract problem solutions and for the management of software complexity. This paper discusses the new approach of agent-oriented software engineering (AOSE), which uses the notion of an autonomous agent as its fundamental modelling abstraction. For the AOSE approach to be fully exploited, software engineers must be able to gain leverage from an agent software architecture and framework, and there are several such frameworks now publicly available. At the present time however there is little information concerning the options that are available and what needs to be considered when choosing or developing an agent framework. We consider three different agent software architectures that are (or will be) publicly available and evaluate some of the design and architectural differences and trade-offs that are associated with them and their impact on agent-oriented software development. Our discussion examines these frameworks in the context of an example in the area of distributed information systems.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129761160","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}
引用次数: 12
A process logic for distributed system synthesis 分布式系统综合的过程逻辑
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896684
Yoshinao Isobe, K. Ohmaki
{"title":"A process logic for distributed system synthesis","authors":"Yoshinao Isobe, K. Ohmaki","doi":"10.1109/APSEC.2000.896684","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896684","url":null,"abstract":"We define a process algebra DS@ to formally describe distributed systems and a process logic SP@ to formally describe their specifications. Then, we present a method to synthesize a distributed system (described in DS@) from given specifications (described in SP@). The main contribution is to show how to check the satisfiability of process logic in which concurrent behavior is distinct from interleaving behavior (i.e. considering true concurrency).","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117012351","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
A semantic model of a small typed functional language using Object-Z 一个使用Object-Z的小型类型函数式语言的语义模型
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896706
W. Tan
{"title":"A semantic model of a small typed functional language using Object-Z","authors":"W. Tan","doi":"10.1109/APSEC.2000.896706","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896706","url":null,"abstract":"The Object-Z notation is a good meta-language that can be used to specify the denotational semantics of programming languages. It has been effectively applied to some categories of languages. These include the procedural languages, the object-oriented procedural languages and specification languages. To widen these categories, this paper applies Object-Z to the specification of the semantics of a small typed functional language.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122403741","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
首页 上一页 下一页 尾页
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学术官方微信