Pub Date : 1993-11-01DOI: 10.1109/CMPSAC.1993.404190
Horng-Juing Lee, W. Tsai
Object-oriented (OO) database systems are becoming popular for CAD, VLSI, and CASE applications. One of the reasons is the support of prototyping through inheritance and/or scheme evolution. In this paper, we propose another rapid prototyping technique: object prototyping. It assumes that a database schema is fixed and rapid prototyping is achieved by applying alternative values into attributes of an object. This is useful especially for design applications in which determining a design object's properties is not straightforward. We design a specification language based on the what-for-if construct for modeling the object prototyping. This specification language can (1) help the designer to simulate alternative design parameters to find out the optimal design parameters, (2) reduce the need for writing database programs, (3) support the development and construction of complex applications on top of the database, and (4) test the functionality and performance of design objects.<>
{"title":"Object prototyping: Concept and specification language","authors":"Horng-Juing Lee, W. Tsai","doi":"10.1109/CMPSAC.1993.404190","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404190","url":null,"abstract":"Object-oriented (OO) database systems are becoming popular for CAD, VLSI, and CASE applications. One of the reasons is the support of prototyping through inheritance and/or scheme evolution. In this paper, we propose another rapid prototyping technique: object prototyping. It assumes that a database schema is fixed and rapid prototyping is achieved by applying alternative values into attributes of an object. This is useful especially for design applications in which determining a design object's properties is not straightforward. We design a specification language based on the what-for-if construct for modeling the object prototyping. This specification language can (1) help the designer to simulate alternative design parameters to find out the optimal design parameters, (2) reduce the need for writing database programs, (3) support the development and construction of complex applications on top of the database, and (4) test the functionality and performance of design objects.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126076544","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 : 1993-11-01DOI: 10.1109/CMPSAC.1993.404241
Xiaoping Jia
A model-based formal specification directed software testing approach is presented. It provides a test oracle and introduces a new coverage criterion for the functional (black-box) testing based on formal specifications. Given the source code of an implementation, its formal specification, and the retrieve functions, a test driver can be generated to conduct, evaluate, and measure the functional test. Although the complete specification conformance of an implementation cannot be established by testing alone, our approach provides a strong necessary condition of complete specification conformance.<>
{"title":"Model-based formal specification directed testing of abstract data types","authors":"Xiaoping Jia","doi":"10.1109/CMPSAC.1993.404241","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404241","url":null,"abstract":"A model-based formal specification directed software testing approach is presented. It provides a test oracle and introduces a new coverage criterion for the functional (black-box) testing based on formal specifications. Given the source code of an implementation, its formal specification, and the retrieve functions, a test driver can be generated to conduct, evaluate, and measure the functional test. Although the complete specification conformance of an implementation cannot be established by testing alone, our approach provides a strong necessary condition of complete specification conformance.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123307254","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 : 1993-11-01DOI: 10.1109/CMPSAC.1993.404244
P. Raja, Jean Hernandez, L. Ruiz, G. Noubir, J. Decotignie
Control applications constitute an important class of real-time systems. Such applications have specific temporal requirements that have to be taken into account during the system design. One such requirement is data temporary consistency. This paper gives an overview of the temporal consistency problem and addresses implementation issues for a distributed real-time system that is configured according to a producer/consumer communication model. Solutions are proposed that provide simple mechanisms for maintaining temporal consistency. Finally, a software architecture consisting of temporally homogeneous buffers is presented.<>
{"title":"A software architecture for maintaining temporal consistency in a distributed real-time environment","authors":"P. Raja, Jean Hernandez, L. Ruiz, G. Noubir, J. Decotignie","doi":"10.1109/CMPSAC.1993.404244","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404244","url":null,"abstract":"Control applications constitute an important class of real-time systems. Such applications have specific temporal requirements that have to be taken into account during the system design. One such requirement is data temporary consistency. This paper gives an overview of the temporal consistency problem and addresses implementation issues for a distributed real-time system that is configured according to a producer/consumer communication model. Solutions are proposed that provide simple mechanisms for maintaining temporal consistency. Finally, a software architecture consisting of temporally homogeneous buffers is presented.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122996825","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 : 1993-11-01DOI: 10.1109/CMPSAC.1993.404181
J. Fritsch
In mid-1991, teams of Motorola's senior executives, software engineering technologists, and researchers chartered to provide the future software management and technology directions in Motorola, joined forces to develop and execute a benchmark program for software engineering. The author has managed this program since its inception. The goal of the program is to determine and continuously monitor best practices throughout the United States, Asia, and Europe. Nearly two years later, this program has identified a set of best practices, collected and analyzed software quality improvement trends, and evaluated software engineering competency in over twenty leading companies worldwide. This paper discusses the benchmarking program, placing emphasis on program organization, directions, and results as well as program impact on Motorola. The paper includes a summary of insights gained and current program directions.<>
{"title":"The Motorola software engineering benchmark program: Organization, directions, and results","authors":"J. Fritsch","doi":"10.1109/CMPSAC.1993.404181","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404181","url":null,"abstract":"In mid-1991, teams of Motorola's senior executives, software engineering technologists, and researchers chartered to provide the future software management and technology directions in Motorola, joined forces to develop and execute a benchmark program for software engineering. The author has managed this program since its inception. The goal of the program is to determine and continuously monitor best practices throughout the United States, Asia, and Europe. Nearly two years later, this program has identified a set of best practices, collected and analyzed software quality improvement trends, and evaluated software engineering competency in over twenty leading companies worldwide. This paper discusses the benchmarking program, placing emphasis on program organization, directions, and results as well as program impact on Motorola. The paper includes a summary of insights gained and current program directions.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129624039","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 : 1993-11-01DOI: 10.1109/CMPSAC.1993.404247
D. Cooke, Luqi
In this paper we combine a variation of the CAPS model with an extended version of Prolog based upon the stable model semantics of logic programming [GEL]. We believe this to be the first paper presenting such a combination. In order to combine the CAPS model with the extended Prolog, we first implement a subset of the PSDL language in Prolog. We show the significance of the combination through an example prototype of a problem originally suggested by Lehman (1990). The resulting model provides a general framework for developing prototypes capable of determining when they are in need of adaptive maintenance.<>
{"title":"Formal support for software maintenance","authors":"D. Cooke, Luqi","doi":"10.1109/CMPSAC.1993.404247","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404247","url":null,"abstract":"In this paper we combine a variation of the CAPS model with an extended version of Prolog based upon the stable model semantics of logic programming [GEL]. We believe this to be the first paper presenting such a combination. In order to combine the CAPS model with the extended Prolog, we first implement a subset of the PSDL language in Prolog. We show the significance of the combination through an example prototype of a problem originally suggested by Lehman (1990). The resulting model provides a general framework for developing prototypes capable of determining when they are in need of adaptive maintenance.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129005197","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 : 1993-11-01DOI: 10.1109/CMPSAC.1993.404217
L. Truett, E. Faby, J. Grubb, J. Loftis, P. C. Shipe
The Department of Defense is sponsoring development of a centralized, integrated database, which will be a repository of international surface cargo movement data. Scheduled for implementation in early 1994, the system will include a relational database management system, processing modules, and complex communication components. Four geographically separated sites are involved with development. Design and development of a major computer system is never simple, but when design and development occur at multiple sites, the problems are compounded, especially when the timeframe for project completion is extremely tight. Issues such as identical development platforms and communications strategies must be addressed. A design plan must be strictly followed to ensure consistency and to coordinate integration of modules developed at different sites.<>
{"title":"Coordination of software-development activities among sites that are geographically separated","authors":"L. Truett, E. Faby, J. Grubb, J. Loftis, P. C. Shipe","doi":"10.1109/CMPSAC.1993.404217","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404217","url":null,"abstract":"The Department of Defense is sponsoring development of a centralized, integrated database, which will be a repository of international surface cargo movement data. Scheduled for implementation in early 1994, the system will include a relational database management system, processing modules, and complex communication components. Four geographically separated sites are involved with development. Design and development of a major computer system is never simple, but when design and development occur at multiple sites, the problems are compounded, especially when the timeframe for project completion is extremely tight. Issues such as identical development platforms and communications strategies must be addressed. A design plan must be strictly followed to ensure consistency and to coordinate integration of modules developed at different sites.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124665153","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 : 1993-11-01DOI: 10.1109/CMPSAC.1993.404219
A. Blyth, J. Chudge, J. Dobson, R. Strens
The most crucial aspect of software engineering is the gathering of requirements. Increasing the amount of time and improving the quality of effort expended at this stage will lead to fewer and more manageable problems later on in the development life-cycle. The purpose of this paper is to highlight one of the most crucial problems that afflict user organizations when engaging in IT systems: the problem that the requirements for the system may change and evolve during the construction of the system. What we propose in this paper is a framework in which evolving and emerging requirements can be dealt with in an iterative manner within a method constructed upon a user-centered design philosophy. This paper is a presentation of recent developments made in the ORDIT project which was reported on last year.<>
{"title":"A framework for modelling evolving requirements","authors":"A. Blyth, J. Chudge, J. Dobson, R. Strens","doi":"10.1109/CMPSAC.1993.404219","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404219","url":null,"abstract":"The most crucial aspect of software engineering is the gathering of requirements. Increasing the amount of time and improving the quality of effort expended at this stage will lead to fewer and more manageable problems later on in the development life-cycle. The purpose of this paper is to highlight one of the most crucial problems that afflict user organizations when engaging in IT systems: the problem that the requirements for the system may change and evolve during the construction of the system. What we propose in this paper is a framework in which evolving and emerging requirements can be dealt with in an iterative manner within a method constructed upon a user-centered design philosophy. This paper is a presentation of recent developments made in the ORDIT project which was reported on last year.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132083393","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 : 1993-11-01DOI: 10.1109/CMPSAC.1993.404228
Balaji Rathakrishnan, Junguk L. Kim
This paper considers query optimization for nested relational databases based on a recursive algebra. A recursive algebra which has been proposed in the literature for nested relations has been extended to accommodate arbitrary algebraic expressions in any nested level of the query. This extended algebra can be used to conveniently express queries in two query languages proposed for the nested relational model. A semijoin based algebraic optimization strategy for queries expressible in this algebra is described, which is a recursive extension of an 1NF optimization technique with some modifications.<>
{"title":"An extended recursive algebra for nested relations and its optimization","authors":"Balaji Rathakrishnan, Junguk L. Kim","doi":"10.1109/CMPSAC.1993.404228","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404228","url":null,"abstract":"This paper considers query optimization for nested relational databases based on a recursive algebra. A recursive algebra which has been proposed in the literature for nested relations has been extended to accommodate arbitrary algebraic expressions in any nested level of the query. This extended algebra can be used to conveniently express queries in two query languages proposed for the nested relational model. A semijoin based algebraic optimization strategy for queries expressible in this algebra is described, which is a recursive extension of an 1NF optimization technique with some modifications.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130775619","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 : 1993-11-01DOI: 10.1109/CMPSAC.1993.404248
D. Calliss, F. Calliss
A family of maintainability metrics is defined by a hierarchical structure, with the top level, the family, being the most abstract. The lowest level in the hierarchy consists of the members of the family, the software metrics and the middle level consists of the property branches. A family allows for a hierarchy of measurements. The vectors of metrics and the hybrid metrics only represent one level of assessment. As with the hybrid metrics, several properties of the software are assessed through the family. Criteria for selecting a family of metrics is given, and the concept is demonstrated on an example program.<>
{"title":"Criteria for selecting a family of software indicators","authors":"D. Calliss, F. Calliss","doi":"10.1109/CMPSAC.1993.404248","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404248","url":null,"abstract":"A family of maintainability metrics is defined by a hierarchical structure, with the top level, the family, being the most abstract. The lowest level in the hierarchy consists of the members of the family, the software metrics and the middle level consists of the property branches. A family allows for a hierarchy of measurements. The vectors of metrics and the hybrid metrics only represent one level of assessment. As with the hybrid metrics, several properties of the software are assessed through the family. Criteria for selecting a family of metrics is given, and the concept is demonstrated on an example program.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115913707","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 : 1993-11-01DOI: 10.1109/CMPSAC.1993.404235
L. Sherrell, D. Carver
Z is a popular specification language which has also been used as a design tool, although much less frequently. Haskell is a programming language that was recently developed to serve as a standard for non-strict, purely functional languages. Although functional languages have proved to be excellent prototyping tools, Haskell was designed as a general purpose language which could be employed to build large applications. In this paper, we show that the formal language Z is an effective design tool when a software system is implemented in a functional language. We trace the development of a simple system from its beginning specification written in Z to its final implementation as a Haskell program. The case study is based on a specification, the class manager's assistant, found in the literature.<>
{"title":"Z meets Haskell: A case study","authors":"L. Sherrell, D. Carver","doi":"10.1109/CMPSAC.1993.404235","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404235","url":null,"abstract":"Z is a popular specification language which has also been used as a design tool, although much less frequently. Haskell is a programming language that was recently developed to serve as a standard for non-strict, purely functional languages. Although functional languages have proved to be excellent prototyping tools, Haskell was designed as a general purpose language which could be employed to build large applications. In this paper, we show that the formal language Z is an effective design tool when a software system is implemented in a functional language. We trace the development of a simple system from its beginning specification written in Z to its final implementation as a Haskell program. The case study is based on a specification, the class manager's assistant, found in the literature.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124296429","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
扫码关注我们
求助内容：
应助结果提醒方式：