{"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}
A. Onoma, H. Suganuma, Mustafa H. Poonawala, S. Subramanian, W. Tsai, Tsutomu Syomura
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}