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

Architecting Systems with Trustworthy Components最新文献

筛选
英文 中文
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation 接口和体系结构的核心理论及其对面向对象的影响
Architecting Systems with Trustworthy Components Pub Date : 2004-12-12 DOI: 10.1007/11786160_2
M. Broy
{"title":"A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation","authors":"M. Broy","doi":"10.1007/11786160_2","DOIUrl":"https://doi.org/10.1007/11786160_2","url":null,"abstract":"","PeriodicalId":410700,"journal":{"name":"Architecting Systems with Trustworthy Components","volume":"134 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123219142","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}
引用次数: 6
Exceptions in Component Interaction Protocols - Necessity 组件交互协议中的例外——必要性
Architecting Systems with Trustworthy Components Pub Date : 2004-12-12 DOI: 10.1007/11786160_13
F. Plášil, V. Holub
{"title":"Exceptions in Component Interaction Protocols - Necessity","authors":"F. Plášil, V. Holub","doi":"10.1007/11786160_13","DOIUrl":"https://doi.org/10.1007/11786160_13","url":null,"abstract":"","PeriodicalId":410700,"journal":{"name":"Architecting Systems with Trustworthy Components","volume":"23 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124234572","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}
引用次数: 1
Compatible Component Upgrades Through Smart Component Swapping 通过智能组件交换实现兼容组件升级
Architecting Systems with Trustworthy Components Pub Date : 2004-12-12 DOI: 10.1007/11786160_12
Alexander Stuckenholz, Olaf Zwintzscher
{"title":"Compatible Component Upgrades Through Smart Component Swapping","authors":"Alexander Stuckenholz, Olaf Zwintzscher","doi":"10.1007/11786160_12","DOIUrl":"https://doi.org/10.1007/11786160_12","url":null,"abstract":"","PeriodicalId":410700,"journal":{"name":"Architecting Systems with Trustworthy Components","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127406150","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}
引用次数: 5
Trustworthy Instantiation of Frameworks 框架的可信实例化
Architecting Systems with Trustworthy Components Pub Date : 2004-12-12 DOI: 10.1007/11786160_9
U. Assmann, A. Bartho, Falk Hartmann, Ilie Savga, Barbara Wittek
{"title":"Trustworthy Instantiation of Frameworks","authors":"U. Assmann, A. Bartho, Falk Hartmann, Ilie Savga, Barbara Wittek","doi":"10.1007/11786160_9","DOIUrl":"https://doi.org/10.1007/11786160_9","url":null,"abstract":"","PeriodicalId":410700,"journal":{"name":"Architecting Systems with Trustworthy Components","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114546533","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}
引用次数: 4
Towards an Engineering Approach to Component Adaptation 面向组件适配的工程方法
Architecting Systems with Trustworthy Components Pub Date : 2004-12-12 DOI: 10.1007/11786160_11
Steffen Becker, Antonio Brogi, I. Gorton, Sven Overhage, A. Romanovsky, Massimo Tivoli
{"title":"Towards an Engineering Approach to Component Adaptation","authors":"Steffen Becker, Antonio Brogi, I. Gorton, Sven Overhage, A. Romanovsky, Massimo Tivoli","doi":"10.1007/11786160_11","DOIUrl":"https://doi.org/10.1007/11786160_11","url":null,"abstract":"","PeriodicalId":410700,"journal":{"name":"Architecting Systems with Trustworthy Components","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126108230","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}
引用次数: 97
Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective 基于组件的系统性能预测——从工程角度的综述
Architecting Systems with Trustworthy Components Pub Date : 2004-12-12 DOI: 10.1007/11786160_10
Steffen Becker, Lars Grunske, R. Mirandola, Sven Overhage
{"title":"Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective","authors":"Steffen Becker, Lars Grunske, R. Mirandola, Sven Overhage","doi":"10.1007/11786160_10","DOIUrl":"https://doi.org/10.1007/11786160_10","url":null,"abstract":"","PeriodicalId":410700,"journal":{"name":"Architecting Systems with Trustworthy Components","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134561080","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}
引用次数: 101
Unifying Hardware and Software Components for Embedded System Development 嵌入式系统开发中软硬件组件的统一
Architecting Systems with Trustworthy Components Pub Date : 2004-12-12 DOI: 10.1007/11786160_7
C. Bunse, H. Groß
{"title":"Unifying Hardware and Software Components for Embedded System Development","authors":"C. Bunse, H. Groß","doi":"10.1007/11786160_7","DOIUrl":"https://doi.org/10.1007/11786160_7","url":null,"abstract":"","PeriodicalId":410700,"journal":{"name":"Architecting Systems with Trustworthy Components","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115037168","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}
引用次数: 17
On the Composition of Compositional Reasoning 论组合推理的构成
Architecting Systems with Trustworthy Components Pub Date : 2004-12-12 DOI: 10.1007/11786160_8
F. Freiling, T. Santen
{"title":"On the Composition of Compositional Reasoning","authors":"F. Freiling, T. Santen","doi":"10.1007/11786160_8","DOIUrl":"https://doi.org/10.1007/11786160_8","url":null,"abstract":"","PeriodicalId":410700,"journal":{"name":"Architecting Systems with Trustworthy Components","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133931706","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
Making Specifications Complete Through Models 通过模型完成规格
Architecting Systems with Trustworthy Components Pub Date : 2004-12-12 DOI: 10.1007/11786160_3
B. Schoeller, Tobias Widmer, B. Meyer
{"title":"Making Specifications Complete Through Models","authors":"B. Schoeller, Tobias Widmer, B. Meyer","doi":"10.1007/11786160_3","DOIUrl":"https://doi.org/10.1007/11786160_3","url":null,"abstract":"","PeriodicalId":410700,"journal":{"name":"Architecting Systems with Trustworthy Components","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123471444","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}
引用次数: 18
Coalgebraic Semantics for Component Systems 组件系统的共代数语义
Architecting Systems with Trustworthy Components Pub Date : 2004-12-12 DOI: 10.1007/11786160_14
S. Glesner, J. Blech
{"title":"Coalgebraic Semantics for Component Systems","authors":"S. Glesner, J. Blech","doi":"10.1007/11786160_14","DOIUrl":"https://doi.org/10.1007/11786160_14","url":null,"abstract":"","PeriodicalId":410700,"journal":{"name":"Architecting Systems with Trustworthy Components","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122614749","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
下一页 尾页
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学术官方微信