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

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

筛选
英文 中文
Automatic configuration management in a General Object-Based Environment 通用对象环境中的自动配置管理
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227930
L. Bendix
{"title":"Automatic configuration management in a General Object-Based Environment","authors":"L. Bendix","doi":"10.1109/SEKE.1992.227930","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227930","url":null,"abstract":"To obtain higher productivity in software development, a trade-off is usually made between, on one hand, a simple level of common representation of data which facilitates the easy integration of third party tools and, on the other hand, a high-level representation with a high degree of collaboration between tools. The author proposes a new framework which closes the gap between openness of a system and easiness of integration of tools. A General Object-Based Environment (GOBE) is based on an object-oriented view of the whole environment, i.e. of the tools, data, and persons. It combines the ability to allow collaboration and sharing of knowledge with a fairly easy way to introduce new tools-and data and persons as well. The author briefly describes the architecture of a GOBE and its basic component, i.e. the object.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"780 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":"116128200","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}
引用次数: 8
SESAM-simulating software projects 模拟sesam软件项目
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227898
J. Ludewig, T. Bassler, M. Deininger, K. Schneider, Jürgen Schwille
{"title":"SESAM-simulating software projects","authors":"J. Ludewig, T. Bassler, M. Deininger, K. Schneider, Jürgen Schwille","doi":"10.1109/SEKE.1992.227898","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227898","url":null,"abstract":"Teaching software engineering as well as researching in this area is very tedious due to the length and costliness of software projects. SESAM ('Software Engineering Simulation by Animated Models') therefore is designed as a simulator for software projects, allowing students to gain reality-like experiences in project management and researchers to evaluate hypotheses on the mechanisms influencing software projects. This paper focuses on the basic assumptions for SESAM, its building blocks and the way hypotheses are affecting the simulation. After a short description of the requirements for SESAM, the authors introduce objects, attributes, actions, relationships between objects, and hypotheses as its basic concepts. They present attributed graph grammars as a means for representing hypotheses. Finally they position their project with respect to related work, and they show its present a state and future development.<<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":"122551996","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}
引用次数: 22
Maintainability via structure models and software metrics 通过结构模型和软件度量的可维护性
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227900
F. Lanubile, G. Visaggio
{"title":"Maintainability via structure models and software metrics","authors":"F. Lanubile, G. Visaggio","doi":"10.1109/SEKE.1992.227900","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227900","url":null,"abstract":"The spur of innovation coming from new technologies and methodologies often leads to poorly integrated systems which evolve with no disciplined management model. The authors suggest a set of conceptual models for representing a system structure, differing as regards abstraction degree (essential vs. language-oriented), decomposition method (functional vs. object-oriented), and target languages. A set of software metrics is applied to system components, to single out the critical areas which require justification. Comparing measures between different versions, variants and degrees of abstraction, enables one to monitor the growth of entropy during software evolution.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"54 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":"122692107","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 software engineering environment for modeling and developing knowledge-intensive systems 用于建模和开发知识密集型系统的软件工程环境
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227909
G. Bruno, Gianpaolo Macario, Alvise Grammatica
{"title":"A software engineering environment for modeling and developing knowledge-intensive systems","authors":"G. Bruno, Gianpaolo Macario, Alvise Grammatica","doi":"10.1109/SEKE.1992.227909","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227909","url":null,"abstract":"One of the issues in current software engineering research is the formalization of the production of large-scale software systems. Basically, the knowledge about a production process relies on three models: the product, the organization and the process model. Product and organization models are information models: an extended entity-relationship formalism is suitable to build such models. On the other hand, process models are behavioral models which react to temporal events or to user actions on the repository. The authors' research aims at providing conceptual models which support the construction of rigorous and verifiable organization and process models. They have developed two formalisms: Quid for building E-R models and generating the corresponding repository, and Protob for expressing process models in terms of high level nets. This paper illustrates the formalisms and present examples of process models.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"54 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":"114489338","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 software development workbench WSDW 软件开发工作台WSDW
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227926
A. D. Lucia, A. Imperatore, M. Napoli, G. Tortora, M. Tucci
{"title":"The software development workbench WSDW","authors":"A. D. Lucia, A. Imperatore, M. Napoli, G. Tortora, M. Tucci","doi":"10.1109/SEKE.1992.227926","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227926","url":null,"abstract":"This paper presents the architecture and some tools of the software development workbench WSDW. The authors propose a structure-oriented workbench, in which interactive software tools are integrated through sharing a unique high level program representation, satisfying the request of independence from the source language. The data structure representing programs, the web structure, is based upon the mathematical concept of relation and it is easily implemented as a Prolog data base. Program transformations, given as web transformations, can be expressed as rewriting rules, so that software tools can be implemented as sets of rewriting rules and then added to the WSDW.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"67 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":"114498229","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
Mapping of conceptual specifications into object-oriented programs 将概念规范映射到面向对象的程序
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227907
Naoufel Kraïem, Joël Brunet
{"title":"Mapping of conceptual specifications into object-oriented programs","authors":"Naoufel Kraïem, Joël Brunet","doi":"10.1109/SEKE.1992.227907","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227907","url":null,"abstract":"This research is conducted as part of the Business Class European project. The aim of the project is to promote object-oriented software development within the framework of management information systems. The Business Class development method is supported by an analysis workbench based on the O* method and a design workbench dedicated to the Eiffel language. The communication presents a set of mapping rules from O* specifications to an Eiffel implementation. The practical results as well as the mismatch difficulties can be translated to other object-oriented methods and languages.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"23 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":"129893111","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
Network-based simple recursive answer evaluation for deductive databases in parallel environment 并行环境下基于网络的演绎数据库简单递归答案评价
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227946
K. Kim, L. Henschen
{"title":"Network-based simple recursive answer evaluation for deductive databases in parallel environment","authors":"K. Kim, L. Henschen","doi":"10.1109/SEKE.1992.227946","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227946","url":null,"abstract":"Because of increasing needs and requirements for the use of databases, one always looks for more efficient ways to handle database access. Parallel computing environments draw more attention to achieve the high processing speed and the less expensive processing method. This paper proposes the possibility of using a connectionist model by treating every datum as an active processing unit cooperating with other such units via messages in getting answers in a deductive database, especially with recursion. It uses query compilation and iteration to process the recursive case. The notion of the reverse-compilation which is essential to get the correct answers is introduced in handling recursive cases. It introduces the recursive controller which is dedicated to processing the recursive cases as a sublayer to a central database controller.<<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":"130426745","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 graph proof procedure for real time logic 实时逻辑的图形证明程序
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227975
Jung-Hong Kao, L. Henschen
{"title":"A graph proof procedure for real time logic","authors":"Jung-Hong Kao, L. Henschen","doi":"10.1109/SEKE.1992.227975","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227975","url":null,"abstract":"Real-time logic (RTL) has been successful in specifying and verifying a class of timing requirements in real-time systems. The authors propose a graph proof procedure for RTL formulae. First, they represent the RTL formulae in a connection graph-like structure. Based on this graph, they have found some useful deduction rules and reduction rules. From some preliminary experiments, they show that their proof procedure is very efficient.<<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":"130886318","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
Knowledge acquisition and validation for implicit expertise 隐性专业知识的知识获取与验证
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227950
G. Hwang
{"title":"Knowledge acquisition and validation for implicit expertise","authors":"G. Hwang","doi":"10.1109/SEKE.1992.227950","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227950","url":null,"abstract":"Knowledge acquisition is known to be a critical bottleneck in building expert systems. Many researchers of this field have focused on the approach of developing methodologies or systems to automate the knowledge acquisition process and have achieved good results. Some reports show that missing implicit knowledge has significant affects on the performance of expert systems. The author resolves the consistency problem in the process of knowledge elicitation. The author analyzes each possible inconsistent condition that may arise in eliciting implicit expertise, and then proposes a consistency test to help the experts to cope with the problem.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"262 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":"115632591","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
An optimized concurrency control algorithm for transaction processing 一种优化的事务处理并发控制算法
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227954
Shiwei Wang, U. O. Gagliardi
{"title":"An optimized concurrency control algorithm for transaction processing","authors":"Shiwei Wang, U. O. Gagliardi","doi":"10.1109/SEKE.1992.227954","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227954","url":null,"abstract":"The focus of this paper is to propose a concurrency control scheme, named Two Phase Integrated Concurrency Control (2-PICC) which can meet the response time requirement under the concurrency level anticipated for future TP systems and provide better performance than any existing concurrency control scheme for virtually all data and hardware contention level. This concurrency control scheme shares the desirable properties of existing concurrency schemes such as the deadlock-free property of OCC, and the transaction-starvation-free property of locking-based concurrency schemes.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"10 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":"124387831","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
下一页 尾页
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学术官方微信