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

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

筛选
英文 中文
Incremental, high level implementation of Prolog in an open system framework 在开放的系统框架中渐进式的、高层次的Prolog实现
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227963
V. Loia, G. Cattaneo, Michel Quaggetto
{"title":"Incremental, high level implementation of Prolog in an open system framework","authors":"V. Loia, G. Cattaneo, Michel Quaggetto","doi":"10.1109/SEKE.1992.227963","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227963","url":null,"abstract":"Proposes a new framework to implement a complete logic programming system. This framework is composed of a set of new mechanisms intended to give high level and safe means to manage a computation history. Upon this framework the authors developed a logic programming environment prototype, called MxLog, featuring a complete Prolog-II interpreter and its debugging environment. This prototype has been realised following a new implementation philosophy independent of hardware constraints and based on an incremental strategy, expressed in terms of agents in a sequential open system.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"25 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":"132905648","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
Quality control within an expert system prototype development 专家系统原型开发中的质量控制
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227959
P. Flauto, S. Musella
{"title":"Quality control within an expert system prototype development","authors":"P. Flauto, S. Musella","doi":"10.1109/SEKE.1992.227959","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227959","url":null,"abstract":"A large number of companies waste a huge amount of time and financial resources because of low quality software. Large cash flow expenses are targeted to error recovery activities which software products are exposed to (including last marketed products). In order to bypass such an operative status, production managers must be committed to establish, in their own departments, an actual quality culture. Quality check process guidelines for conventional (procedural) software system have already been drawn and they are followed by most of the leading informatics companies. It's interesting to experience the quality control process within innovative technology based projects (expert systems, multimedia systems, simulators, and others) and verify their results. In this paper are introduced techniques and quality control methods used during the development phase of an expert system prototype known as Hydronet.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"30 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":"134438194","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
An iterative-cyclic software process model 一个迭代循环的软件过程模型
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227899
G.W.M. Rauterberg
{"title":"An iterative-cyclic software process model","authors":"G.W.M. Rauterberg","doi":"10.1109/SEKE.1992.227899","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227899","url":null,"abstract":"The current state of traditional software development is surveyed and essential problems are investigated on the basis of system-theoretical considerations. The concept of the optimisation cycle is presented. The relationship between several different kinds of local optimisation cycles with known techniques for user participation is discussed and integrated into a general concept of participatory software development. The pros and cons of essential problems known to obstruct optimal software development and possible ways of solving them are considered.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"109 11 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":"122557315","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 software engineering approach to the design of a medical expert system 应用软件工程方法设计医学专家系统
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227970
R. Stamper, B. S. Todd, P. MacPherson
{"title":"A software engineering approach to the design of a medical expert system","authors":"R. Stamper, B. S. Todd, P. MacPherson","doi":"10.1109/SEKE.1992.227970","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227970","url":null,"abstract":"Presents a case study of the use of formal specification techniques in the design of a knowledge-based system. The Z specification notation is used in the development of a medical flow chart program, beginning with a highly abstract notion of inference and proceeding by refinement toward a particular implementation for flow charts. Diagnostic inference is modelled by idempotent decreasing functions. The flow chart was found to be significantly more accurate than a statistical classifier (independence Bayes). Formal specification provides several benefits. Design decisions are made explicit and are documented concisely, and the results of making alternative choices can be explored within the same framework. The formal specification also suggests approaches that probably would not otherwise have been considered.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"51 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":"116116941","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
A case study of knowledge engineering in the application area of elliptic partial differential equations (PDEs) 椭圆型偏微分方程应用领域的知识工程实例研究
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227920
V.V. Sotiropoulou, T. Papatheodorou
{"title":"A case study of knowledge engineering in the application area of elliptic partial differential equations (PDEs)","authors":"V.V. Sotiropoulou, T. Papatheodorou","doi":"10.1109/SEKE.1992.227920","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227920","url":null,"abstract":"The importance of problem solving environments (PSEs) for scientific computing is becoming increasingly apparent. The main components of such a PSE are the user interface and the expert system. The authors have proposed a task-level architecture called NAIS which attempts to capture the common nucleus of particularities of expert systems in scientific computing. They report on the application of NAIS to the very important area of elliptic PDEs (partial differential equations), initially using the VAX-II system as the target architecture for the PDE library. As the resulting expert system is divided to an architecture dependent and independent part, it can be easily adapted to other architectures. Finally, this development constitutes an interesting effort of knowledge engineering in scientific computing using a task-level architecture.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"35 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":"125577037","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
Supporting multiple domains in a single reuse repository 在单个重用存储库中支持多个域
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227933
D. Eichmann
{"title":"Supporting multiple domains in a single reuse repository","authors":"D. Eichmann","doi":"10.1109/SEKE.1992.227933","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227933","url":null,"abstract":"Domain analysis typically results in the construction of a domain-specific repository. Such a repository imposes artificial boundaries on the sharing of similar assets between related domains. A lattice-based approach to repository modeling can preserve a reuser's domain specific view of the repository, while avoiding replication of commonly used assets and supporting a more general perspective on domain interrelationships.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"41 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":"126136416","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
Program refinement using generic object 使用泛型对象进行程序细化
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227952
Yasuomi Sato, Yasuhiko Morimoto, T. Ichikawa
{"title":"Program refinement using generic object","authors":"Yasuomi Sato, Yasuhiko Morimoto, T. Ichikawa","doi":"10.1109/SEKE.1992.227952","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227952","url":null,"abstract":"This paper introduces a generic object which behaves flexibly according to its related objects and conditions for execution in an object-oriented programming system, called ISL-xscheme. A generic object is an instance of 'Generic' class and created by providing abstract classes as a domain. It behaves adequately in the domain depending on its constraints and the messages sent to it. Generic objects are useful for various purposes and applications because they are flexibly transformed via executions depending on what they are used for and how they are used. They are especially effective for program refinement.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"5 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":"128305541","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
A Petri net semantics for logic programs with negation 具有否定的逻辑程序的Petri网语义
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227976
T. Shimura, Jorge Lobo, T. Murata
{"title":"A Petri net semantics for logic programs with negation","authors":"T. Shimura, Jorge Lobo, T. Murata","doi":"10.1109/SEKE.1992.227976","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227976","url":null,"abstract":"An extended Petri net is used to model function-free logic programs with negation, i.e. normal logic programs. In this model, because of the presence of inhibitor arcs, the arbitrary application of firing rules may cause a contradictory situation. The authors suggest two directions to avoid contradictions, greedy and secure application of firing rules. Secure application is a direct translation of the well-founded semantics in the net model. Furthermore, the authors show that an unfounded set corresponds to a siphon in Petri net theory when one deletes the transitions disabled by the secure application of firing rules, and that the property of siphons simplifies the computation of well-founded semantics for logic programs.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"357 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":"114759352","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
Parallelism profiling of an Ops5 production system interpreter Ops5生产系统解释器的并行性分析
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227908
A. Sohn, J. Gaudiot, Michel Guyot
{"title":"Parallelism profiling of an Ops5 production system interpreter","authors":"A. Sohn, J. Gaudiot, Michel Guyot","doi":"10.1109/SEKE.1992.227908","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227908","url":null,"abstract":"The issue of processing nonnumeric algorithms has been one of the major research foci of parallel processing. However, nonnumeric algorithms are known to be difficult to parallelize due to their inherent non-regularity. The authors investigate the potential parallelism in a typical nonnumeric problem. In particular, they selected an OPS5 production system interpreter. The parallelism they investigate is a very fine-grain parallelism at the instruction level. For the implementation of a complete OPS5, they selected SISAL, a purely functional language. A complete OPS5 is implemented in SISAL. Benchmark production system programs are executed to investigate potential parallelism in the production system interpreter. Experimental results indicated that most of the parallelism can be extracted from the matching step of production systems. This particular implementation shows that the production system interpreter can give up to 8-fold speed-up in the absence of communication overhead.<<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":"128676060","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
Opportunistic production planning through interactive problem solving 通过互动解决问题的机会主义生产计划
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227962
Emilio Bertolotti
{"title":"Opportunistic production planning through interactive problem solving","authors":"Emilio Bertolotti","doi":"10.1109/SEKE.1992.227962","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227962","url":null,"abstract":"Some of the methodological aspects that emerged during the design of AERPLAN are presented. The system supports the medium term production planning for the seven plants of an aircraft manufacturing company. Given the tremendous amount of possible plans, an effective support must be able to make different kinds of autonomous decisions, to prune alternatives, during the plan formulation. The complexity of these composite decision processes calls for heuristic search approaches since exact methods cannot be pursued in practice. The authors describe the architectural and methodological approach adopted to cope with this open problem within AERPLAN, a system developed for ALENIA.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"338 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":"122236470","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
首页 上一页 下一页 尾页
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学术官方微信