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

Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering最新文献

筛选
英文 中文
An introduction to BagL BagL简介
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227914
Denise E. Cooke, A. Gutierrez
{"title":"An introduction to BagL","authors":"Denise E. Cooke, A. Gutierrez","doi":"10.1109/SEKE.1992.227914","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227914","url":null,"abstract":"Introduces a compilable program specification language, BagL. BagL is the result of a formal study to ascertain how data/control structure interaction can be abstracted. BagL meets the accepted properties of a 'good' language. BagL maintains a consistent level of abstraction; is extensible, orthogonal, concise, and unambiguous; and addresses software evolutionary issues. A visual interface for the formal BagL language is presented, as well as the syntax and informal semantics of BagL.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114840339","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
Correctness of full first-order specifications 完整的一阶规格的正确性
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227918
W. Reif
{"title":"Correctness of full first-order specifications","authors":"W. Reif","doi":"10.1109/SEKE.1992.227918","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227918","url":null,"abstract":"Investigates an algebraic specification method for abstract data types which is designed for the application in formal software development. The specification language is full first-order logic, and the semantics of a specification is the class of its generated models. Full first-order specifications are more flexible than Horn clause specifications and exhibit better deductive properties. The author presents criteria for the correctness of full first-order specifications and for the incremental development of large specifications from smaller ones.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116890773","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
Towards integrating logic, object, frame, and production 迈向整合逻辑、对象、框架和生产
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227916
T. Chan, Wei-Ren Hwang
{"title":"Towards integrating logic, object, frame, and production","authors":"T. Chan, Wei-Ren Hwang","doi":"10.1109/SEKE.1992.227916","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227916","url":null,"abstract":"Recently, considerable interest has arisen in integrating object-oriented and logic programming. In this paper, the authors describe an object-oriented logic programming language and discuss its extension by exploring its role and representation in an artificial intelligence frame system and production system. In particular they describe how to add derived slots into classes and to represent production rules in an object-oriented production system, forming a framework of knowledge-based systems with multiple paradigms.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116973193","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
Querying and analysis of software specifications 软件规格的查询和分析
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227915
A. F. Abate, C. D'apolito, G. Nota, G. Pacini
{"title":"Querying and analysis of software specifications","authors":"A. F. Abate, C. D'apolito, G. Nota, G. Pacini","doi":"10.1109/SEKE.1992.227915","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227915","url":null,"abstract":"A system for the definition, querying and analysis of executable specification is presented in the paper. After a short review RSF, a specification language for the definition of systems with time constraints, the authors consider the problem of querying the specifications. The query language RSQ allows one to characterize sub-classes of possible specification execution behaviours in terms of queries directed to the specification. The problem of selection of significant information produced during the execution of the specification is also considered. The system proposes three linguistic tools, one for the definition, one for the querying and the last for the filtering of executable software specifications. The linguistic tools are quite homogeneous both in their syntax and semantics and support the organization of software behaviour inspection and analysis in the RSF prototyping environment.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"174 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128272727","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
Integrated specification of method and graphic knowledge 综合规范的方法和图形知识
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227974
A. Hofstede, T. Verhoef, E. Nieuwland, G. Wijers
{"title":"Integrated specification of method and graphic knowledge","authors":"A. Hofstede, T. Verhoef, E. Nieuwland, G. Wijers","doi":"10.1109/SEKE.1992.227974","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227974","url":null,"abstract":"The current generation of CASE tools mainly provides rigid and inflexible support for editing, storage, verification and transformation of specifications. Information engineers have to adapt their way of working to CASE took instead of vice versa. To enable a more flexible, method-independent support of information engineers, the concept of a CASE shell has emerged. Crucial for CASE shells is the specification of interpretable method knowledge. A technique capable of specifying method knowledge is referred to as a meta-modelling technique. In this paper it is stressed that a met-modelling technique should also be able to represent graphic conventions in methods. An existing meta-modelling technique is extended With constructs for the integrated representation of method and graphic knowledge.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127398026","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
Compiling rules and queries in knowledge base systems: a substitution-based approach 在知识库系统中编译规则和查询:一种基于替换的方法
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227940
Jonghoon Chun, L. Henschen
{"title":"Compiling rules and queries in knowledge base systems: a substitution-based approach","authors":"Jonghoon Chun, L. Henschen","doi":"10.1109/SEKE.1992.227940","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227940","url":null,"abstract":"The use of negative information and the unrestricted use of quantifiers in the body of a rule enhances the expressive power of deductive database systems. The authors introduce a more relaxed version of conventional (Skolem) function-free databases, called acceptable databases which generalize the class of allowed databases by accepting occurrences of universal quantifiers for variables occurring in positive literals and existential quantifiers for variables occurring in negative literals in the body of an IDB rule. The compilation technique suitable for compiling acceptable IDB rules based on the substitution rule is addressed. They show the correctness of the substitution-based compilation by proving completeness and soundness of the substitution rule.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127549844","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
Towards dynamic generation of knowledge-based environments for software process assistance 面向动态生成软件过程辅助的基于知识的环境
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227944
F. Akhras, S. Melnikoff
{"title":"Towards dynamic generation of knowledge-based environments for software process assistance","authors":"F. Akhras, S. Melnikoff","doi":"10.1109/SEKE.1992.227944","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227944","url":null,"abstract":"To provide support for the development of reliable software in a cost-effective way, software engineering environments should be based on a software process model containing explicit representations of the knowledge needed to perform a software process, being able to offer an active assistance to that process. Moreover, process models can vary to reflect specific characteristics of projects and can change dynamically, as the process occurs. To support this changing nature of software process models, the environment should have mechanisms that allow generation of process models according to project needs and dynamic modification of the models during the software process. This paper describes a software engineering environment that combines knowledge-based assistant with dynamic meta-system concepts to offer active and flexible support for software processes. The main concern is to discuss the knowledge representation issues related to this environment.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132508396","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
A distributed load building algorithm for parallel compilation of files in a software application 一种用于软件应用程序中并行编译文件的分布式负载构建算法
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227919
A. Hác, R. R. Loka
{"title":"A distributed load building algorithm for parallel compilation of files in a software application","authors":"A. Hác, R. R. Loka","doi":"10.1109/SEKE.1992.227919","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227919","url":null,"abstract":"This paper presents a new algorithm for parallel compilation of files in a multiprocessor or distributed software development environment. The algorithm reduces the elapsed time of load building for software application by allowing for parallel compilation of files. The distributed load building algorithm is based on the dependency graph. Performance of the algorithm is analyzed in a multiprocessor environment. The algorithm is implemented in a distributed system and tested for different number of files in the application and various number of processors. The results show that the system performance improves significantly as the number of processors in the system increases.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"452 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132024498","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
ProTest: a knowledge analysis tool for the development of expert systems 用于开发专家系统的知识分析工具
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227927
I. Watson, M. Norman
{"title":"ProTest: a knowledge analysis tool for the development of expert systems","authors":"I. Watson, M. Norman","doi":"10.1109/SEKE.1992.227927","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227927","url":null,"abstract":"This paper describes a knowledge analysis tool, ProTest, that assists knowledge engineers structure and validate knowledge. At ProTest's core is a Prolog program that tests elicited knowledge for logical consistency, logical loops, and redundancy. Experience gained from several expert system projects has shown the value of using an intermediate knowledge representation. This can be validated by domain experts before implementation, and then serves as a statement of the knowledge in the system. The intermediate representation that the authors use is inference nets. Practical problems in drawing up inference nets, managing sets of nets and testing sets for consistency, loops, and redundancy led them to design and implement their own tool. They discuss the motivation behind the program, its implementation, its use, and its potential for further development.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131426071","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
Knowledge engineering for protein structure and motifs: design of a prototype system 蛋白质结构与基序的知识工程:一个原型系统的设计
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227960
S. Subramaniam, D. Tcheng, K. Hu, Harish Ragavan, L. Rendell
{"title":"Knowledge engineering for protein structure and motifs: design of a prototype system","authors":"S. Subramaniam, D. Tcheng, K. Hu, Harish Ragavan, L. Rendell","doi":"10.1109/SEKE.1992.227960","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227960","url":null,"abstract":"A knowledge base and learning system is designed to help biologists predict protein structure and function based on sequence information. The knowledge base contains diverse information about: (a) protein motif sequences and structures, (b) heuristics and programs for identifying protein features, and (c) molecular simulation programs. The learning system selects the most relevant information for a particular prediction task and optimally integrates the information to generate accurate and comprehensible hypotheses. Biologists define the objectives for learning such as accuracy and comprehensibility. To overcome the limitations of existing induction algorithms, techniques are developed for constructing new features based on the existing knowledge base. Optimization algorithms are used for determining the best combination of induction and feature construction strategies for a problem.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122263820","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信