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

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

筛选
英文 中文
An integrated system for query formulation and database design 一个集查询公式和数据库设计于一体的系统
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227949
R. Semmel
{"title":"An integrated system for query formulation and database design","authors":"R. Semmel","doi":"10.1109/SEKE.1992.227949","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227949","url":null,"abstract":"This paper describes a system that uses database design knowledge to formulate queries in response to high-level requests. By focusing on the conceptual design, it is possible to identify conceptual subgraphs that correspond to user intent. These subgraphs can be manipulated with respect to a request and mapped to a database query. Furthermore, by treating the subgraphs as knowledge constructs, it is possible to use the system for interactive design evaluation.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"2 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":"131388523","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
A rule-based tool for reverse engineering from source code to graphical models 一个基于规则的工具，用于从源代码到图形模型的逆向工程
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227931
Hai Huang, Kazuo Sugihara, I. Miyamoto
{"title":"A rule-based tool for reverse engineering from source code to graphical models","authors":"Hai Huang, Kazuo Sugihara, I. Miyamoto","doi":"10.1109/SEKE.1992.227931","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227931","url":null,"abstract":"This paper presents a rule-based tool MG (Model Generator) for reverse engineering from source code to graphical models. For a given graphical model formalism, generation rules describe how to translate each primitive element (e.g., an if statement) of a programming language into a piece of a diagram in the graphical model and how to assemble the produced pieces of diagrams and generate diagrams from them. MG can produce software specification in different models by changing the generation rules. This feature enables maintainers to obtain the information they need by specifying rules for generating it. MG is also independent of programming languages. It is used to generate four models and links between them from COBOL source code, where each model represents a coherent aspect of the source code such as control flow and functional structure.<<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":"133728032","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
Unifying multi-paradigms in software system design 统一软件系统设计中的多范式
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227964
Yi Deng, Shi-Kuo Chang
{"title":"Unifying multi-paradigms in software system design","authors":"Yi Deng, Shi-Kuo Chang","doi":"10.1109/SEKE.1992.227964","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227964","url":null,"abstract":"Large software systems are often aimed to deal with problems of multi-application domains or disciplines, where each class of problems has its own defining features, difficulties and emphases. No existing computation model or design paradigm is appropriate for all varieties of problems faced in software design. A unification of existing computation paradigms is thus necessary to accommodate the diverse needs in system design. In this paper, the authors propose a framework based on the notions of logical entity abstraction and instantiation (LEAI), which enables a user to select appropriate computation paradigms to design various parts (or subsystems) of a software system, and to compose the parts into a integrated system. An example is given to illustrate the application of the framework.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"68 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114113247","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}
引用次数: 10
A process model for software process management 软件过程管理的过程模型
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227901
A. Hazeyama, S. Komiya
{"title":"A process model for software process management","authors":"A. Hazeyama, S. Komiya","doi":"10.1109/SEKE.1992.227901","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227901","url":null,"abstract":"Development of large-scale software generally involves in setting up of a project. Intensive management offers a practical approach to such development. Therefore, the key to success of a project is to develop technology which provides strong support for project management. This paper describes the requirements for a system which supports the process management of a software development project, placing emphasis on the following requirements for that system: (1) The activities and the resources which perform activities must be specified for a software development project. These resources include people resources and non-people resources such as tools and machines. (2) The relationships between the activities and resources must be established. This paper proposes a process model which specifies the relationships between the activities and the resources according to the above requirements. This paper also explains the behavior of the model by an example and discusses the usefulness of the model.<<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":"129369332","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
Two real-time expert systems for the monitoring and maintenance of digital exchanges 两个实时专家系统，用于监控和维护数字交换机
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227967
Francisco Alcaraz, Marlon Núñez, Alberto Hernández, José L. Blazquez
{"title":"Two real-time expert systems for the monitoring and maintenance of digital exchanges","authors":"Francisco Alcaraz, Marlon Núñez, Alberto Hernández, José L. Blazquez","doi":"10.1109/SEKE.1992.227967","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227967","url":null,"abstract":"The ever-increasing complexity of the elements that constitute a telecommunications network as well as the amount of knowledge and experience needed to operate and maintain these elements, demand maintenance tools that are both powerful enough to perform these tasks and easy to learn and modify. Thus, the use of a knowledge-based expert systems (KBES) methodology is required. This paper presents UFMS12 and UFMAXE, two real-time expert systems for performing automatic corrective maintenance of large digital exchanges: Ericsson's AXE and Alcatel's S12. These expert systems can repair automatically a fault dialoguing with the affected exchange or they can guide the operator in manual interventions. These developments produced a shell, called SIGMA (Sistema Generico para Mantenimiento), based on a causal model. This paper presents the functionality of UFMAXE and UFMS12, and a description of the architecture of the SIGMA shell, designed for representing the maintenance knowledge of large and complex digital systems.<<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":"130774903","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
System design as derivation via rewriting 系统设计是通过重写派生的
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227973
F. Parisi-Presicce, A. Pierantonio
{"title":"System design as derivation via rewriting","authors":"F. Parisi-Presicce, A. Pierantonio","doi":"10.1109/SEKE.1992.227973","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227973","url":null,"abstract":"Reusing provably correct (pieces of) software not only simplifies the task of designing correct software systems, but also decreases the costs of their development. The problem of designing a class (in the sense of object oriented programming methodology) which inherits from those of a given library and whose instances respond to given messages, is reduced to the problem of symbolically deriving a specification from another one using the interfaces of the given classes as productions. The standard algebraic specifications and productions are enriched with keywords which can place standard properties of operations, which can enhance the expressiveness of the specifications or which can guide the choice of productions and drive the search in the space of all derivable specifications.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"123 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":"131462190","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
Prototyping in the GEDBLOG system 在GEDBLOG系统中进行原型设计
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227929
D. Aquilino, P. Asirelli, P. Inverardi
{"title":"Prototyping in the GEDBLOG system","authors":"D. Aquilino, P. Asirelli, P. Inverardi","doi":"10.1109/SEKE.1992.227929","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227929","url":null,"abstract":"The paper presents a system to support prototyping in a deductive database management context. First, the basic entities and activities involved in the prototyping process are recast into a knowledge base framework. Then, the system GEDBLOG is introduced, illustrating how its features can be used to provide a suitable support to the defined environment. The design and prototyping of a graphic application demonstrates the approach.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"78 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":"115829250","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
Object-oriented programming testing methodology 面向对象编程测试方法
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227965
C. Chung, Ming-Chi Lee
{"title":"Object-oriented programming testing methodology","authors":"C. Chung, Ming-Chi Lee","doi":"10.1109/SEKE.1992.227965","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227965","url":null,"abstract":"Inheritance is an important attribute in object-oriented programming (OOP). This notion supports the class hierarchy design and captures the is-a relationship between a class and its subclass. It contributes to food properties of modularity, reusability and incremental design. However, misuse of multiple (repeated) inheritance leads to an improper class hierarchy which suffers from name-conflict and implicit errors. This type of error is very difficult to detect by conventional testing methodologies. This paper describes a graph-theoretical testing methodology for detecting this type of error. An algorithm to support this testing methodology is also presented.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"57 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":"127581609","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}
引用次数: 19
CASE approach in telecom. software development 电信中的案例方法。软件开发
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227958
C. Caporaso, G. D. Rosa, G. Fortunato, F. Marra, A. Pierri
{"title":"CASE approach in telecom. software development","authors":"C. Caporaso, G. D. Rosa, G. Fortunato, F. Marra, A. Pierri","doi":"10.1109/SEKE.1992.227958","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227958","url":null,"abstract":"Alcatel has a worldwide connection network which allows full integration between all their software development environments. This is based on several mainframes which are connected to a central one. A number of workstations are connected to each mainframe. The integration allows flexible management of the software development. Supported by this distributed environment the automation of the software development reaches full application. A CASE environment integrates a set of tools which allows a designer to follow the life cycle of the software allocated to him while the complete or partial control of the software project can be done from a centralised point. Moreover, every developer has access to a central library where he can find software objects at all levels of the life cycle. The authors have a tools integration platform S12DE (System 12 Development Environment) which is composed of two parts: ARCADE (Alcatel Reusable Computer Aided Development Environment) which runs on a workstation and the LCMS (Local Configuration Management System) running on an IBM mainframe, collecting all the items coming from each workstation.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"161 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":"127305994","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
Layout algorithms for DFD processors DFD处理器的布局算法
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227903
K. Ta, T. C. Tan
{"title":"Layout algorithms for DFD processors","authors":"K. Ta, T. C. Tan","doi":"10.1109/SEKE.1992.227903","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227903","url":null,"abstract":"Presents two algorithms that are useful for integration into CASE tools that support data flow diagrams (DFDs). They provide the means to relieve the user of the tedious task of making layout decisions by automating some of these decisions. The automatic layout algorithm yields to achieve a neat layout of the objects in a data flow diagram. The incremental placement algorithm adopts the layout algorithm and find its place in application like the replacement of a process object in a diagram with its child diagram.<<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":"130649058","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学术官方微信