{"title":"Strategies for machine instruction transformation in an expert system","authors":"Man L. Li, Willis K. King","doi":"10.1109/CMPSAC.1992.217556","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217556","url":null,"abstract":"To build an expert system which can transform machine language programs between any pair of computers, an intermediate language is proposed. A program is first converted to an equivalent program in this intermediate language, which in turn is converted to the assembly language and machine language of the destination machine. Several strategies are developed to ensure a proper and efficient transformation. The authors discuss a local transformation, a basic block transformation, and instruction side effect handling. An example of program transformation between the VAX and the IBM 370 systems is given.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115566255","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":"Reuse engineering: software construction from reusable components","authors":"H. Gall, René Klösch","doi":"10.1109/CMPSAC.1992.217600","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217600","url":null,"abstract":"The authors describe a comprehensive approach that supports reuse in the software development process, especially the production of software from reusable components. For this purpose well-known strategies like reverse engineering and design recovery are combined with a generalization mechanism to develop the reuse engineering process. This process includes both the phase of isolating reusable modules from existing software and the phase of retrieving such modules from a software component library and combining them to new software. The definition of a reuse engineering life-cycle, which integrates reuse into the conventional software life-cycle is considered.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131013893","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 cost model for software conversion based on program characteristics and a converter effect","authors":"A. Kanai, T. Furuyama, M. Takahashi","doi":"10.1109/CMPSAC.1992.217602","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217602","url":null,"abstract":"A cost model for software conversion is developed by analyzing actual data from a FORTRAN program conversion project. New features considered in the model are program characteristics and converter effect. The model is clearly divided into two parts. The first depends on program characteristics and the converter effect, the other part on the program size, the number of task units, and the number of test programs. The structure of this model is generalized for any conversion environment. This model can estimate the costs of converting a FORTRAN program more precisely than conventional models that only consider program size. It can be used to analyze the cost-effectiveness of the converter itself, taking into account the cost of developing the converter.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131054898","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":"Development of a multimedia document management system for cooperative work environment","authors":"Sugao Sumiya, Takashi Saito","doi":"10.1109/CMPSAC.1992.217580","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217580","url":null,"abstract":"The authors discuss a technical document management system where a large volume of documents are maintained by cooperative efforts of work groups using DTP (desktop publishing) software. The implementation of Jenesys is discussed. Jenesys is a technical document management and authoring system for aircraft maintenance information which consists of more than 100 types of documents. The major characteristics of Jenesys are the database of documents, integration of DTP software to create high-quality documents, and document creation/revision by cooperative efforts of work groups. The RDB+pointer method is a powerful, orthodox solution based on the assumption that approved documents cannot be modified without creating a new record for the revision. By adopting this method as the basic structure of the document database, this technical document management system was designed.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131323793","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 software engineering, visualization methodology for parallel processing systems","authors":"J. Kohl, T. Casavant","doi":"10.1109/CMPSAC.1992.217604","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217604","url":null,"abstract":"The authors focus on techniques for enhancing the feasibility of using graphic visualization in analyzing the complexities of parallel software. The central drawback to applying such visual techniques is the overhead in developing analysis tools with flexible, customized views. The PARADISE system alleviates some of this design overhead by providing an abstract, object-oriented, visual modeling environment which expedites custom visual tool development. PARADISE is a visual tool which is used to develop other visual tools, or a meta-tool. The authors complement previous work on PARADISE by describing the philosophy behind its design, and how that philosophy leads to a methodology for constructing visual models which characterize parallel systems in general. The emphasis is on the crucial issues in utilizing visualization for parallel software development, and on how PARADISE deals with these issues.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"03 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129774877","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":"ORL: an object retrieval language interface to an object algebra","authors":"S. Urban, Chiung-hsun Chen Lai, S. Saxena","doi":"10.1109/CMPSAC.1992.217572","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217572","url":null,"abstract":"The authors present the design of ORL, an object retrieval language interface to the EQUAL object algebra. ORL has an extended SQL syntax and is implemented on top of the ONTOS object-oriented database system. The complete system provides an interactive query facility as an alternative to the programatic OSQL interface provided by ONTOS. In general, ORL provides a more concise, user-friendly approach to the expression of queries over objects than the object algebra on which it is based. The translation of ORL queries to their equivalent object algebra expressions is described.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124561247","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":"Highly available atomic objects","authors":"T. Ng","doi":"10.1109/CMPSAC.1992.217573","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217573","url":null,"abstract":"The author describes an approach to implement highly available atomic objects in a distributed system. The approach uses the semantics of an object's type to increase availability and concurrency. The increase comes at the expense of writing a layer of type-specific code for concurrency control. The type-specific code can be written without making any assumption of any underlying replication or the serialization order used, allowing it to be reused more easily. He uses the virtual partition algorithm (A. Al Abbadi et al., 1986) for replica control. It avoids reading multiple replicas during normal operation at the expense of synchronizing the replicas when they re-establish communication. The optimization is important in the context of semantics-based implementations because potentially no replica is more up-to-date than the others. In contrast to similar semantics-based approaches, this approach assigns quorums to operations of the nonatomic objects used to implement the atomic objects, rather than to operations of the atomic objects.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"37 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120887690","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}
V. Vaishnavi, David Abbott, Thomas A. Cooper, K. Walling
{"title":"Panel on management of emerging software technologies","authors":"V. Vaishnavi, David Abbott, Thomas A. Cooper, K. Walling","doi":"10.1109/CMPSAC.1992.217594","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217594","url":null,"abstract":"Critically examines a number of issues related to the management of emerging software technologies. Some working guidelines are provided. It is recommended that any management process used be measured and consistently analyzed to improve one's competitive edge. In the area of metrics for managing object technology, there is an almost total lack of information. The current focus of the Consortium for the Management of Emerging Software Technologies (COMSOFT) is an object-oriented technology and the related area of software reuse. The new environment must be implemented piecemeal and frequently structures and procedures must be implemented that are only operational bridges, because during the transition two operational methodologies and philosophies will exist.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126097641","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":"Testing expert systems using conventional techniques","authors":"W. Tsai, Shekhar H. Kirani, I. Zualkernan","doi":"10.1109/CMPSAC.1992.217584","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217584","url":null,"abstract":"The authors describe a life-cycle approach for testing expert systems. They comment on the difficulties associated with testing of an expert system. Pragmatic testing methods of conventional software engineering are proposed as a solution to these problems. The application of these techniques is illustrated through an extended example for the expert system, MAPS, which diagnoses faults in a bipolar transistor induced to process defects in a VLSI manufacturing environment.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126232525","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":"The management of uncertainty in software development","authors":"Luqi, D. Cooke","doi":"10.1109/CMPSAC.1992.217575","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217575","url":null,"abstract":"There are at least two different kinds of uncertainty in software development. Both are centered around software specification. The first type has to do with the uncertainty as to whether or not a given description is truly a specification of the software to be developed. The second type of uncertainty has to do with the lifetime of a valid specification. Most programs have parts that are a mixture of the two types. A high-level view of both types of uncertainty in specification is presented to explain the problems inherent in software development and maintenance. The view supports the need for prototyping throughout software development and maintenance.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126009379","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}