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

Advances in Software Engineering and Knowledge Engineering最新文献

筛选
英文 中文
Knowledge Representation in current Design Methods 当前设计方法中的知识表示
Advances in Software Engineering and Knowledge Engineering Pub Date : 1993-12-01 DOI: 10.1142/9789812798039_0003
B. Blum
{"title":"Knowledge Representation in current Design Methods","authors":"B. Blum","doi":"10.1142/9789812798039_0003","DOIUrl":"https://doi.org/10.1142/9789812798039_0003","url":null,"abstract":"","PeriodicalId":366040,"journal":{"name":"Advances in Software Engineering and Knowledge Engineering","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127976421","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
Modeling the Software Development Process 软件开发过程建模
Advances in Software Engineering and Knowledge Engineering Pub Date : 1900-01-01 DOI: 10.1142/9789812798039_0002
V. Ambriola, C. Montangero
{"title":"Modeling the Software Development Process","authors":"V. Ambriola, C. Montangero","doi":"10.1142/9789812798039_0002","DOIUrl":"https://doi.org/10.1142/9789812798039_0002","url":null,"abstract":"","PeriodicalId":366040,"journal":{"name":"Advances in Software Engineering and Knowledge Engineering","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115679103","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
An Introduction to Software Architecture 软件架构导论
Advances in Software Engineering and Knowledge Engineering Pub Date : 1900-01-01 DOI: 10.1142/9789812798039_0001
D. Garlan, Mary Shaw
{"title":"An Introduction to Software Architecture","authors":"D. Garlan, Mary Shaw","doi":"10.1142/9789812798039_0001","DOIUrl":"https://doi.org/10.1142/9789812798039_0001","url":null,"abstract":"As the size of software systems increases, the algorithms and data structures of the computation no longer constitute the major design problems. When systems are constructed from many components, the organization of the overall system -- the software architecture -- presents a new set of design problems. This level of design has been addressed in a number of ways including informal diagrams and descriptive terms, module interconnection languages, templates and frameworks for systems that serve the needs of specific domains, and formal models of component integration mechanisms. In this paper we provide an introduction to the emerging field of software architecture. We begin by considering a number of common architectural styles upon which many systems are currently based and show how different styles can be combined in a single design. Then we present six case studies to illustrate how architectural representations can improve our understanding of complex software systems. Finally, we survey some of the outstanding problems in the field, and consider a few of the promising research directions.","PeriodicalId":366040,"journal":{"name":"Advances in Software Engineering and Knowledge Engineering","volume":"295 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124229858","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}
引用次数: 379
Issues in the Verification and Validation of Knowledge-based Systems 基于知识的系统的验证和确认中的问题
Advances in Software Engineering and Knowledge Engineering Pub Date : 1900-01-01 DOI: 10.1142/9789812798039_0008
R. O'Keefe
{"title":"Issues in the Verification and Validation of Knowledge-based Systems","authors":"R. O'Keefe","doi":"10.1142/9789812798039_0008","DOIUrl":"https://doi.org/10.1142/9789812798039_0008","url":null,"abstract":"","PeriodicalId":366040,"journal":{"name":"Advances in Software Engineering and Knowledge Engineering","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127628531","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
What is Logic Programming good for in Software Engineering? 逻辑编程对软件工程有什么好处?
Advances in Software Engineering and Knowledge Engineering Pub Date : 1900-01-01 DOI: 10.1142/9789812798039_0005
P. Ciancarini, G. Levi
{"title":"What is Logic Programming good for in Software Engineering?","authors":"P. Ciancarini, G. Levi","doi":"10.1142/9789812798039_0005","DOIUrl":"https://doi.org/10.1142/9789812798039_0005","url":null,"abstract":"It has been argued that logic programming will survive only insofar as useful applications can be built and proved effective, implicitly affirming that such applications have not yet been built. We show that from the perspective of a software engineer logic programming offers several methods and techniques that are useful for his work. Thus, we overview the main features of logic programming from the point of view of software engineering, and summarize some approaches to the design and the prototyping of logic programming based software engineering applications. 1. e-mail: cianca@cs.unibo.it 2. Department of Informatics, University of Pisa, corso Italia, 40, 56125 Pisa, Italy.","PeriodicalId":366040,"journal":{"name":"Advances in Software Engineering and Knowledge Engineering","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132488299","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
Parallel Execution of Real-Time Petri Nets 实时Petri网的并行执行
Advances in Software Engineering and Knowledge Engineering Pub Date : 1900-01-01 DOI: 10.1142/9789812798039_0006
C. Ghezzi, M. Pezzè, Kim Portman
{"title":"Parallel Execution of Real-Time Petri Nets","authors":"C. Ghezzi, M. Pezzè, Kim Portman","doi":"10.1142/9789812798039_0006","DOIUrl":"https://doi.org/10.1142/9789812798039_0006","url":null,"abstract":"","PeriodicalId":366040,"journal":{"name":"Advances in Software Engineering and Knowledge Engineering","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129610005","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
Introduction to Information Retrieval for Software Reuse 面向软件重用的信息检索导论
Advances in Software Engineering and Knowledge Engineering Pub Date : 1900-01-01 DOI: 10.1142/9789812798039_0007
Y. Maarek
{"title":"Introduction to Information Retrieval for Software Reuse","authors":"Y. Maarek","doi":"10.1142/9789812798039_0007","DOIUrl":"https://doi.org/10.1142/9789812798039_0007","url":null,"abstract":"","PeriodicalId":366040,"journal":{"name":"Advances in Software Engineering and Knowledge Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124107790","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
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学术官方微信