Pub Date : 1990-10-31DOI: 10.1109/CMPSAC.1990.139411
W. Khorshid, V. Rajlich
The authors present the design and implementation of VIPEG, a generator of environments for software maintenance. Environments generated by VIPEG extract information about software components and their interconnections, store it in a database, and make it available to software maintainers in a form which is easy to understand and work with. The generated environments consist of a graphical display, editing tools, a database to store programs, and a query system to retrieve information. The generator accepts specification of the target language in the Data Model Specification Language. An example of C language specification is described.<>
{"title":"VIPEG: a generator of environments for software maintenance","authors":"W. Khorshid, V. Rajlich","doi":"10.1109/CMPSAC.1990.139411","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139411","url":null,"abstract":"The authors present the design and implementation of VIPEG, a generator of environments for software maintenance. Environments generated by VIPEG extract information about software components and their interconnections, store it in a database, and make it available to software maintainers in a form which is easy to understand and work with. The generated environments consist of a graphical display, editing tools, a database to store programs, and a query system to retrieve information. The generator accepts specification of the target language in the Data Model Specification Language. An example of C language specification is described.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126004466","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 : 1990-10-31DOI: 10.1109/CMPSAC.1990.139378
I. Sue Ranft, D. Gustafson
Attention is given to the software process model (SPM), which was introduced by A.L. Baker et al. (1987). The SPM models software development by modeling the evolution of the full set of documents produced in software development. The authors show the usefulness of the SPM as a management tool by applying it to a software project. Since the SPM shows patterns of the software product development in greater detail than the current tools available, it provides management with a more effective means of visualizing and controlling software projects. The SPM has the capability to alert management to problems during the development process. This was illustrated when the SPM indicated a problem during the design phase. The problem was made known by the pattern generated by the continuous changes to design specifications when initial code was completed. It was shown that the SPM can be used to ensure consistencies between documents. By plotting changes in documents, both developers and managers are alerted as to whether or not a change is incorporated in other documents.<>
{"title":"Using the software process model to analyze a software project","authors":"I. Sue Ranft, D. Gustafson","doi":"10.1109/CMPSAC.1990.139378","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139378","url":null,"abstract":"Attention is given to the software process model (SPM), which was introduced by A.L. Baker et al. (1987). The SPM models software development by modeling the evolution of the full set of documents produced in software development. The authors show the usefulness of the SPM as a management tool by applying it to a software project. Since the SPM shows patterns of the software product development in greater detail than the current tools available, it provides management with a more effective means of visualizing and controlling software projects. The SPM has the capability to alert management to problems during the development process. This was illustrated when the SPM indicated a problem during the design phase. The problem was made known by the pattern generated by the continuous changes to design specifications when initial code was completed. It was shown that the SPM can be used to ensure consistencies between documents. By plotting changes in documents, both developers and managers are alerted as to whether or not a change is incorporated in other documents.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"116 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124102342","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 : 1990-10-31DOI: 10.1109/CMPSAC.1990.139445
B. Krämer, H. Schmidt
A description is given of Graspin, a workstation-based prototype environment that aids in the incremental construction, verification, and prototyping of specifications for concurrent and distributed software systems. It includes a Petri net-based specification formalism, an editor generator with graphical capabilities, and tools for static semantics checking, automated verification of static and dynamic properties of specifications, and specification-based prototyping. The Graspin architecture and kernel environment have shown their flexibility in the development of a prototype environment supporting the formal specification language SEGRAS. It was necessary to extend the kernel by semantic tools such as type checker and net simulator and to integrate separately developed tools such as the rewrite rule subsystem into a coherent environment. New Graspin features include a graphical refinement method and a multi-level net animation technique.<>
{"title":"Architecture and functionality of a specification environment for distributed software","authors":"B. Krämer, H. Schmidt","doi":"10.1109/CMPSAC.1990.139445","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139445","url":null,"abstract":"A description is given of Graspin, a workstation-based prototype environment that aids in the incremental construction, verification, and prototyping of specifications for concurrent and distributed software systems. It includes a Petri net-based specification formalism, an editor generator with graphical capabilities, and tools for static semantics checking, automated verification of static and dynamic properties of specifications, and specification-based prototyping. The Graspin architecture and kernel environment have shown their flexibility in the development of a prototype environment supporting the formal specification language SEGRAS. It was necessary to extend the kernel by semantic tools such as type checker and net simulator and to integrate separately developed tools such as the rewrite rule subsystem into a coherent environment. New Graspin features include a graphical refinement method and a multi-level net animation technique.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129567064","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 : 1990-10-31DOI: 10.1109/CMPSAC.1990.139461
K. Kenny, Kwei-Jay Lin
A novel model for complex real-time systems is proposed. In this model, several versions of a program fragment are provided to perform a particular action. These versions will differ only in their performance parameters such as the time required, the resources consumed, and the precision of the results. The authors describe an implementation of a technique called performance polymorphism, in which the process of selecting a version from this set may be automated. Performance polymorphism is a unified theory to express the choice among multiple versions in a way that is both natural and powerful. It allows the flexibility of adding new versions at any time, of adapting to unforeseen constraints, and of adapting to automatically generated variants of a procedure (as, for example, might come from a parallelizing compiler). A means to implement the theory of performance polymorphism that requires very low overheads at run time has been developed.<>
{"title":"Implementing real-time systems using performance polymorphism","authors":"K. Kenny, Kwei-Jay Lin","doi":"10.1109/CMPSAC.1990.139461","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139461","url":null,"abstract":"A novel model for complex real-time systems is proposed. In this model, several versions of a program fragment are provided to perform a particular action. These versions will differ only in their performance parameters such as the time required, the resources consumed, and the precision of the results. The authors describe an implementation of a technique called performance polymorphism, in which the process of selecting a version from this set may be automated. Performance polymorphism is a unified theory to express the choice among multiple versions in a way that is both natural and powerful. It allows the flexibility of adding new versions at any time, of adapting to unforeseen constraints, and of adapting to automatically generated variants of a procedure (as, for example, might come from a parallelizing compiler). A means to implement the theory of performance polymorphism that requires very low overheads at run time has been developed.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132371103","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 : 1990-10-31DOI: 10.1109/CMPSAC.1990.139413
K. Katsuyama, T. Nakakawaji, F. Sato, T. Mizuno
The testing environment FOREST (formal environment for systematic testing), which uses formal description techniques systematically, has been developed. FOREST generates the TTCN format test sequence from the specification described in SDL. Furthermore, FOREST generates the test data from the protocol data definition described in ASN.1. By using the FOREST system, the test specification and test execution and test report description are achieved systematically. Therefore, the cost of the testing phase of OSI upper layer software development is reduced. In particular, the facility for test sequence generation of FOREST realizes high coverage with a reasonable cost. The facility can efficiently check protocol specifications. The effectiveness of the approach is demonstrated by an application to the test design for the CCR protocol.<>
{"title":"FOREST: a systematic testing environment based on standardized formal description techniques","authors":"K. Katsuyama, T. Nakakawaji, F. Sato, T. Mizuno","doi":"10.1109/CMPSAC.1990.139413","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139413","url":null,"abstract":"The testing environment FOREST (formal environment for systematic testing), which uses formal description techniques systematically, has been developed. FOREST generates the TTCN format test sequence from the specification described in SDL. Furthermore, FOREST generates the test data from the protocol data definition described in ASN.1. By using the FOREST system, the test specification and test execution and test report description are achieved systematically. Therefore, the cost of the testing phase of OSI upper layer software development is reduced. In particular, the facility for test sequence generation of FOREST realizes high coverage with a reasonable cost. The facility can efficiently check protocol specifications. The effectiveness of the approach is demonstrated by an application to the test design for the CCR protocol.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129382238","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 : 1990-10-31DOI: 10.1109/CMPSAC.1990.139409
Shi-Kuo Chang, Yi Deng
The authors introduce the concept of personalized user profile for very large databases, as well as the VisualNet model as a representation for such a user profile. A user profile is a small and dynamic structure which contains the user's knowledge of the database, serves as a starting point for the user's access to the database, and supports intelligent database accesses. The basic idea is that a user usually accesses only a very small and stable region of a very large database, and therefore, the size of the user profile is much smaller than the whole database view. It is hoped that most of the user's database search can be conducted in the user profile. Techniques for automatic construction and maintenance of user profiles are discussed. A set of visual reasoning algorithms is presented to support intelligent and interactive user's queries to the database, as well as to coordinate the search between the user profile and the global database.<>
{"title":"Intelligent database retrieval by visual reasoning","authors":"Shi-Kuo Chang, Yi Deng","doi":"10.1109/CMPSAC.1990.139409","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139409","url":null,"abstract":"The authors introduce the concept of personalized user profile for very large databases, as well as the VisualNet model as a representation for such a user profile. A user profile is a small and dynamic structure which contains the user's knowledge of the database, serves as a starting point for the user's access to the database, and supports intelligent database accesses. The basic idea is that a user usually accesses only a very small and stable region of a very large database, and therefore, the size of the user profile is much smaller than the whole database view. It is hoped that most of the user's database search can be conducted in the user profile. Techniques for automatic construction and maintenance of user profiles are discussed. A set of visual reasoning algorithms is presented to support intelligent and interactive user's queries to the database, as well as to coordinate the search between the user profile and the global database.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116495797","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 : 1990-10-31DOI: 10.1109/CMPSAC.1990.139437
W. Shao, H. Soon
The authors describe a set of query techniques which helps to improve the efficiency of the query mechanism of expert systems. They discuss a number of algorithms and formulae for identifying a key feature set and deriving an ideal query sequence. The proposed algorithms aim to cut down the consultation time so as to increase the efficiency of the expert system. The query mechanism can be further enhanced by taking the cost factor of answering each query into consideration. This consideration will affect the value of the features, for the greater the cost required to obtain the answer, the less favorable is the query about that feature. This will lead to more realistic algorithms for finding a KFS (key feature set) and an ideal query sequence. The advantages and disadvantages of a static query mechanism are examined. The solution suggested is to employ a semi-dynamic mechanism. In this way, an appropriate threshold value for the number of patterns which remain undifferentiated has to be determined for the switching from the static to the dynamic mechanism before the suggested mechanism can improve the module.<>
{"title":"Intelligent query mechanism for expert systems","authors":"W. Shao, H. Soon","doi":"10.1109/CMPSAC.1990.139437","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139437","url":null,"abstract":"The authors describe a set of query techniques which helps to improve the efficiency of the query mechanism of expert systems. They discuss a number of algorithms and formulae for identifying a key feature set and deriving an ideal query sequence. The proposed algorithms aim to cut down the consultation time so as to increase the efficiency of the expert system. The query mechanism can be further enhanced by taking the cost factor of answering each query into consideration. This consideration will affect the value of the features, for the greater the cost required to obtain the answer, the less favorable is the query about that feature. This will lead to more realistic algorithms for finding a KFS (key feature set) and an ideal query sequence. The advantages and disadvantages of a static query mechanism are examined. The solution suggested is to employ a semi-dynamic mechanism. In this way, an appropriate threshold value for the number of patterns which remain undifferentiated has to be determined for the switching from the static to the dynamic mechanism before the suggested mechanism can improve the module.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116770633","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 : 1990-10-31DOI: 10.1109/CMPSAC.1990.139331
D. L. Harris
The practical application of cognitive psychology is addressed. A model for how human thought abstraction works is described, and then it is shown how that model was used as the framework for the design of the ATHENA expert system. The system is intended to assist engineers in quality assurance of database design.<>
{"title":"Cognitive building blocks of a database expert system","authors":"D. L. Harris","doi":"10.1109/CMPSAC.1990.139331","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139331","url":null,"abstract":"The practical application of cognitive psychology is addressed. A model for how human thought abstraction works is described, and then it is shown how that model was used as the framework for the design of the ATHENA expert system. The system is intended to assist engineers in quality assurance of database design.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123572826","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 : 1990-10-31DOI: 10.1109/CMPSAC.1990.139390
Sharon M. Walter, J. Neal, C. Montgomery, S. Tyler
The session focuses on various stages and aspects of interface technology, from basic research to product development and marketing, and from systems accepting typed sequences of words to systems accepting human input from more than one hardware or software input device. Two topics are reported on in detail: intelligent multimedia interfaces and the utility of intelligent interfaces for complex applications.<>
{"title":"The status and future of interface technology","authors":"Sharon M. Walter, J. Neal, C. Montgomery, S. Tyler","doi":"10.1109/CMPSAC.1990.139390","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139390","url":null,"abstract":"The session focuses on various stages and aspects of interface technology, from basic research to product development and marketing, and from systems accepting typed sequences of words to systems accepting human input from more than one hardware or software input device. Two topics are reported on in detail: intelligent multimedia interfaces and the utility of intelligent interfaces for complex applications.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123245576","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 : 1990-10-31DOI: 10.1109/CMPSAC.1990.139347
Tan Sian Lip, C. H. Seng
The authors describe the design of AuditPro, an integrated collection of tools for supporting auditors performing internal control evaluation. Among the tools are a graphical document-flowchart editor, a graphical organization chart editor, an 'outliner-type' internal control questionnaire, and an expert system. The unique features of this system are that the knowledge-based component of the system is embedded within the internal control questionnaire; that the system is able to make inferences about the internal control system through direct analysis of the diagrams drawn using the graphical editors; and that the knowledge-representation is designed specifically to support internal control evaluation. AuditPro provides a natural framework for dialogue between domain experts and knowledge engineers. The system builds internal models of the internal control systems under evaluation through the diagraming tools so that some audit-concerns captured in knowledge bases can be answered by directly querying the internal models instead of the user. The 'outliner' user-interface gives users the initiative to browse and answer in whatever order is convenient at the time of use.<>
{"title":"AuditPro-integrating knowledge-based technology with diagramming tools for auditors","authors":"Tan Sian Lip, C. H. Seng","doi":"10.1109/CMPSAC.1990.139347","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139347","url":null,"abstract":"The authors describe the design of AuditPro, an integrated collection of tools for supporting auditors performing internal control evaluation. Among the tools are a graphical document-flowchart editor, a graphical organization chart editor, an 'outliner-type' internal control questionnaire, and an expert system. The unique features of this system are that the knowledge-based component of the system is embedded within the internal control questionnaire; that the system is able to make inferences about the internal control system through direct analysis of the diagrams drawn using the graphical editors; and that the knowledge-representation is designed specifically to support internal control evaluation. AuditPro provides a natural framework for dialogue between domain experts and knowledge engineers. The system builds internal models of the internal control systems under evaluation through the diagraming tools so that some audit-concerns captured in knowledge bases can be answered by directly querying the internal models instead of the user. The 'outliner' user-interface gives users the initiative to browse and answer in whatever order is convenient at the time of use.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"138 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128611513","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
扫码关注我们
求助内容：
应助结果提醒方式：