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

Proceedings 1996 Asia-Pacific Software Engineering Conference最新文献

筛选
英文 中文
Simulation model of overlapping development process based on progress of activities 基于活动进度的重叠开发过程仿真模型
Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566748
Hajimu Iida, Jun Eijima, Satushi Yabe, Ken-ichi Matsumoto, K. Torii
{"title":"Simulation model of overlapping development process based on progress of activities","authors":"Hajimu Iida, Jun Eijima, Satushi Yabe, Ken-ichi Matsumoto, K. Torii","doi":"10.1109/APSEC.1996.566748","DOIUrl":"https://doi.org/10.1109/APSEC.1996.566748","url":null,"abstract":"In many cases of small scale software development, downstream activities are actually carried out before upstream activities have completely finished in order to reduce the development time and meet the deadline. However, overlapping activities also increase the total work effort because it demands more communications between activities. It is very important to be able to estimate the tradeoff between development time and total work effort since constraints may be placed on them. The paper proposes a simulation model to describe the overlapping development processes and the effects between overlapped activities. Based on this model, a software process simulator was developed. This simulator is applicable for supporting project planning (scheduling and staffing) with constraints on cycle time and total work effort.","PeriodicalId":407476,"journal":{"name":"Proceedings 1996 Asia-Pacific Software Engineering Conference","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133764371","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 method of checking errors and consistency in the process of object-oriented analysis 一种在面向对象分析过程中检查错误和一致性的方法
Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566755
Do-Hyoung Kim, K. Chong
{"title":"A method of checking errors and consistency in the process of object-oriented analysis","authors":"Do-Hyoung Kim, K. Chong","doi":"10.1109/APSEC.1996.566755","DOIUrl":"https://doi.org/10.1109/APSEC.1996.566755","url":null,"abstract":"It is important to check errors and keep consistency in the process of object-oriented analysis. However, current object-oriented development methodologies fail to present standardized methods to detect errors and to verify consistency. This paper presents a method of checking errors and consistency in object-oriented analysis models using a knowledge base. The method consists of three steps; modeling, formalizing and verifying. In the modeling step, three models are produced: the object model, the dynamic model and the functional model, as in Rumbaugh's OMT (Object Modeling Technique) (1991). In the formalizing step, these three models are transformed into atomic formulae and are stored in an application knowledge base. In the verifying step, the rules for detecting errors and checking consistency are applied. The results of the analysis process for some ATM (Automated Teller Machine) models were used to validate this method. The method is expected to produce more reliable analysis models.","PeriodicalId":407476,"journal":{"name":"Proceedings 1996 Asia-Pacific Software Engineering Conference","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124519890","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
A case study using SAM-safety analysis of PES 应用sam -安全性分析PES的案例研究
Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566756
J. Mcdermid, Shaoying Liu
{"title":"A case study using SAM-safety analysis of PES","authors":"J. Mcdermid, Shaoying Liu","doi":"10.1109/APSEC.1996.566756","DOIUrl":"https://doi.org/10.1109/APSEC.1996.566756","url":null,"abstract":"The safety argument manager, SAM, is a tool to support the process of developing safety cases (Fodder, J. et al., see Proc. Safety-Critical Systems Symposium, Bristol, 1993). In SAM a safety case is expressed by a goal structure and associated solutions. Each solution is expressed in Toulmin argument form (1984). Fault trees can be constructed and attached to a goal. We have constructed the tool SAM, and investigated how these three different notations can be used in developing a real safety case for a complex system by completing a safety case study. This paper presents the case study, using SAM, of the PES (Programmable Electronic Systems) example (PES-programmable electronic systems in safety related applications, Health and Safety Executive, p.80-99, 1987).","PeriodicalId":407476,"journal":{"name":"Proceedings 1996 Asia-Pacific Software Engineering Conference","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126822331","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
Analysis of software process improvement experience using the project visibility index 使用项目可见性指数分析软件过程改进经验
Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566749
Keishi Sakamoto, Naoki Niihara, Toshifumi Tanaka, K. Nakakoji, K. Kishida
{"title":"Analysis of software process improvement experience using the project visibility index","authors":"Keishi Sakamoto, Naoki Niihara, Toshifumi Tanaka, K. Nakakoji, K. Kishida","doi":"10.1109/APSEC.1996.566749","DOIUrl":"https://doi.org/10.1109/APSEC.1996.566749","url":null,"abstract":"Based on the capability maturity model (CMM), process improvement at OMRON, a Japanese microprocessor manufacturer, increased project predictability in three ways: accuracy, variability, and performance. The authors use the project visibility index (PVI) and other measurements to quantitatively demonstrate this. Qualitative analysis of how and why OMRON achieved higher project visibility and increases in the QCD (quality, cost, and delivery on time) factors are supported with data on review-effort ratios and productivity. They identify factors directly affected by high project visibility.","PeriodicalId":407476,"journal":{"name":"Proceedings 1996 Asia-Pacific Software Engineering Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129806427","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
Architectural abstractions and language mechanisms 架构抽象和语言机制
Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566763
B. B. Kristensen
{"title":"Architectural abstractions and language mechanisms","authors":"B. B. Kristensen","doi":"10.1109/APSEC.1996.566763","DOIUrl":"https://doi.org/10.1109/APSEC.1996.566763","url":null,"abstract":"When we apply the mechanisms of an object-oriented language, we form concrete architectures over some domain. Over time, we identify recurring patterns and transform the concrete architectures into more general architectural abstractions. Such abstractions are then used in combination with the language mechanisms to form other kinds of concrete architectures in diagrams and programs: we apply a combination of language mechanisms and architectural abstractions in the modeling and programming process. Our knowledge concerning the needs and possibilities in the modeling process, especially those captured in the architectural abstractions, enables us to invent new language mechanisms, typically abstraction mechanisms. Such abstraction mechanisms replace several architectural abstractions because of the generality of the mechanisms, and because of their integration with other mechanisms of the language: we invent abstraction mechanisms to replace architectural abstractions. \"Software architecture\" is the different styles and manners of building software in terms of the choice and combination of language mechanisms and architectural abstractions. The mutual influence between object-oriented language mechanisms and architectural abstractions is the basis for the further development both of languages and of software architecture.","PeriodicalId":407476,"journal":{"name":"Proceedings 1996 Asia-Pacific Software Engineering Conference","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128217752","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}
引用次数: 28
Formal modelling of large domains 大域的形式化建模
Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566759
Dao Nam Anh, Richard Moore
{"title":"Formal modelling of large domains","authors":"Dao Nam Anh, Richard Moore","doi":"10.1109/APSEC.1996.566759","DOIUrl":"https://doi.org/10.1109/APSEC.1996.566759","url":null,"abstract":"There are many examples of the use of the technique of domain analysis for modelling software systems in the initial stages of their development, although the case studies chosen are often of small systems or of small parts of large systems. We show that the techniques can be as readily applied to very large domains and we show how a manageable formal model of the domain can be obtained by abstracting appropriately. We illustrate this with a case study based on the airline business domain. We also discuss how this formal model can be developed towards software support systems for the airline industry which capture a wide range of different requirements, and how it might be applied more generally.","PeriodicalId":407476,"journal":{"name":"Proceedings 1996 Asia-Pacific Software Engineering Conference","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116750182","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
A dynamic extension for the specifications of distributed systems 分布式系统规范的动态扩展
Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566760
I. A. Hamid
{"title":"A dynamic extension for the specifications of distributed systems","authors":"I. A. Hamid","doi":"10.1109/APSEC.1996.566760","DOIUrl":"https://doi.org/10.1109/APSEC.1996.566760","url":null,"abstract":"Describes an approach for extending distributed system specifications. These specifications are structured as a parallel composition of subsystem specifications. The approach consists of building a new specification S/sub new/ by adding a new behavior described by a specification S/sub added/ to a specification S/sub old/ with preservation of the properties of S/sub old/ and S/sub added/ as well as the structure of S/sub old/. S/sub new/ has all the properties of S/sub old/ and S/sub added/ if S/sub new/ can perform whatever S/sub old/ (and S/sub added/) can perform and if it does not block where S/sub old/ (or S/sub added/) does not block. We apply our approach to extending the functionality of a basic automatic teller machine.","PeriodicalId":407476,"journal":{"name":"Proceedings 1996 Asia-Pacific Software Engineering Conference","volume":"237 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121354472","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
An interaction support mechanism in software development 软件开发中的交互支持机制
Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566741
M. Matsushita, Hajimu Iida, Katsuro Inoue
{"title":"An interaction support mechanism in software development","authors":"M. Matsushita, Hajimu Iida, Katsuro Inoue","doi":"10.1109/APSEC.1996.566741","DOIUrl":"https://doi.org/10.1109/APSEC.1996.566741","url":null,"abstract":"The paper proposes a new modeling method of interactions in the software development process, which focuses on the interactions among the elements of the process, and a new software development environment based on the model. In this method, interactions in the software process are modeled as a set of agents and communication channels. An agent interacts with other agents with channels. Channels are classified according to their content and type of interaction. A prototype of the supporting environment for software development which is based on the model is also developed. The environment consists of a proxy program for the agent and integrated communication server, which provides mechanisms for interaction, process execution, and user navigation.","PeriodicalId":407476,"journal":{"name":"Proceedings 1996 Asia-Pacific Software Engineering Conference","volume":"298 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132706803","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
Towards a learner-centred approach to teaching object-oriented design 朝向以学习者为中心的方法来教授面向对象设计
Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566746
C. Gibbon, C. Higgins
{"title":"Towards a learner-centred approach to teaching object-oriented design","authors":"C. Gibbon, C. Higgins","doi":"10.1109/APSEC.1996.566746","DOIUrl":"https://doi.org/10.1109/APSEC.1996.566746","url":null,"abstract":"Recently, the problems attributed to reaching object-oriented design (OOD) have been likened to those encountered when applying it. The current waterfall approach to teaching OOD adopts a \"lecture, apply and assess\" curriculum that leaves little scope for feedback using iterative and recursive mechanisms touted by object-oriented techniques. The paper reports on a learner-centred approach to teaching object technology at the University of Nottingham, UK. The differences between object-oriented and teaching methods are amplified and a solution expressed in the form of quality enhancing techniques. Design heuristics are employed to pinpoint design anomalies and suggest reparative mechanisms to enhance product quality. A prototypical tool that implements the current catalogue of automatable design heuristics is outlined and progress towards it given.","PeriodicalId":407476,"journal":{"name":"Proceedings 1996 Asia-Pacific Software Engineering Conference","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130980748","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
A method for structural testing of Ada concurrent programs using the Event Interactions Graph 一种使用事件交互图对Ada并发程序进行结构测试的方法
Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566770
T. Katayama, Z. Furukawa, K. Ushijima
{"title":"A method for structural testing of Ada concurrent programs using the Event Interactions Graph","authors":"T. Katayama, Z. Furukawa, K. Ushijima","doi":"10.1109/APSEC.1996.566770","DOIUrl":"https://doi.org/10.1109/APSEC.1996.566770","url":null,"abstract":"Software testing generally proceeds as follows: generating test-cases, selecting test-data, executing a test target program, inspecting execution result and evaluating whether testing has already been sufficient or not yet. As for methods for structural testing of programs, the way using a coverage, where the coverage means what extent given testing criteria are satisfied, is noted. At the evaluating step, whether or not we finish the testing is determined in view of the coverage. This paper proposes a method for structural testing of concurrent programs written in Ada programming language, especially, test-case generation and execution of the programs. The Event InterActions Graph (EIAG) is used as a model for concurrent programs. The EIAG consists of Event Graphs and Interactions. An Event Graph is a control flow graph of a program unit in a concurrent program. The Interactions represent interactions between the program units. Program units are such as procedures, functions and task-types. After generating test-cases on the EIAG, a method for selecting test-data is described and measures to cope with infeasible test-cases with which are generated in this step is clarified. And a forced execution of a test target concurrent program in order to solve the nondeterministic execution is investigated. The nondeterministic execution is characteristic of concurrent programs.","PeriodicalId":407476,"journal":{"name":"Proceedings 1996 Asia-Pacific Software Engineering Conference","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131610249","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}
引用次数: 10
首页 上一页 下一页 尾页
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学术官方微信
小红书