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

Radical Innovations of Software and Systems Engineering in the Future最新文献

筛选
英文 中文
View Consistency in Software Development 查看软件开发中的一致性
Radical Innovations of Software and Systems Engineering in the Future Pub Date : 2002-10-07 DOI: 10.1007/978-3-540-24626-8_24
M. Wirsing, Alexander Knapp
{"title":"View Consistency in Software Development","authors":"M. Wirsing, Alexander Knapp","doi":"10.1007/978-3-540-24626-8_24","DOIUrl":"https://doi.org/10.1007/978-3-540-24626-8_24","url":null,"abstract":"","PeriodicalId":148142,"journal":{"name":"Radical Innovations of Software and Systems Engineering in the Future","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124397931","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
Model-Checking Complex Software - A Memory Perspective 复杂软件的模型检查——一个内存的视角
Radical Innovations of Software and Systems Engineering in the Future Pub Date : 2002-10-07 DOI: 10.1007/978-3-540-24626-8_20
M. Rangarajan, D. Cofer
{"title":"Model-Checking Complex Software - A Memory Perspective","authors":"M. Rangarajan, D. Cofer","doi":"10.1007/978-3-540-24626-8_20","DOIUrl":"https://doi.org/10.1007/978-3-540-24626-8_20","url":null,"abstract":"","PeriodicalId":148142,"journal":{"name":"Radical Innovations of Software and Systems Engineering in the Future","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131442976","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
Model Generation for Legacy Systems 遗留系统的模型生成
Radical Innovations of Software and Systems Engineering in the Future Pub Date : 2002-10-07 DOI: 10.1007/978-3-540-24626-8_11
H. Hungar, T. Margaria, B. Steffen
{"title":"Model Generation for Legacy Systems","authors":"H. Hungar, T. Margaria, B. Steffen","doi":"10.1007/978-3-540-24626-8_11","DOIUrl":"https://doi.org/10.1007/978-3-540-24626-8_11","url":null,"abstract":"","PeriodicalId":148142,"journal":{"name":"Radical Innovations of Software and Systems Engineering in the Future","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130048905","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 Fully Automatic Execution Monitoring 迈向全自动执行监控
Radical Innovations of Software and Systems Engineering in the Future Pub Date : 2002-10-07 DOI: 10.1007/978-3-540-24626-8_14
Clinton Jeffery, M. Auguston, Scott Underwood
{"title":"Towards Fully Automatic Execution Monitoring","authors":"Clinton Jeffery, M. Auguston, Scott Underwood","doi":"10.1007/978-3-540-24626-8_14","DOIUrl":"https://doi.org/10.1007/978-3-540-24626-8_14","url":null,"abstract":"","PeriodicalId":148142,"journal":{"name":"Radical Innovations of Software and Systems Engineering in the Future","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130246586","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}
引用次数: 7
Module Dependences in Software Design 软件设计中的模块依赖性
Radical Innovations of Software and Systems Engineering in the Future Pub Date : 2002-10-07 DOI: 10.1007/978-3-540-24626-8_13
D. Jackson
{"title":"Module Dependences in Software Design","authors":"D. Jackson","doi":"10.1007/978-3-540-24626-8_13","DOIUrl":"https://doi.org/10.1007/978-3-540-24626-8_13","url":null,"abstract":"","PeriodicalId":148142,"journal":{"name":"Radical Innovations of Software and Systems Engineering in the Future","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124416355","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}
引用次数: 16
Toward Component-Oriented Formal Software Development: An Algebraic Approach 面向组件的正式软件开发:代数方法
Radical Innovations of Software and Systems Engineering in the Future Pub Date : 2002-10-07 DOI: 10.1007/978-3-540-24626-8_5
M. Bidoit, D. Sannella, A. Tarlecki
{"title":"Toward Component-Oriented Formal Software Development: An Algebraic Approach","authors":"M. Bidoit, D. Sannella, A. Tarlecki","doi":"10.1007/978-3-540-24626-8_5","DOIUrl":"https://doi.org/10.1007/978-3-540-24626-8_5","url":null,"abstract":"","PeriodicalId":148142,"journal":{"name":"Radical Innovations of Software and Systems Engineering in the Future","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133700675","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}
引用次数: 52
Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems 基于体系结构的实时嵌入式系统模型驱动软件与系统开发
Radical Innovations of Software and Systems Engineering in the Future Pub Date : 2002-10-07 DOI: 10.1007/978-3-540-24626-8_17
B. Lewis
{"title":"Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems","authors":"B. Lewis","doi":"10.1007/978-3-540-24626-8_17","DOIUrl":"https://doi.org/10.1007/978-3-540-24626-8_17","url":null,"abstract":"","PeriodicalId":148142,"journal":{"name":"Radical Innovations of Software and Systems Engineering in the Future","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122766062","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}
引用次数: 11
A Model Based Development Approach for Distributed Embedded Systems 基于模型的分布式嵌入式系统开发方法
Radical Innovations of Software and Systems Engineering in the Future Pub Date : 2002-10-07 DOI: 10.1007/978-3-540-24626-8_9
Frédéric Gilliers, F. Kordon, D. Regep
{"title":"A Model Based Development Approach for Distributed Embedded Systems","authors":"Frédéric Gilliers, F. Kordon, D. Regep","doi":"10.1007/978-3-540-24626-8_9","DOIUrl":"https://doi.org/10.1007/978-3-540-24626-8_9","url":null,"abstract":"","PeriodicalId":148142,"journal":{"name":"Radical Innovations of Software and Systems Engineering in the Future","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126026384","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
The Inevitable Pain of Software Development: Why There Is No Silver Bullet 软件开发中不可避免的痛苦:为什么没有银弹
Radical Innovations of Software and Systems Engineering in the Future Pub Date : 2002-10-07 DOI: 10.1007/978-3-540-24626-8_4
D. Berry
{"title":"The Inevitable Pain of Software Development: Why There Is No Silver Bullet","authors":"D. Berry","doi":"10.1007/978-3-540-24626-8_4","DOIUrl":"https://doi.org/10.1007/978-3-540-24626-8_4","url":null,"abstract":"","PeriodicalId":148142,"journal":{"name":"Radical Innovations of Software and Systems Engineering in the Future","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114470488","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}
引用次数: 50
Software Evolution as the Key to Productivity 软件进化是生产力的关键
Radical Innovations of Software and Systems Engineering in the Future Pub Date : 2002-10-07 DOI: 10.1007/978-3-540-24626-8_19
Oscar Nierstrasz
{"title":"Software Evolution as the Key to Productivity","authors":"Oscar Nierstrasz","doi":"10.1007/978-3-540-24626-8_19","DOIUrl":"https://doi.org/10.1007/978-3-540-24626-8_19","url":null,"abstract":"","PeriodicalId":148142,"journal":{"name":"Radical Innovations of Software and Systems Engineering in the Future","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125066606","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}
引用次数: 21
首页 上一页 下一页 尾页
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学术官方微信