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

Ninth Asia-Pacific Software Engineering Conference, 2002.最新文献

筛选
英文 中文
Specifying and reasoning about generic architecture in TCOZ 在TCOZ中指定和推理通用架构
Ninth Asia-Pacific Software Engineering Conference, 2002. Pub Date : 2002-12-04 DOI: 10.1109/APSEC.2002.1183010
Jing Sun, J. Dong
{"title":"Specifying and reasoning about generic architecture in TCOZ","authors":"Jing Sun, J. Dong","doi":"10.1109/APSEC.2002.1183010","DOIUrl":"https://doi.org/10.1109/APSEC.2002.1183010","url":null,"abstract":"Formal modeling techniques can be used to define and verify software architectures precisely. The paper applies the integrated formal specification technique, Timed Communicating Object Z (TCOZ), to generic software architecture modeling and verification.","PeriodicalId":132364,"journal":{"name":"Ninth Asia-Pacific Software Engineering Conference, 2002.","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125416864","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
On aspect-oriented software architecture: it implies a process as well as a product 关于面向方面的软件体系结构:它意味着过程和产品
Ninth Asia-Pacific Software Engineering Conference, 2002. Pub Date : 2002-12-04 DOI: 10.1109/APSEC.2002.1182997
Masami Noro, Atsushi Kumazaki
{"title":"On aspect-oriented software architecture: it implies a process as well as a product","authors":"Masami Noro, Atsushi Kumazaki","doi":"10.1109/APSEC.2002.1182997","DOIUrl":"https://doi.org/10.1109/APSEC.2002.1182997","url":null,"abstract":"We assume that software architecture is a set of aspects which represent concerns that are multidimensionally separated. Moreover, software architecture is assumed to be not just a product model, but also implying a software process for its implementation. We view the architecture as a set of aspects connected via join points. In this sense, the aspect is the composite component and the join point is the connector. The aspect, in turn, consists of a set of components from a different abstraction level of the development stage. A connector implies an order for the development of connected components. Based on this assumption, the architecture (connectors) defines a partial-order process for development. This paper describes an idea which considers how a software architecture defines the software process in the context of aspect-orientation. We demonstrate how it works with several examples.","PeriodicalId":132364,"journal":{"name":"Ninth Asia-Pacific Software Engineering Conference, 2002.","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126917027","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
Refining object-oriented invariants and dynamic constraints 改进面向对象的不变量和动态约束
Ninth Asia-Pacific Software Engineering Conference, 2002. Pub Date : 2002-12-04 DOI: 10.1109/APSEC.2002.1182975
Jamie Shield, I. Hayes
{"title":"Refining object-oriented invariants and dynamic constraints","authors":"Jamie Shield, I. Hayes","doi":"10.1109/APSEC.2002.1182975","DOIUrl":"https://doi.org/10.1109/APSEC.2002.1182975","url":null,"abstract":"An invariant is a constraint on a class which holds for each externally accessible state of its instances. A dynamic constraint is a dual-state property dictating before to after state behaviour that all methods must adhere to. Both invariants and dynamic constraints are of practical benefit as they allow explicit declaration of high-level behavioural constraints on a class and all its sub-classes. In this paper, formalisations of invariants and dynamic constraints are provided in the refinement calculus. Each is separated into coerced (specification) and extant (implemented or documentation) categories. Refinement rules are provided for strengthening invariants and dynamic constraints. Two separate development paths are identified: (behavioural) sub-classing and private refinement. Refining a class may violate its invariant or dynamic constraint. Sub-classing is a constrained form of refinement that maintains these properties. Revised refinement laws are provided. Private refinement is an alternative to (behavioural) sub-classing. It also maintains properties such as invariants and dynamics constraints and foregoes the constraints of sub-classing. The disadvantage is that private refinement can only be used to implement a class.","PeriodicalId":132364,"journal":{"name":"Ninth Asia-Pacific Software Engineering Conference, 2002.","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124239166","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
An interaction testing technique between hardware and software in embedded systems 嵌入式系统中软硬件交互测试技术
Ninth Asia-Pacific Software Engineering Conference, 2002. Pub Date : 2002-12-04 DOI: 10.1109/APSEC.2002.1183017
A. Sung, Byoungju Choi
{"title":"An interaction testing technique between hardware and software in embedded systems","authors":"A. Sung, Byoungju Choi","doi":"10.1109/APSEC.2002.1183017","DOIUrl":"https://doi.org/10.1109/APSEC.2002.1183017","url":null,"abstract":"An embedded system is an electronically controlled system combining hardware and software. Many systems used in real life such as power plants, medical instrument systems and home appliances are embedded. However, studies related to embedded system testing are insufficient. In embedded systems, it is necessary to develop a test technique to detect faults in interaction between hardware and software. We propose a test data selection technique using fault injection for the interaction between hardware and software. The proposed test data selection technique first simulates behavior of a software program from requirements specification. Hardware faults, after being converted to software faults, are then injected into the simulated program. We finally select effective test data to detect faults caused by the interactions between hardware and software. We apply our technique to a digital plant protection system and evaluate the effectiveness of selected test data through experiments.","PeriodicalId":132364,"journal":{"name":"Ninth Asia-Pacific Software Engineering Conference, 2002.","volume":"272 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122773567","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}
引用次数: 21
Finite-state modeling in software design: some fundamental techniques 软件设计中的有限状态建模:一些基本技术
Ninth Asia-Pacific Software Engineering Conference, 2002. Pub Date : 2002-12-04 DOI: 10.1109/APSEC.2002.1183001
S. Kundu
{"title":"Finite-state modeling in software design: some fundamental techniques","authors":"S. Kundu","doi":"10.1109/APSEC.2002.1183001","DOIUrl":"https://doi.org/10.1109/APSEC.2002.1183001","url":null,"abstract":"Although finite-state models have been used in software modeling for some time, a general method for building and manipulating such models which directly relates to a program's structure is not readily available. We fill this gap by constructing a canonical finite-state model M(P) from the flowchart of a program P. We then present several methods for simplifying M(P) which correspond to creating higher level models for P and to improving P by eliminating its design flaws. Finally, we show that states based on data-values and their abstractions give us greater flexibility in creating finite-state models that can be used in practice to build the models from requirements.","PeriodicalId":132364,"journal":{"name":"Ninth Asia-Pacific Software Engineering Conference, 2002.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129417251","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
Embedding XML processing toolkit on general purpose programming language 在通用编程语言上嵌入XML处理工具包
Ninth Asia-Pacific Software Engineering Conference, 2002. Pub Date : 2002-12-04 DOI: 10.1109/APSEC.2002.1182985
T. Kamina, T. Tamai
{"title":"Embedding XML processing toolkit on general purpose programming language","authors":"T. Kamina, T. Tamai","doi":"10.1109/APSEC.2002.1182985","DOIUrl":"https://doi.org/10.1109/APSEC.2002.1182985","url":null,"abstract":"Many methods for XML processing have been proposed in the last few years. One popular approach is to process XML documents by using existing programming languages. Another popular approach is to create a new programming language specialized to the domain of XML processing. We propose a new approach of constructing XML processors: embedding XML processing language on Lisp. Owing to this approach, we may seamlessly invoke the functions of XML-specific language from Lisp. The other novel features of our approach are shuffle expression pattern matching and dynamic validation of XML documents. A shuffle expression is an extension of a regular expression; it supports a shuffle (interleave) operator that is useful, for example, to represent unordered records such as bibliography data. Dynamic validation makes it possible to validate XML documents with respect to the schema or patterns at run time.","PeriodicalId":132364,"journal":{"name":"Ninth Asia-Pacific Software Engineering Conference, 2002.","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114770910","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
Feature logics and refinement 特征逻辑和细化
Ninth Asia-Pacific Software Engineering Conference, 2002. Pub Date : 2002-12-04 DOI: 10.1109/APSEC.2002.1183008
M. Aiguier, Christophe Gaston, P. L. Gall
{"title":"Feature logics and refinement","authors":"M. Aiguier, Christophe Gaston, P. L. Gall","doi":"10.1109/APSEC.2002.1183008","DOIUrl":"https://doi.org/10.1109/APSEC.2002.1183008","url":null,"abstract":"We present an institution of feature logics which generalises our earlier approach (2001) and define a refinement theory to deal with the complexity of feature interactions in this generic framework, which is one of the main problems encountered when dealing with feature interaction detection. The study of interactions through implementation techniques is still an open problem. The authors furnish answers to encounter this purpose in a logic-independent framework, using algebraic refinement techniques.","PeriodicalId":132364,"journal":{"name":"Ninth Asia-Pacific Software Engineering Conference, 2002.","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116120390","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
A feasible user story tool for agile software development? 一个可行的敏捷软件开发的用户故事工具?
Ninth Asia-Pacific Software Engineering Conference, 2002. Pub Date : 2002-12-04 DOI: 10.1109/APSEC.2002.1182972
M. Rees
{"title":"A feasible user story tool for agile software development?","authors":"M. Rees","doi":"10.1109/APSEC.2002.1182972","DOIUrl":"https://doi.org/10.1109/APSEC.2002.1182972","url":null,"abstract":"User stories form the heart of the Extreme Programming methodology planning game. In its turn, Extreme Programming is one of the supporting pillars of the wider agile software development process. The user stories form a set of central work products that determine the software development processes. In the spirit of Extreme Programming the production of user stories is kept as simple as possible. Traditionally, user stories are hand written on index cards as they are easy to store, display, rearrange and distribute to the co-located development team. However, virtually all other work products of an application development team are in electronic format, and agile software development is increasingly being adopted by teams working from remote locations. In these circumstances distributed development teams look to software solutions for creating and using user stories. This paper surveys some of the tools that are being used and examines their suitability for the task using a set of requirements. As a result of this investigation the author has produced a prototype user story software tool for Agile Software Development called DotStories. The paper concludes by discussing the features of DotStories and its how closely it can approach the ideal user story software tool. Indeed, the proposition that software tools can ever improve on index cards is considered in the light of experience to date.","PeriodicalId":132364,"journal":{"name":"Ninth Asia-Pacific Software Engineering Conference, 2002.","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128770065","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}
引用次数: 61
A quality doctrine for software: do it right the first time 软件质量原则:第一次就做对
Ninth Asia-Pacific Software Engineering Conference, 2002. Pub Date : 2002-12-04 DOI: 10.1109/APSEC.2002.1182988
S. Cross
{"title":"A quality doctrine for software: do it right the first time","authors":"S. Cross","doi":"10.1109/APSEC.2002.1182988","DOIUrl":"https://doi.org/10.1109/APSEC.2002.1182988","url":null,"abstract":"The state of the practice of software engineering can be characterized by a lack of disciplined processes, inattention to security problems, little effort to analyze and maintain system architectures, and ignorance of the intended purpose of software components. The software engineering community needs a doctrine of software quality, which can be captured in three principles: move to the left, reuse everything, and never make the same mistake twice.","PeriodicalId":132364,"journal":{"name":"Ninth Asia-Pacific Software Engineering Conference, 2002.","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117206186","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
An agent-based framework for petroleum information services from distributed heterogeneous data resources 基于代理的分布式异构数据资源石油信息服务框架
Ninth Asia-Pacific Software Engineering Conference, 2002. Pub Date : 2002-12-04 DOI: 10.1109/APSEC.2002.1183095
Chengqi Zhang, Chunsheng Li, Zili Zhang
{"title":"An agent-based framework for petroleum information services from distributed heterogeneous data resources","authors":"Chengqi Zhang, Chunsheng Li, Zili Zhang","doi":"10.1109/APSEC.2002.1183095","DOIUrl":"https://doi.org/10.1109/APSEC.2002.1183095","url":null,"abstract":"For making good decisions in the area of petroleum production, it is becoming a big problem how to timely gather sufficient and correct information, which may be stored in databases, data files, or on the World Wide Web. In this paper, Gaia methodology and Open Agent Architecture were employed to contribute a framework to solve above problem. The framework consists of three levels, namely, role mode, agent type, and agent instance. The model with five roles is analyzed. Four agent types are designed Six agent instances are developed for constructing the system of petroleum information services. The experimental results show that all agents in the system can work cooperatively to organize and retrieve relevant petroleum information. The successful implementation of the framework shows that agent-based technology can significantly facilitate the construction of complex systems in distributed heterogeneous data resource environment.","PeriodicalId":132364,"journal":{"name":"Ninth Asia-Pacific Software Engineering Conference, 2002.","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126867925","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信