Proceedings 1996 Asia-Pacific Software Engineering Conference最新文献_第2页

New software components with an autonomous changing mechanism 具有自主更改机制的新软件组件

Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566750

Katsuhisa Maruyama, Kenichi Shima

引用次数: 2

Design and implementation of dynamically reconstructing system software 动态重构系统软件的设计与实现

Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566762

Kazuhiko Kashiwagi, K. Saisho, A. Fukuda

{"title":"Design and implementation of dynamically reconstructing system software","authors":"Kazuhiko Kashiwagi, K. Saisho, A. Fukuda","doi":"10.1109/APSEC.1996.566762","DOIUrl":"https://doi.org/10.1109/APSEC.1996.566762","url":null,"abstract":"In traditional operating systems, there are many weak points. In monolithic kernel-based operating systems, many functions have been implemented in the kernel to satisfy various requests from user applications. As a result, the kernel itself has become more complex and bigger than expected, and many weak points have been appeared in it. A microkernel-based operating system improves the weak points of a monolithic kernel-based one by separating the kernel itself from the kernel functions (called system servers). In such a system, a microkernel architecture is supplied for flexibility and expansibility, but there are weak points in that structure too. In order to get over the weak points of traditional operating systems, a new operating system architecture is needed. In this paper, a new kernel structure is suggested. It enables one to reconstruct kernel functions dynamically at execution time, but there are some problems with realizing such a kernel. In this paper, we describe how to divide kernel functions into multiple modules and how to implement the suggested kernel. By implementing and evaluating a prototype of the kernel, the effectiveness of the suggested kernel architecture is confirmed.","PeriodicalId":407476,"journal":{"name":"Proceedings 1996 Asia-Pacific Software Engineering Conference","volume":"28 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":"116374333","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

The telephone directory enquiry system of Hong Kong 香港电话簿查询系统

Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566761

K. Chow, Tak Wah Tak Wah, K. Lee

引用次数: 1

Verification via digitized models of real-time hybrid systems 通过数字化模型验证实时混合系统

Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566735

D. Hung, Ko Kwang Il

引用次数: 16

A framework of generating software process including milestones for object-oriented development method 面向对象开发方法中包含里程碑的软件过程生成框架

Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566747

N. Hanakawa, Hajimu Iida, Ken-ichi Matsumoto, K. Torii

{"title":"A framework of generating software process including milestones for object-oriented development method","authors":"N. Hanakawa, Hajimu Iida, Ken-ichi Matsumoto, K. Torii","doi":"10.1109/APSEC.1996.566747","DOIUrl":"https://doi.org/10.1109/APSEC.1996.566747","url":null,"abstract":"One of the major problems in object-oriented software projects is the lack of management ability to comprehend and control the development progress of a project. This is because traditional phases of software development are not appropriate for object-oriented development. The project manager's \"road map\" is likely to be different with different phases, different milestones, and different checkpoints. The paper proposes a new framework which gives one a rigorous guideline for generating software process with relevant milestones for various kinds of software development methods, especially for object-oriented development methods. The framework provides algorithms for identifying development phases and baseline products based on relationships among activities and products of the development method. In addition, the framework defines a software process model to manage a development progress in which milestones are established at the end of each phase in order to check the baseline product and establish goals for the following phase. Results of the application of the proposed framework show that the framework can generate a software process customized for well-known object-oriented development methods in a systematic way.","PeriodicalId":407476,"journal":{"name":"Proceedings 1996 Asia-Pacific Software Engineering Conference","volume":"39 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":"124366545","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

Real-time system design tools for RTO.e (real-time object.extended) 实时系统设计工具的RTO。E(实时对象。扩展)

Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566772

B. K. Ahn, Seung-Min Yang, Joong-Sup Choi, Moon-hae Kim

引用次数: 1

Resonance interface: proposal of a framework for design environment 共振接口:设计环境框架的建议

Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566764

Masao Ito, Koichi Kishida

{"title":"Resonance interface: proposal of a framework for design environment","authors":"Masao Ito, Koichi Kishida","doi":"10.1109/APSEC.1996.566764","DOIUrl":"https://doi.org/10.1109/APSEC.1996.566764","url":null,"abstract":"It is important to capture information about how a software design is performed. We can use this information not only to modify artifacts during the maintenance phase, but also to share or improve our ability during the design phase itself. The strategy of making designers write down their processes explicitly does not work well. Such recording activities interrupt and disturb the design process, and some implicit knowledge is involved that is difficult to represent. If we can refer to explicit representations as \"points\" on a time axis then, in order to capture the design process authentically, we must also treat the \"lines\" linking these points. We propose a resonance interface which can treat these \"line-parts\" of the design process. The proposal suggests an innovative human-computer interface based upon cognitive science theory. This new interface can capture the software designer's creative work microscopically by using a primitive dynamic \"image schema\". It is possible to compact and also to integrate the fragments of the software design process in terms of these image schemas. In this paper, we present the effectiveness of our resonance interface from the viewpoint of its usability and its capability to capture and record design processes. The former is related to what is known as the designer's tacit knowledge acquisition. The latter is related to consolidation of the captured knowledge on a higher level.","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":"131385474","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}

引用次数: 0

A prototype of a concurrent behavior monitoring tool for testing of concurrent programs 用于测试并发程序的并发行为监控工具的原型

Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566769

E. Itoh, Z. Furukawa, K. Ushijima

{"title":"A prototype of a concurrent behavior monitoring tool for testing of concurrent programs","authors":"E. Itoh, Z. Furukawa, K. Ushijima","doi":"10.1109/APSEC.1996.566769","DOIUrl":"https://doi.org/10.1109/APSEC.1996.566769","url":null,"abstract":"Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce different results with the same input data according to execution timings of the program. In testing of concurrent programs, test data must specify not only input data but also sequences of statements. Ordered Sequence Testing Criterion for length k (OSC/sub k/), which was proposed by the authors, requires execution of all sequences of length k of concurrency statements which cause concurrent actions in a concurrent program. A monitoring tool has been developed for applying the testing criterion OSC/sub k/ to the testing of C concurrent programs on UNIX system. The tool measures coverage with regard to k-tuples of concurrency statements (OSC/sub k/) in source codes of a C concurrent program using a probe insertion method. The analysis of the tool's output for a practical C concurrent program shows not only applicability of the tool for testing of concurrent program but also the necessity of a supporting tool for forcing execution of concurrency statements.","PeriodicalId":407476,"journal":{"name":"Proceedings 1996 Asia-Pacific Software Engineering Conference","volume":"9 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":"131240935","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

An extended semantic foundation for Object-Z Object-Z的扩展语义基础

Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566754

A. Griffiths

引用次数: 21

Safety analysis using coloured Petri nets 使用彩色Petri网进行安全性分析

Proceedings 1996 Asia-Pacific Software Engineering Conference Pub Date : 1996-12-04 DOI: 10.1109/APSEC.1996.566752

S. Cho, Hyoung Seok Hong, S. Cha

引用次数: 23