发布求助
文献互助 智能选刊 最新文献

e-Informatica Software Engineering Journal最新文献

筛选
英文 中文
Software Metrics: a Practitioner's Guide to Improved Product Development 软件度量:改进产品开发的实践者指南
IF 0.8
e-Informatica Software Engineering Journal Pub Date : 1994-01-01 DOI: 10.1049/SEJ.1994.0007
N. Fenton
{"title":"Software Metrics: a Practitioner's Guide to Improved Product Development","authors":"N. Fenton","doi":"10.1049/SEJ.1994.0007","DOIUrl":"https://doi.org/10.1049/SEJ.1994.0007","url":null,"abstract":"","PeriodicalId":41522,"journal":{"name":"e-Informatica Software Engineering Journal","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81398006","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}
引用次数: 9
Software Engineering: Principles and Practice 软件工程:原理与实践
IF 0.8
e-Informatica Software Engineering Journal Pub Date : 1994-01-01 DOI: 10.1049/sej.1994.0029
I. Sommerville
{"title":"Software Engineering: Principles and Practice","authors":"I. Sommerville","doi":"10.1049/sej.1994.0029","DOIUrl":"https://doi.org/10.1049/sej.1994.0029","url":null,"abstract":"","PeriodicalId":41522,"journal":{"name":"e-Informatica Software Engineering Journal","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83194053","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}
引用次数: 2
Editorial. CASE 2000: the future of CASE technology 社论。CASE 2000: CASE技术的未来
IF 0.8
e-Informatica Software Engineering Journal Pub Date : 1994-01-01 DOI: 10.1049/SEJ.1994.0018
S. King, P. Layzell, Shirley Williams
{"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":null,"pages":null},"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}
引用次数: 2
Embedded Real-Time Systems: a Specification and Design Methodology 嵌入式实时系统:规范和设计方法
IF 0.8
e-Informatica Software Engineering Journal Pub Date : 1994-01-01 DOI: 10.1049/SEJ.1994.0006
A. Wellings
{"title":"Embedded Real-Time Systems: a Specification and Design Methodology","authors":"A. Wellings","doi":"10.1049/SEJ.1994.0006","DOIUrl":"https://doi.org/10.1049/SEJ.1994.0006","url":null,"abstract":"","PeriodicalId":41522,"journal":{"name":"e-Informatica Software Engineering Journal","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91310444","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}
引用次数: 51
Personal view: Formal methods: epideictic or apodeictic? 个人观点:形式方法:争论性的还是肯定性的?
IF 0.8
e-Informatica Software Engineering Journal Pub Date : 1994-01-01 DOI: 10.1049/SEJ.1994.0001
Jonathan P. Bowen, V. Stavridou
{"title":"Personal view: Formal methods: epideictic or apodeictic?","authors":"Jonathan P. Bowen, V. Stavridou","doi":"10.1049/SEJ.1994.0001","DOIUrl":"https://doi.org/10.1049/SEJ.1994.0001","url":null,"abstract":"","PeriodicalId":41522,"journal":{"name":"e-Informatica Software Engineering Journal","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88522338","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}
引用次数: 3
Editorial. Software beyond 2001 社论。2001年以后的软件
IF 0.8
e-Informatica Software Engineering Journal Pub Date : 1994-01-01 DOI: 10.1049/sej.1994.0031
J. Siddiqi
{"title":"Editorial. Software beyond 2001","authors":"J. Siddiqi","doi":"10.1049/sej.1994.0031","DOIUrl":"https://doi.org/10.1049/sej.1994.0031","url":null,"abstract":"","PeriodicalId":41522,"journal":{"name":"e-Informatica Software Engineering Journal","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73963123","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}
引用次数: 0
Book review: Safety-Critical Systems: Current Issues, Techniques and Standards 书评:安全关键系统:当前问题、技术和标准
IF 0.8
e-Informatica Software Engineering Journal Pub Date : 1993-11-01 DOI: 10.1049/SEJ.1993.0040
J. Cunningham
{"title":"Book review: Safety-Critical Systems: Current Issues, Techniques and Standards","authors":"J. Cunningham","doi":"10.1049/SEJ.1993.0040","DOIUrl":"https://doi.org/10.1049/SEJ.1993.0040","url":null,"abstract":"","PeriodicalId":41522,"journal":{"name":"e-Informatica Software Engineering Journal","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81189818","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}
引用次数: 0
Structuring parallel and distributed programs 构建并行和分布式程序
IF 0.8
e-Informatica Software Engineering Journal Pub Date : 1993-03-01 DOI: 10.1049/sej.1993.0011
J. Magee, Naranker Dulay, J. Kramer
{"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":null,"pages":null},"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}
引用次数: 198
Automatic reconfiguration in the presence of failures 在出现故障时自动重新配置
IF 0.8
e-Informatica Software Engineering Journal Pub Date : 1993-03-01 DOI: 10.1049/sej.1993.0009
F. Cristian
{"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":null,"pages":null},"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}
引用次数: 33
Surgeon: a packager for dynamically reconfigurable distributed applications 用于动态可重构分布式应用程序的打包器
IF 0.8
e-Informatica Software Engineering Journal Pub Date : 1993-03-01 DOI: 10.1049/sej.1993.0013
C. Hofmeister, E. White, James M. Purtilo
{"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":null,"pages":null},"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}
引用次数: 58
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信