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

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

筛选
英文 中文
MERA: meta language for software engineering MERA:软件工程的元语言
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227912
Koji Takeda, David N. Chin, I. Miyamoto
{"title":"MERA: meta language for software engineering","authors":"Koji Takeda, David N. Chin, I. Miyamoto","doi":"10.1109/SEKE.1992.227912","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227912","url":null,"abstract":"MERA (Meta Entity-Relation-Attribute) is a versatile graphical language which can be used for modeling and analysis of the user requirements, for building a prototype, for representing designer's knowledge for controlling design process, etc. The current version of MERA has capacity for animation, view operation, user adaptability, and some semantic level processing. It also contains dozens of modeling formalisms which were created to support various tasks in the software engineering practice. The authors have created many tools to support the MERA language including a syntax-driven graph editor, user interface simulator, requirements analysis and prototyping environments, methodology adaptable design environment, requirements interview system and program understanding system. This paper presents the important features of the MERA language and MERA based software engineering tools.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"26 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":"125935798","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}
引用次数: 15
A kernel architecture for a computer aided knowledge engineering workbench 一个计算机辅助知识工程工作台的内核体系结构
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227947
Zeger Karssen, C. Toussaint
{"title":"A kernel architecture for a computer aided knowledge engineering workbench","authors":"Zeger Karssen, C. Toussaint","doi":"10.1109/SEKE.1992.227947","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227947","url":null,"abstract":"Within the context of the Esprit-project Kads-II methodology is being developed which will support the entire life-cycle of the development of a knowledge based system (KBS). This methodology called CommonKads is to be supported by a CASE workbench. This article describes how this workbench was constructed. Emphasis is laid on the characteristics of knowledge engineering that necessitate workbench features that differ from those found in more 'conventional' CASE workbenches. It points out how those features have influenced the architecture and design of the workbench and gives an overview of the context in which the new workbench will be placed resulting in a description of what the workbench is expected to supply. Since two of the major requirements of this workbench are that it should support the knowledge engineering activity according to the CommonKads methodology and that it should be easily modifiable and extensible, the necessity of a kernel supplying a set of basic services for addressing these constraints is discussed.<<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":"128783947","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
Linear programming supporting Ada-tasking static analysis: a Petri net approach 支持数据任务静态分析的线性规划:一种Petri网方法
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227925
S. Tu, Wei Sun
{"title":"Linear programming supporting Ada-tasking static analysis: a Petri net approach","authors":"S. Tu, Wei Sun","doi":"10.1109/SEKE.1992.227925","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227925","url":null,"abstract":"Basing on the algebraic representation of Petri net models of Ada tasking programs, the authors have defined a set of linear programming problems to support the static analysis of various queries about tasking behavior, such as queries about deadlock existence, possible parallelism, possible occurrence of an event, reachable states, definite occurrence of events, and quantitative questions. The linear programming problems are defined in such a way that their solutions can be used to guide net simulation to confirm the analysis conclusion. The stress of this method is that the enumeration of the entire state space of a Petri net is avoided. The defined problems are valid as long as the underlying net model is a safe net.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"16 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":"114155254","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
Modularity for logical knowledge bases 逻辑知识库的模块化
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227943
G. Antoniou
{"title":"Modularity for logical knowledge bases","authors":"G. Antoniou","doi":"10.1109/SEKE.1992.227943","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227943","url":null,"abstract":"The author argues that modularity is essential for the design, verification, and maintenance of large-scale knowledge based systems. Motivated by work on software modules and algebraic specification, he introduces a module concept with formal interfaces, and gives semantics and correctness notions for such modules based on logic programming. Single modules communicate with their environment by their interfaces. He discusses how modular systems can be built from single modules by means of so-called module operations, and derive for the composition operation results concerning compositionality of semantics and correctness preservation.<<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":"114261462","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
Applying metrics to rule-based systems 将指标应用于基于规则的系统
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227938
Paul Doyle, Renaat Verbruggen
{"title":"Applying metrics to rule-based systems","authors":"Paul Doyle, Renaat Verbruggen","doi":"10.1109/SEKE.1992.227938","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227938","url":null,"abstract":"Since the introduction of software measurement theory in the early seventies it has been accepted that in order to control software it must first be measured. Unambiguous and reproducible measurements are considered to be the most useful in controlling software productivity, costs and quality, and diverse sets of measurements are required to cover all aspects of software. This paper focuses on measures for rule-based language systems and also describes a process for developing measures for other non-standard 3GL development tools. This paper uses KEL as an example and the method allows the re-use of existing measures and indicates if and where new measures are required. As software engineering continues to generate more diverse methods of system development, it is important to continually update methods of measurement and control.<<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":"114293574","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
A simulation-based SDL support system 基于仿真的SDL支持系统
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227917
Xiaofeng Li, O. Shigo
{"title":"A simulation-based SDL support system","authors":"Xiaofeng Li, O. Shigo","doi":"10.1109/SEKE.1992.227917","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227917","url":null,"abstract":"This paper presents a simulation-based system for supporting software development in CCITT's SDL. The system can simulate the dynamic interactions of multiple communicating SDL processes concurrently, and can detect various logical and temporal problems in an SDL specification prior to implementation. At the bottom of this system lies the object-oriented SDL modeling methodology. The system is implemented in Allegro Common Lisp, whose CLOS and multiprocessing facilities are effectively utilized. This work contributes to an improved understanding and realization of automated specification verification.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"3 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":"121845319","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
Recognizing objects from constraints 从约束中识别对象
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227948
Enrico Maim
{"title":"Recognizing objects from constraints","authors":"Enrico Maim","doi":"10.1109/SEKE.1992.227948","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227948","url":null,"abstract":"In object-oriented representation, inheritance determines the attributes of a given object, given its type. Conversely, recognition determines the type of an object, given its attributes. The author addresses the more general problem of recognition from constraints; arguing that it can be seen as a special case of the classical abduction process and that it can be implemented as an abduction operation on constraints. Abductive reasoning is common in most fields of artificial intelligence. Constraint logic programming (CLP) generalizes logic programming by replacing unification with constraint solving. He first explores the relationship between abduction and CLP and shows that CLP is a special case of abduction. A class of problems is then identified for which the usual unrestricted forms of abduction are unsuitable. Within the CLP framework a restricted form of abduction is formulated which is applicable to the whole class of problems, in which object-oriented recognition can be considered as a special case.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"43 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":"123226445","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
The SEAR tool suite: CASE for expert system development in OPS5 SEAR工具套件:OPS5中的专家系统开发案例
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227906
P. A. Lynch, Thomas A. Cooper
{"title":"The SEAR tool suite: CASE for expert system development in OPS5","authors":"P. A. Lynch, Thomas A. Cooper","doi":"10.1109/SEKE.1992.227906","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227906","url":null,"abstract":"It is generally agreed upon in the expert system development community that the maintenance problems associated with rule-based programming are in many respects different from those in traditional programming. Lacking a methodology and automated tools, maintenance of complex rule-based systems becomes very difficult without thorough knowledge of the design and structure of the entire system. SEAR is an advanced development project focused on exploring CASE technology to address these problems. This paper describes the SEAR tool suite. These tools support various stages of development including design through rapid prototyping, transition from prototype to production system, and ongoing enhancements and maintenance.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"419 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":"123432721","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
Expert-supported object-oriented analysis in knowledge engineering 知识工程中专家支持的面向对象分析
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227939
Harald Schaschinger
{"title":"Expert-supported object-oriented analysis in knowledge engineering","authors":"Harald Schaschinger","doi":"10.1109/SEKE.1992.227939","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227939","url":null,"abstract":"One of today's major bottlenecks in software development and knowledge engineering is the analysis phase. Both software engineers and knowledge engineers have to collect and classify all relevant information to identify proper objects. An evolutionary, seamless, non-domain-specific object-oriented analysis (OOA) method is derived that starts at the definition of a software system and integrates knowledge engineering needs in a new manner, especially when following a deep knowledge approach. Based on this method, an expert-supported OOA tool environment (ESA) is presented that supports an analyst starting at the collection of the requirements through the analysis of any software system up to a preliminary high-level design. Due to the many similarities between OOA and knowledge engineering, the method and its supporting tool are rather valuable means in knowledge engineering and are conceived for the needs practitioners.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"108 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":"127937771","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
Distributed intelligent control and management: concepts, methods and tools for developing DICAM applications 分布式智能控制和管理:开发DICAM应用程序的概念、方法和工具
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227923
F. Hayes-Roth, L. Erman, A. Terry, B. Hayes-Roth
{"title":"Distributed intelligent control and management: concepts, methods and tools for developing DICAM applications","authors":"F. Hayes-Roth, L. Erman, A. Terry, B. Hayes-Roth","doi":"10.1109/SEKE.1992.227923","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227923","url":null,"abstract":"The authors are developing a generic control architecture suitable for use as a single intelligent agent or as multiple cooperating agents. The generic architecture combines a task-oriented domain controller with a meta-controller that schedules activities within the domain controller. The domain controller provides functions for model-based situation assessment and planning, and inter-controller communication. Typically, these functions are performed by modules taken from a repository of reusable software. To improve the controller development process, the authors are combining many of the best ideas from software engineering and knowledge engineering in a software environment. This environment includes a blackboard-like development workspace to represent both the software under development and the software development process itself.<<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":"127880169","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
首页 上一页 下一页 尾页
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学术官方微信