Pub Date : 1993-12-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 10.1142/9789812798039_0001
D. Garlan, Mary Shaw
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.
{"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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 10.1142/9789812798039_0005
P. Ciancarini, G. Levi
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.
{"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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：