Pub Date : 1988-04-11DOI: 10.1109/CMPEUR.1988.4966
W. Kozaczynski, A. Jindal
The authors present an experimental executable system specification that supports the Jackson system development methodology. The immediate advantage of making a rigorous system specification executable is that it becomes a verifiable system prototype. They show that the JSD specification is a restricted object system. They use Prolog to implement and execute the specification. The specification can be transformed into a system design if a set of transformation rules exists. Such transformation rules for the JSD approach are discussed.<>
{"title":"An executable system specification to support the JSD methodology","authors":"W. Kozaczynski, A. Jindal","doi":"10.1109/CMPEUR.1988.4966","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4966","url":null,"abstract":"The authors present an experimental executable system specification that supports the Jackson system development methodology. The immediate advantage of making a rigorous system specification executable is that it becomes a verifiable system prototype. They show that the JSD specification is a restricted object system. They use Prolog to implement and execute the specification. The specification can be transformed into a system design if a set of transformation rules exists. Such transformation rules for the JSD approach are discussed.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115196961","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 : 1988-04-11DOI: 10.1109/CMPEUR.1988.4935
L. Duponcheel, J. Heyman, W. Van Puymbroeck
A description is given of the concepts of an algebraic specification language allowing the development of structured, clear, and reusable specifications, and its support environment is introduced. Initial experience using the presented language, method, and tools in the development of a specification of the Knuth-Bendix algorithm is discussed. Rapid prototyping is emphasized in the tools. In particular, a translator for constructive specifications is illustrated. The use of components of a prototype proof environment is indicated.<>
{"title":"Algebraic data type specifications-language, method and tools","authors":"L. Duponcheel, J. Heyman, W. Van Puymbroeck","doi":"10.1109/CMPEUR.1988.4935","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4935","url":null,"abstract":"A description is given of the concepts of an algebraic specification language allowing the development of structured, clear, and reusable specifications, and its support environment is introduced. Initial experience using the presented language, method, and tools in the development of a specification of the Knuth-Bendix algorithm is discussed. Rapid prototyping is emphasized in the tools. In particular, a translator for constructive specifications is illustrated. The use of components of a prototype proof environment is indicated.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124285059","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 : 1988-04-11DOI: 10.1109/CMPEUR.1988.4944
K. Cho, H.G. Cragon
The authors present an interactive knowledge-based disk I/O system-design tool combining the technique of artificial intelligence with the conventional ad hoc method of computer architecture design. This tool reduces the expensive implementation and test recycles of the conventional design method and improves the simple forward design process for system-level design. By combining design and evaluation and using a common set of the knowledge base, user interaction, specification problems and performance estimation errors can be greatly reduced. The tool meets the system design requirements without detailed verification simulation of the design and produces a formal structural format of the design and performance specifications. The tool can assimilate new knowledge as it is developed during design by simply adding that knowledge as a frame or a rule.<>
{"title":"Knowledge-based disk I/O system design aid","authors":"K. Cho, H.G. Cragon","doi":"10.1109/CMPEUR.1988.4944","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4944","url":null,"abstract":"The authors present an interactive knowledge-based disk I/O system-design tool combining the technique of artificial intelligence with the conventional ad hoc method of computer architecture design. This tool reduces the expensive implementation and test recycles of the conventional design method and improves the simple forward design process for system-level design. By combining design and evaluation and using a common set of the knowledge base, user interaction, specification problems and performance estimation errors can be greatly reduced. The tool meets the system design requirements without detailed verification simulation of the design and produces a formal structural format of the design and performance specifications. The tool can assimilate new knowledge as it is developed during design by simply adding that knowledge as a frame or a rule.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"215 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122843804","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 : 1988-04-11DOI: 10.1109/CMPEUR.1988.4957
X. Tan, K. Sevcik, J.W. Hong
The authors propose the shuffle-exchange and exchange-unshuffle network and a combination routing scheme. They prove that combination routing is optimal for s/e&e/u interconnection networks in the sense that it leads to the lowest possible number of cycles through the single-stage for every pair of source and destination addresses. The authors design a systolic algorithm for calculating the parameters for carrying out combination routing. Using standard shuffle-exchange routing, the average network delay can not be less than log N even with various augmented hardware. Simulation experiments on the combination routing show that the average network delays are significantly less than log N.<>
{"title":"Optimal routing in the shuffle-exchange networks for multiprocessor systems","authors":"X. Tan, K. Sevcik, J.W. Hong","doi":"10.1109/CMPEUR.1988.4957","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4957","url":null,"abstract":"The authors propose the shuffle-exchange and exchange-unshuffle network and a combination routing scheme. They prove that combination routing is optimal for s/e&e/u interconnection networks in the sense that it leads to the lowest possible number of cycles through the single-stage for every pair of source and destination addresses. The authors design a systolic algorithm for calculating the parameters for carrying out combination routing. Using standard shuffle-exchange routing, the average network delay can not be less than log N even with various augmented hardware. Simulation experiments on the combination routing show that the average network delays are significantly less than log N.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127428823","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 : 1988-04-11DOI: 10.1109/CMPEUR.1988.4968
G. Oddy
There is considerable activity in the field of software engineering environments (SEEs). Most of this work assumes an architecture consisting of a number of software tools running on a kernel with a well-defined public tool interface (PTI). The background to current work in SEEs is outlined, and the current trend toward systems engineering environments is noted. The kernel approach is scrutinized as a possible architecture for such environments and found to be adequate only in the short term. A glimpse is given of an alternative approach.<>
{"title":"Software engineering environments","authors":"G. Oddy","doi":"10.1109/CMPEUR.1988.4968","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4968","url":null,"abstract":"There is considerable activity in the field of software engineering environments (SEEs). Most of this work assumes an architecture consisting of a number of software tools running on a kernel with a well-defined public tool interface (PTI). The background to current work in SEEs is outlined, and the current trend toward systems engineering environments is noted. The kernel approach is scrutinized as a possible architecture for such environments and found to be adequate only in the short term. A glimpse is given of an alternative approach.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114290960","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 : 1988-04-11DOI: 10.1109/CMPEUR.1988.4955
D. Dziergowski, É. Grégoire
A formal description of a software development method is a first step toward a rigorous implementation of tools, computer-assisted development methods, and, to some extent, toward automation of those methods. It should also be useful for an objective comparison or study of the power, nature, and limitations of methods. What can and what cannot be realistically formalized and automated in existing software development methods is rarely analyzed. The authors deal with the feasibility of such formalizations and with possible directions for automation. They sketch a framework for expressing the more formalizable aspects of methods.<>
{"title":"Formalizing software development methods","authors":"D. Dziergowski, É. Grégoire","doi":"10.1109/CMPEUR.1988.4955","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4955","url":null,"abstract":"A formal description of a software development method is a first step toward a rigorous implementation of tools, computer-assisted development methods, and, to some extent, toward automation of those methods. It should also be useful for an objective comparison or study of the power, nature, and limitations of methods. What can and what cannot be realistically formalized and automated in existing software development methods is rarely analyzed. The authors deal with the feasibility of such formalizations and with possible directions for automation. They sketch a framework for expressing the more formalizable aspects of methods.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126870409","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 : 1988-04-11DOI: 10.1109/CMPEUR.1988.4942
V. Oklobdzija, Greg Grohosky
The architecture of a single-chip processor with integrated fixed and floating-point execution units is presented. A single-chip implementation is enabled by current ASIC (application-specific integrated circuit) technology offering well in excess of 50000 gates per chip and delays on the order of 600 ps per gate. The basic principles of RISC (reduced-instruction-set-computer) architecture are used, and a fast floating-point processor is included as an integral part of the chip. The architecture is intended to make the processor attractive for a wide range of scientific computing when it is implemented as part of a special-purpose machine. The architecture takes advantage of the high level of integration and low power assumption of CMOS technology. The integration of the execution units and an efficient interunit communication protocol avoid off-chip delay penalties.<>
{"title":"Architectural study for an integrated fixed and floating-point VLSI-ASIC processor","authors":"V. Oklobdzija, Greg Grohosky","doi":"10.1109/CMPEUR.1988.4942","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4942","url":null,"abstract":"The architecture of a single-chip processor with integrated fixed and floating-point execution units is presented. A single-chip implementation is enabled by current ASIC (application-specific integrated circuit) technology offering well in excess of 50000 gates per chip and delays on the order of 600 ps per gate. The basic principles of RISC (reduced-instruction-set-computer) architecture are used, and a fast floating-point processor is included as an integral part of the chip. The architecture is intended to make the processor attractive for a wide range of scientific computing when it is implemented as part of a special-purpose machine. The architecture takes advantage of the high level of integration and low power assumption of CMOS technology. The integration of the execution units and an efficient interunit communication protocol avoid off-chip delay penalties.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122296728","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 : 1988-04-11DOI: 10.1109/CMPEUR.1988.4954
L.M.G. Fejs
The authors present the formalization of methodological principles for developing large and complex software systems. They address the issues of information hiding that arise in hierarchical structured and componentwise-specified software systems using a binary implementation relation. They introduce a formally defined notion of design as a concept leading to definitions of black-box correctness (based on the exclusive use of specifications) and glass-box correctness (using implementation knowledge). The authors show the methodological soundness of black-box correctness and give an example demonstrating the pitfalls that can result from glass-box correctness. This is done in the framework of an algebraic approach to module composition using a version of lambda calculus for parameterization. The concepts are illustrated by small examples written in COLD.<>
{"title":"A formalisation of design structures","authors":"L.M.G. Fejs","doi":"10.1109/CMPEUR.1988.4954","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4954","url":null,"abstract":"The authors present the formalization of methodological principles for developing large and complex software systems. They address the issues of information hiding that arise in hierarchical structured and componentwise-specified software systems using a binary implementation relation. They introduce a formally defined notion of design as a concept leading to definitions of black-box correctness (based on the exclusive use of specifications) and glass-box correctness (using implementation knowledge). The authors show the methodological soundness of black-box correctness and give an example demonstrating the pitfalls that can result from glass-box correctness. This is done in the framework of an algebraic approach to module composition using a version of lambda calculus for parameterization. The concepts are illustrated by small examples written in COLD.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129501607","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 : 1988-04-11DOI: 10.1109/CMPEUR.1988.4956
I. V. Horebeek, B. Vergauwen, J. Lewi
The authors present an algebraic specification of two-party voice calls. Abstraction is made from technical details. Only relevant characteristics are specified. Emphasis is put on modularity and on a so-called object-oriented design methodology. As a vehicle for this exposition, the authors use a constructive algebraic specification language that allows rapid prototyping.<>
{"title":"Formal specifications: an industrial case study","authors":"I. V. Horebeek, B. Vergauwen, J. Lewi","doi":"10.1109/CMPEUR.1988.4956","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4956","url":null,"abstract":"The authors present an algebraic specification of two-party voice calls. Abstraction is made from technical details. Only relevant characteristics are specified. Emphasis is put on modularity and on a so-called object-oriented design methodology. As a vehicle for this exposition, the authors use a constructive algebraic specification language that allows rapid prototyping.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123219279","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 : 1988-04-11DOI: 10.1109/CMPEUR.1988.4951
R. Boute
In current practice, many issues in computer science are formulated and treated as formal logic theories, even though this style of axiomatization is inappropriate for the topic at hand. Comparison with the scientific approach in more mature disciplines, such as mathematics, physics and applied science, reveals the causes and the unwanted effects of this phenomenon and shows, more generally, that the methodological basis for computer science is still far from being fully developed. The impact on a few important research areas is briefly discussed. It is argued that this state of affairs can be improved by recognizing that the traditional characterization of the discipline of computer science, which may have been appropriate during the initial years, is now due for a major revision, and by broadening the 'pure' computer science curricula through the inclusion of judiciously chosen additional topics in mathematics, physics, and systems theory.<>
{"title":"On the shortcomings of the axiomatic approach as presently used in computer science","authors":"R. Boute","doi":"10.1109/CMPEUR.1988.4951","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4951","url":null,"abstract":"In current practice, many issues in computer science are formulated and treated as formal logic theories, even though this style of axiomatization is inappropriate for the topic at hand. Comparison with the scientific approach in more mature disciplines, such as mathematics, physics and applied science, reveals the causes and the unwanted effects of this phenomenon and shows, more generally, that the methodological basis for computer science is still far from being fully developed. The impact on a few important research areas is briefly discussed. It is argued that this state of affairs can be improved by recognizing that the traditional characterization of the discipline of computer science, which may have been appropriate during the initial years, is now due for a major revision, and by broadening the 'pure' computer science curricula through the inclusion of judiciously chosen additional topics in mathematics, physics, and systems theory.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130981972","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
扫码关注我们
求助内容：
应助结果提醒方式：