Pub Date : 1996-08-19DOI: 10.1109/CMPSAC.1996.544596
Hee Beng Kuan Tan, T. Ling
Functional components are program components which provide a set of tightly-coupled program functionalities. As functionalities embody domain knowledge, these components provide a basis for the recovery of reusable program components. We augment general program slicing to handle the interaction among input/output statements operating on a database. With the use of augmented program slicing, an approach, called functional slicing, is proposed for computing the functional components of a program.
{"title":"Slicing functional components from data-intensive business programs","authors":"Hee Beng Kuan Tan, T. Ling","doi":"10.1109/CMPSAC.1996.544596","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544596","url":null,"abstract":"Functional components are program components which provide a set of tightly-coupled program functionalities. As functionalities embody domain knowledge, these components provide a basis for the recovery of reusable program components. We augment general program slicing to handle the interaction among input/output statements operating on a database. With the use of augmented program slicing, an approach, called functional slicing, is proposed for computing the functional components of a program.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126061115","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}
Pub Date : 1996-08-19DOI: 10.1109/CMPSAC.1996.544622
A. Onoma, H. Suganuma, Mustafa H. Poonawala, S. Subramanian, W. Tsai, Tsutomu Syomura
This paper discusses an integrated software development and maintenance environment, Opusdei, built and used for the past seven years at Hitachi Software Engineering (HSK) for its various projects. Industrial software is usually large, has many versions, undergoes frequent changes, and is developed concurrently by multiple programmers. Opusdei was developed by HSK to handle the various problems that arise in such an industrial environment. In Opusdei, all information needed for development is stored using an uniform representation in a central repository, and the various documentation and views of the software artifacts can be generated automatically using the tool repository. The innovative capabilities of this tool are: (1) Uniform software artifacts representation; (2) Inter-relation and traceability maintenance among software artifacts; (3) Tools repository and integration using tool composition scenarios; (4) Automatic documentation and versioning control. Opusdei was used in various software engineering projects and was found to improve productivity to a great extent.
{"title":"Opusdei-integrated environment for software development and maintenance","authors":"A. Onoma, H. Suganuma, Mustafa H. Poonawala, S. Subramanian, W. Tsai, Tsutomu Syomura","doi":"10.1109/CMPSAC.1996.544622","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544622","url":null,"abstract":"This paper discusses an integrated software development and maintenance environment, Opusdei, built and used for the past seven years at Hitachi Software Engineering (HSK) for its various projects. Industrial software is usually large, has many versions, undergoes frequent changes, and is developed concurrently by multiple programmers. Opusdei was developed by HSK to handle the various problems that arise in such an industrial environment. In Opusdei, all information needed for development is stored using an uniform representation in a central repository, and the various documentation and views of the software artifacts can be generated automatically using the tool repository. The innovative capabilities of this tool are: (1) Uniform software artifacts representation; (2) Inter-relation and traceability maintenance among software artifacts; (3) Tools repository and integration using tool composition scenarios; (4) Automatic documentation and versioning control. Opusdei was used in various software engineering projects and was found to improve productivity to a great extent.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123529290","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}
Pub Date : 1996-08-19DOI: 10.1109/CMPSAC.1996.544624
Chi Tat Chong
Singapore aims to be the premier teaching and research centre for computer science in the Asia-Pacific region in the 21st century, and the National University of Singapore is taking steps to meet that objective. Excellence in teaching is promoted via continued efforts to secure top quality students and lecturers, promoting teaching quality, and establishing close links with industry to ensure that the graduates are able to meet changing industry needs. Research excellence is promoted by collaborations with top academic and research institutions and ensuring high quality research work by the academic staff.
{"title":"Computer science education in the Asia-Pacific region in the 21st century","authors":"Chi Tat Chong","doi":"10.1109/CMPSAC.1996.544624","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544624","url":null,"abstract":"Singapore aims to be the premier teaching and research centre for computer science in the Asia-Pacific region in the 21st century, and the National University of Singapore is taking steps to meet that objective. Excellence in teaching is promoted via continued efforts to secure top quality students and lecturers, promoting teaching quality, and establishing close links with industry to ensure that the graduates are able to meet changing industry needs. Research excellence is promoted by collaborations with top academic and research institutions and ensuring high quality research work by the academic staff.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"207 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122359535","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}
Pub Date : 1996-08-19DOI: 10.1109/CMPSAC.1996.544156
C. Chee
Singapore enjoys the advantages of a conscientious and highly skilled workforce in the service and manufacturing software industries. Government institutions such as the National Computer Board (NCB) and the Ministry of Defense (MINDEF) have highly qualified in-house software support and development personnel. The majority of software developed in Singapore in the commercial sector is applications software. However, in the commercial sector, the software development industry is still in its infancy. Although multinational companies such as Hewlett-Packard have started to establish research and development centres in Singapore, the country must still overcome various obstacles before software development meets international standards.
{"title":"Software industries in Asia","authors":"C. Chee","doi":"10.1109/CMPSAC.1996.544156","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544156","url":null,"abstract":"Singapore enjoys the advantages of a conscientious and highly skilled workforce in the service and manufacturing software industries. Government institutions such as the National Computer Board (NCB) and the Ministry of Defense (MINDEF) have highly qualified in-house software support and development personnel. The majority of software developed in Singapore in the commercial sector is applications software. However, in the commercial sector, the software development industry is still in its infancy. Although multinational companies such as Hewlett-Packard have started to establish research and development centres in Singapore, the country must still overcome various obstacles before software development meets international standards.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"360 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125649190","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}
Pub Date : 1996-08-19DOI: 10.1109/CMPSAC.1996.544170
Y. Takeda
Although economical and technological progress has made societies more prosperous, it has also created drawbacks such as poverty and unemployment, and not every member of these societies is happy. The dissatisfaction has led to questions and the re-examination of the top-down approach of central government for planning and management. Recently a new type of society has been postulated, in which the happiness of the individual has importance as well as the prosperity of the group. This new trend will come about through a structural change in society itself. Such a restructuring will be accelerated by information technologies, including the Internet/Intranet, which have been rapidly advancing. Global communication networks enable global communication among individuals and eliminate traditional borderlines around organizations and countries; that is, information sent by each individual flows all over the world and an individual can choose the information he/she needs. The name for the above new trend in the structural change of society is "Autonomous Decentralization" and the author believes that the Autonomous Decentralized System (ADS) (K. Mori et al., 1986) will become quite a common technology in every section or every level of society, such as companies, industries, and public organizations. The paper describes the effectiveness of applying ADS technologies to the structure of our new society and indicates the future trend of ADS technologies.
虽然经济和技术进步使社会更加繁荣，但它也产生了贫困和失业等弊端，并不是这些社会的每个成员都快乐。这种不满引发了对中央政府自上而下的规划和管理方式的质疑和重新审视。最近人们设想了一种新型的社会，在这种社会中，个人的幸福和集体的繁荣同样重要。这种新趋势将通过社会本身的结构变化来实现。包括迅速发展的互联网络/内联网在内的信息技术将加速这种结构调整。全球通信网络使个人之间的全球通信成为可能，消除了组织和国家之间的传统界限;也就是说，每个人发送的信息在世界各地流动，个人可以选择自己需要的信息。上述社会结构变化中的新趋势被称为“自治去中心化”，笔者认为自治去中心化系统(ADS) (K. Mori et al.， 1986)将在社会的各个部门或各个层面，如公司、行业和公共组织中成为相当普遍的技术。本文阐述了ADS技术在我国新社会结构中应用的有效性，并指出了ADS技术的未来发展趋势。
{"title":"Autonomous decentralization of society structures and information systems","authors":"Y. Takeda","doi":"10.1109/CMPSAC.1996.544170","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544170","url":null,"abstract":"Although economical and technological progress has made societies more prosperous, it has also created drawbacks such as poverty and unemployment, and not every member of these societies is happy. The dissatisfaction has led to questions and the re-examination of the top-down approach of central government for planning and management. Recently a new type of society has been postulated, in which the happiness of the individual has importance as well as the prosperity of the group. This new trend will come about through a structural change in society itself. Such a restructuring will be accelerated by information technologies, including the Internet/Intranet, which have been rapidly advancing. Global communication networks enable global communication among individuals and eliminate traditional borderlines around organizations and countries; that is, information sent by each individual flows all over the world and an individual can choose the information he/she needs. The name for the above new trend in the structural change of society is \"Autonomous Decentralization\" and the author believes that the Autonomous Decentralized System (ADS) (K. Mori et al., 1986) will become quite a common technology in every section or every level of society, such as companies, industries, and public organizations. The paper describes the effectiveness of applying ADS technologies to the structure of our new society and indicates the future trend of ADS technologies.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127255636","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}
Pub Date : 1996-08-19DOI: 10.1109/CMPSAC.1996.542431
Byung-Kyoo Kang, J. Bieman
Cohesion was first developed to predict properties of implementations created from a given design. Unfortunately, cohesion, as originally defined, could not be objectively assessed, while more recently developed objective cohesion measures depend on code level information. We show that association based and slice based approaches can be used to measure cohesion using only design level information. Our design level cohesion measures are formally defined, can be readily implemented, and can support software design, maintenance, and restructuring.
{"title":"Design-level cohesion measures: derivation, comparison, and applications","authors":"Byung-Kyoo Kang, J. Bieman","doi":"10.1109/CMPSAC.1996.542431","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.542431","url":null,"abstract":"Cohesion was first developed to predict properties of implementations created from a given design. Unfortunately, cohesion, as originally defined, could not be objectively assessed, while more recently developed objective cohesion measures depend on code level information. We show that association based and slice based approaches can be used to measure cohesion using only design level information. Our design level cohesion measures are formally defined, can be readily implemented, and can support software design, maintenance, and restructuring.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128766227","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}
Pub Date : 1996-08-19DOI: 10.1109/CMPSAC.1996.544617
F. Rousseau, J. Bergé, M. Israël
Telecommunications systems, like other embedded systems, are dataflow systems, easily represented by a set of tasks and precedence constraints. The main goal of the design of such systems is to determine for each task the assignment (hardware or software), the scheduling and resources required. We consider assignment and scheduling to be closely linked in hardware/software partitioning and therefore propose a new approach to hardware/software partitioning using task scheduling. This approach is a list scheduling algorithm, based on the calculation of forces. The results obtained on a telecommunications system (acoustic echo canceller) are then described.
{"title":"Hardware/software partitioning for telecommunications systems","authors":"F. Rousseau, J. Bergé, M. Israël","doi":"10.1109/CMPSAC.1996.544617","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544617","url":null,"abstract":"Telecommunications systems, like other embedded systems, are dataflow systems, easily represented by a set of tasks and precedence constraints. The main goal of the design of such systems is to determine for each task the assignment (hardware or software), the scheduling and resources required. We consider assignment and scheduling to be closely linked in hardware/software partitioning and therefore propose a new approach to hardware/software partitioning using task scheduling. This approach is a list scheduling algorithm, based on the calculation of forces. The results obtained on a telecommunications system (acoustic echo canceller) are then described.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129613393","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}
Pub Date : 1996-08-19DOI: 10.1109/CMPSAC.1996.544599
L. Nahar, S. Bhattacharya
High assurance is a collective term implying real time security, reliability and safety. We consider a load balancing utopia for dynamic media access control (MAC) in firmware controlled network media (e.g., wireless, optical network) which provides high assurance. In a firmware controlled network, frequency and time assignment can be embedded in the logical channel on the fly-that is, logical channels with various frequency, time and code assignments can be created and updated dynamically. Consequences are that, when high assurance like real time traffic is required, we can create additional logical channels to support it without leading to congestion on the existing logical channels.
{"title":"Dynamic network management for firmware controlled network topology","authors":"L. Nahar, S. Bhattacharya","doi":"10.1109/CMPSAC.1996.544599","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544599","url":null,"abstract":"High assurance is a collective term implying real time security, reliability and safety. We consider a load balancing utopia for dynamic media access control (MAC) in firmware controlled network media (e.g., wireless, optical network) which provides high assurance. In a firmware controlled network, frequency and time assignment can be embedded in the logical channel on the fly-that is, logical channels with various frequency, time and code assignments can be created and updated dynamically. Consequences are that, when high assurance like real time traffic is required, we can create additional logical channels to support it without leading to congestion on the existing logical channels.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127879759","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}
Pub Date : 1996-08-19DOI: 10.1109/CMPSAC.1996.542430
Eun-Sun Cho, Sang-Yong Han, Hyoung-Joo Kim
C++ uses 'class' as the basis of 'subtype polymorphism' and 'inheritance', but it has been pointed out that the overloading of 'class' limits the expressiveness and makes its type system inflexible. This means that C++ and some other object oriented languages had to separate a class into two modules-an interface and an implementation. But, there seems to be no leading C++ model for separating the interface lattice from the implementation lattice. Moreover none of the proposed models describe the result of the separation in a formal way. As a result it is hard to understand what the type space would be like after the separation. The paper presents a formal model for the separation of interface and implementation in C++, and which explains the properties of the resulting type space after the separation.
{"title":"A semantics of the separation of interface and implementation in C++","authors":"Eun-Sun Cho, Sang-Yong Han, Hyoung-Joo Kim","doi":"10.1109/CMPSAC.1996.542430","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.542430","url":null,"abstract":"C++ uses 'class' as the basis of 'subtype polymorphism' and 'inheritance', but it has been pointed out that the overloading of 'class' limits the expressiveness and makes its type system inflexible. This means that C++ and some other object oriented languages had to separate a class into two modules-an interface and an implementation. But, there seems to be no leading C++ model for separating the interface lattice from the implementation lattice. Moreover none of the proposed models describe the result of the separation in a formal way. As a result it is hard to understand what the type space would be like after the separation. The paper presents a formal model for the separation of interface and implementation in C++, and which explains the properties of the resulting type space after the separation.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132535364","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}
Pub Date : 1996-08-19DOI: 10.1109/CMPSAC.1996.544598
A. Ghafoor
Summary form only given, as follows. As we aim to develop more and more complex software systems for real time applications, the concern about their safety and reliability is also growing. In the author's opinion, development of these systems require more formal approaches than the development of a general purpose software system. We can draw our analogy from hardware engineering for which we know that in order to develop high performance systems, we must focus on designing highly specialized hardware which has rather little reusability for any other general purpose computation. We provide some critic on various design approaches of such systems.
{"title":"High assurance systems engineering","authors":"A. Ghafoor","doi":"10.1109/CMPSAC.1996.544598","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544598","url":null,"abstract":"Summary form only given, as follows. As we aim to develop more and more complex software systems for real time applications, the concern about their safety and reliability is also growing. In the author's opinion, development of these systems require more formal approaches than the development of a general purpose software system. We can draw our analogy from hardware engineering for which we know that in order to develop high performance systems, we must focus on designing highly specialized hardware which has rather little reusability for any other general purpose computation. We provide some critic on various design approaches of such systems.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126787309","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：