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

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

筛选
英文 中文
/spl mu/-Charts and Z: examples and extensions /spl mu/-Charts and Z:示例和扩展
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896707
Greg Reeve, S. Reeves
{"title":"/spl mu/-Charts and Z: examples and extensions","authors":"Greg Reeve, S. Reeves","doi":"10.1109/APSEC.2000.896707","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896707","url":null,"abstract":"/spl mu/-Charts are a way of specifying reactive systems, i.e. systems which are in some environment to which they have to react, based on the well-established formalism Statecharts. This paper gives (very abbreviated) examples of translating /spl mu/-charts to Z, which is itself a well-established language for specifying computational systems with tried and tested methods and support tools which guide its effective use in systems development. We undertake this translation in order that investigation of the modelled system can be performed before expensive and lengthy implementation is considered. We also present an extension of the /spl mu/-charts and the related Z to deal with a simple command language, local variables and integer-valued signals.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"25 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":"127737891","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
Evaluation of inspectors' defect estimation accuracy for a requirements document after individual inspection 评估检验员在个别检验后对需求文件缺陷估计的准确性
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896688
S. Biffl, T. Grechenig, M. Köhle
{"title":"Evaluation of inspectors' defect estimation accuracy for a requirements document after individual inspection","authors":"S. Biffl, T. Grechenig, M. Köhle","doi":"10.1109/APSEC.2000.896688","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896688","url":null,"abstract":"Project managers need timely feedback on the quality of development products to monitor and control project progress. Inspection is an effective method to identify defects and to measure product quality. Objective and subjective models can be used to estimate the total number of defects in a product based on defect data from inspection. This paper reports on a controlled experiment to evaluate the accuracy of individual subjective estimates of developers, who had just before inspected the document, on the number of defects in a software requirements specification. In the experiment most inspectors underestimated the total number of defects in the document. The number of defects reported and the number of (major) reference defects found were identified as factors that separated groups of inspectors who over- or underestimated on average.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"18 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":"126125438","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
Requirements engineering and strategic decision exploration: an area for interdisciplinary research 需求工程和战略决策探索:一个跨学科的研究领域
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896691
N. Mehandjiev, C. Gaskell
{"title":"Requirements engineering and strategic decision exploration: an area for interdisciplinary research","authors":"N. Mehandjiev, C. Gaskell","doi":"10.1109/APSEC.2000.896691","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896691","url":null,"abstract":"Advances in strategic decision exploration and requirements engineering have brought about areas of overlap between them. We explore the areas of overlap as a mechanism for transferring ideas and approaches between the two disciplines. We exemplify the argument by showing how the \"live models\" approach can be applied to both contexts, based on the results of a pilot interdisciplinary project.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"15 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":"115238591","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
Deriving test cases using class vectors 使用类向量派生测试用例
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896693
Karl R. P. H. Leung, W. Wong
{"title":"Deriving test cases using class vectors","authors":"Karl R. P. H. Leung, W. Wong","doi":"10.1109/APSEC.2000.896693","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896693","url":null,"abstract":"A classification trees is one method of generating test cases from specifications. It partitions the input domain into a number of classifications. A classification tree is created to depict the relationship among the classifications. Test cases are then derived from this tree. However, classification trees have a number of shortcomings. Their expressive power is limited by the tree structure. They also rely heavily on human decisions in selecting test cases. This paper introduces an alternative approach to the generation of test cases. We first define classifications and classes formally. Then, we analyze the relations among classes and classifications and express these relations as class vectors. Test cases are then derived from the Cartesian product of vector partitions. The expressive power of vectors is better than that of a tree structure, and hence can be applied in some systems where test cases are complicated. Furthermore, more of the information obtained in the specifications is utilized. Hence, the amount of human decision-making is minimized.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"16 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":"115257185","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
Unifying theories of healthiness condition 健康状况的统一理论
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896685
Jifeng He, C. Hoare
{"title":"Unifying theories of healthiness condition","authors":"Jifeng He, C. Hoare","doi":"10.1109/APSEC.2000.896685","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896685","url":null,"abstract":"A theory of programming starts with a complete Boolean algebra of specifications, and defines healthiness conditions which exclude infeasibility of implementation. These are expressed as algebraic laws useful for transformation and optimisation of designs. Programming notations and languages must be restricted to those preserving all the healthiness conditions. We have explored a wide range of programming paradigms, including nondeterministic, sequential, parallel, logical and probabilistic. In all cases, we have found a single healthiness condition, formalised by constructions due to Karoubi and to Kleisli. The uniformity maintains for all paradigms a single notion of correctness throughout the chain that leads from specification through designs to programs that are proved to meet the original specification.","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":"122225296","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
Goal based agent-oriented software modeling 基于目标的面向代理的软件建模
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896714
Kenha Park, Jintae Kim, S. Park
{"title":"Goal based agent-oriented software modeling","authors":"Kenha Park, Jintae Kim, S. Park","doi":"10.1109/APSEC.2000.896714","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896714","url":null,"abstract":"This paper presents a goal based modeling method for an agent-oriented software system. In modeling research for agent-oriented software, problems often emerged in that the properties of an agent system were not efficiently reflected in the development phase (analysis, design, etc.), because the techniques based on the other software paradigm are adopted to develop agent-oriented software. The result of analysis differs depending on which paradigm is used. An agent is goal-oriented, which necessitates a shift in paradigm. Therefore, the modeling method for an agent system should start from the concept of goal.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"47 7","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120893358","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}
引用次数: 15
Reusable integrated components of inter-related patterns for software development 用于软件开发的相互关联模式的可重用集成组件
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896721
D. Ram, M. Sreekanth
{"title":"Reusable integrated components of inter-related patterns for software development","authors":"D. Ram, M. Sreekanth","doi":"10.1109/APSEC.2000.896721","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896721","url":null,"abstract":"Patterns are a means for capturing experience in solving general problems. They give general solutions to common and recurring problems. They exist at various phases of the software development life-cycle (SDLC), namely the analysis phase, the design phase, the coding phase and the testing phase. Patterns in each phase are identified independently. It is possible for the patterns of one phase to be related to patterns in other phases. This paper proposes pattern mapping to inter-relate the patterns of various phases in SDLC to address this issue. It is advantageous to capture the related patterns of different phases as a single unit for software development. Reusable integrated components (ICs) of patterns are proposed to capture the related patterns. A software IC is a group of inter-related patterns, that gives solutions for a recurring problem at various phases of SDLC. A representation mechanism for ICs is presented using the URA (Unified Representation of an Artifact) model, which captures the software development process. Also, this paper proposes a software development process that is based on reusable ICs of patterns. The representation of a software project developed using ICs is also discussed.","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":"123110716","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
PMF/GRIP a framework for the development and implementation of reuse models PMF/GRIP是用于开发和实现重用模型的框架
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896712
Volker H. Schroeter
{"title":"PMF/GRIP a framework for the development and implementation of reuse models","authors":"Volker H. Schroeter","doi":"10.1109/APSEC.2000.896712","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896712","url":null,"abstract":"Reuse in software development has received increasing attention over the past three decades from both practitioner and researchers alike. Many reuse models have been proposed, and many reuse projects have been launched with the aim to improve software quality and productivity. Despite reports of reuse successes and a continuing interest in the subject, reuse has not found its way into the mainstream software engineering practice. Already a decade ago reuse experts began to study the gap between reuse theory and practice, and they separated the facts from the myths. It became widely acknowledged that reuse is a complex endeavor, dependant on numerous factors, potentially involving many methods and most notably being influenced by human perception. However, to this day no reuse standard has emerged in the field that would address all of the complexity and at the same time strike a balance between comprehensiveness and applicability. This paper proposes a generic adaptive reuse framework for the incremental development of comprehensive and applicable reuse models. In order to facilitate the use of the framework, it has been embedded into a rudimentary process model, both framework and process model are open for adaptation. An attempt was made to address and manage the complexity of reuse planning, implementation and evaluation.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"72 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132288639","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 framework for risk analysis in software engineering 软件工程中风险分析的框架
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896732
G. Roy, T. Woodings
{"title":"A framework for risk analysis in software engineering","authors":"G. Roy, T. Woodings","doi":"10.1109/APSEC.2000.896732","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896732","url":null,"abstract":"The paper is concerned with the risks associated with software development and with the range of factors that can impact on the quality of the project management process. The management goal is to mitigate these risks leaving the project plan as unperturbed as possible. To achieve this goal risk analysis must attempt to identify the high risk elements of the project, provide ways of documenting the impacts of risk mitigation strategies and review the risks on a continuing basis as the project proceeds. A model is proposed for such risk analysis and to demonstrate its realization in a risk management tool, ProRisk.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"50 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":"127682818","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
Component-based application development on architecture of a model, UI and components 基于组件的应用程序开发基于模型、UI和组件的体系结构
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 Pub Date : 2000-12-05 DOI: 10.1109/APSEC.2000.896719
Takeshi Chusho, Hisashi Ishigure, Naoyuki Konda, Tomoaki Iwata
{"title":"Component-based application development on architecture of a model, UI and components","authors":"Takeshi Chusho, Hisashi Ishigure, Naoyuki Konda, Tomoaki Iwata","doi":"10.1109/APSEC.2000.896719","DOIUrl":"https://doi.org/10.1109/APSEC.2000.896719","url":null,"abstract":"The explosive increase in end-user computing on distributed systems requires that end users develop application software by themselves. One solution is given as the formula \"a domain model /spl equiv/ a computation model\", which implies that one task in cooperative work corresponds to one object in an object-oriented model. The application development environment M-base supports this formula. The application architecture is fixed and is composed of a model, a user interface (UI) and components. At the first stage, the system behavior is expressed as a message-driven model by using a modeling tool while focusing on message flow and components. At the second stage, a UI is generated automatically and may be customized if necessary. Then transition diagrams of UIs are generated automatically and used for confirmation of external specifications of the application. Finally, the system behavior is verified by using a simulation tool. This component-based development process is confirmed by a feasibility study on a given problem of the IPSJ sigRE group.","PeriodicalId":404621,"journal":{"name":"Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000","volume":"178 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":"124923265","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}
引用次数: 13
首页 上一页 下一页 尾页
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学术官方微信