{"title":"Book review: Specification and Proof in Real Time CSP","authors":"D. Scholefield","doi":"10.1049/SEJ.1994.0017","DOIUrl":"https://doi.org/10.1049/SEJ.1994.0017","url":null,"abstract":"","PeriodicalId":41522,"journal":{"name":"e-Informatica Software Engineering Journal","volume":"2008 1","pages":"135"},"PeriodicalIF":0.8,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89514090","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":"Editorial. CASE 2000: the future of CASE technology","authors":"S. King, P. Layzell, Shirley Williams","doi":"10.1049/SEJ.1994.0018","DOIUrl":"https://doi.org/10.1049/SEJ.1994.0018","url":null,"abstract":"","PeriodicalId":41522,"journal":{"name":"e-Informatica Software Engineering Journal","volume":"260 1","pages":"138"},"PeriodicalIF":0.8,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76537695","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":"Structuring parallel and distributed programs","authors":"J. Magee, Naranker Dulay, J. Kramer","doi":"10.1049/sej.1993.0011","DOIUrl":"https://doi.org/10.1049/sej.1993.0011","url":null,"abstract":"Darwin is a configuration language which allows distributed and parallel programs to be structured in terms of groups of process instances which communicate by message passing. In addition to expressing static structure, Darwin can be used to express structures which change dynamically as execution progresses. The authors present a set of examples illustrating the use of Darwin in constructing parallel programs. Since processes can be considered to be an abstraction of physical processors, Darwin can also be used to describe the hardware structure of distributed memory multicomputers in terms of processors and their interconnection. The authors illustrate this for a multicomputer constructed from transputers and show its use in the process of mapping the logical structure of a parallel program to the physical hardware.","PeriodicalId":41522,"journal":{"name":"e-Informatica Software Engineering Journal","volume":"68 1","pages":"102-117"},"PeriodicalIF":0.8,"publicationDate":"1993-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86058216","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":"Automatic reconfiguration in the presence of failures","authors":"F. Cristian","doi":"10.1049/sej.1993.0009","DOIUrl":"https://doi.org/10.1049/sej.1993.0009","url":null,"abstract":"The paper describes a new kind of distributed system service, the availability management service, responsible for ensuring that the critical services of a distributed system remain continuously available to users despite arbitrary numbers of concurrent node removals and node restarts caused by failures, maintenance, and growth. It stresses the main ideas behind this new service, and outlines a simple design that depends on the existence of synchronous membership and atomic broadcast group communication services. Extensions of this initial design to deal with asynchronous group communication services are also briefly discussed. >","PeriodicalId":41522,"journal":{"name":"e-Informatica Software Engineering Journal","volume":"142 1","pages":"4-17"},"PeriodicalIF":0.8,"publicationDate":"1993-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85273643","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":"Surgeon: a packager for dynamically reconfigurable distributed applications","authors":"C. Hofmeister, E. White, James M. Purtilo","doi":"10.1049/sej.1993.0013","DOIUrl":"https://doi.org/10.1049/sej.1993.0013","url":null,"abstract":"Surgeon is a tool that helps programmers prepare software to be dynamically reconfigured. Dynamic reconfiguration environments allow programmers to change a distributed software application while it executes, but existing environments require programmers to manually adapt their software for reconfiguration. However, recent work on the automatic preparation of software for a distributed execution environment (software packaging) shows that interfacing software can be generated automatically, given abstract descriptions of the components and the desired application geometry. Surgeon merges these results so that programmers can dynamically reconfigure their applications without the overhead of manually adapting the software.","PeriodicalId":41522,"journal":{"name":"e-Informatica Software Engineering Journal","volume":"280 1","pages":"164-175"},"PeriodicalIF":0.8,"publicationDate":"1993-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76713355","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号
