Proceedings 12th IEEE International Conference Automated Software Engineering最新文献_第3页

Notes on refinement, interpolation and uniformity 关于细化、插值和均匀性的说明

Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632830

T. Dimitrakos, T. Maibaum

引用次数: 15

Data flow analysis within the ITOC information system design recovery tool 数据流分析内ITOC信息系统设计恢复工具

Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632843

John V. Harrison, Anthony Berglas

{"title":"Data flow analysis within the ITOC information system design recovery tool","authors":"John V. Harrison, Anthony Berglas","doi":"10.1109/ASE.1997.632843","DOIUrl":"https://doi.org/10.1109/ASE.1997.632843","url":null,"abstract":"Most contemporary fourth-generation languages (4GL) are tightly coupled with the database server, and other subsystems, that are provided by the vendor. As a result organizations that wish to change database vendors are typically forced to rewrite their applications using the new vendor's 4GL. The anticipated cost of this redevelopment can deter an organization from changing vendors, hence denying it the benefits that would otherwise result, e.g., the exploitation of more sophisticated database server technology. If tools existed that could reduce the rewriting effort, the large upfront cost of migrating the organization's applications would also be reduced, which could make the transition economically feasible. The ITOC project is part of a large collaborative research initiative between the Centre for Software Maintenance at the University of Queensland and Oracle Corporation. The objective of this project is to design and implement a tool that automatically recovers both the application structure and the static schema definition of 4GL information system applications. These recovered system components are transformed into constructs that populate Oracle's Designer 2000 CASE repository. An essential component of the ITOC process is to determine the relationships between different columns in the database and between references to those columns and fields that appear within the user interface. This in turn requires analysis of data flow between variables in the 4GL programs. While data flow analysis has been applied in many applications, for example, code optimization and program slicing, this paper presents the results of using data flow analysis in the construction of a novel design recovery tool for 4GL-based information.","PeriodicalId":337824,"journal":{"name":"Proceedings 12th IEEE International Conference Automated Software Engineering","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121390444","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

Formal specification of human-computer interaction by graph grammars under consideration of information resources 考虑信息资源的图形语法对人机交互的形式化规范

Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632821

B. Sucrow

{"title":"Formal specification of human-computer interaction by graph grammars under consideration of information resources","authors":"B. Sucrow","doi":"10.1109/ASE.1997.632821","DOIUrl":"https://doi.org/10.1109/ASE.1997.632821","url":null,"abstract":"A successful design of an interactive system requires a clear understanding of human-machine interaction. For the specification of such a system a precise consideration of the user's context during each step of the development process is therefore necessary. Moreover, a formal specification method for expressing interaction is highly desirable in order to achieve a precise and continuous specification process between the requirements and design stages. In this paper several of the environmental cues influencing the user during the interaction with a system are considered. These environmental cues are modelled using the concept of information resources. Interaction is described using these resources and formally specified by the notation of graph grammars in order to be able to reason about a system, to assess a system wrt important properties and, finally to achieve a continuous specification process between the requirements and design stages. This approach will be demonstrated by specifying a safety-critical system concerning the interaction between the pilot and the flight management system on the flight deck of an aircraft.","PeriodicalId":337824,"journal":{"name":"Proceedings 12th IEEE International Conference Automated Software Engineering","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116472099","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}

引用次数: 14

Correct-schema-guided synthesis of steadfast programs 正确的模式引导的稳定方案的综合

Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632835

P. Flener, K. Lau, Mario Ornaghi

引用次数: 21

Retrieving software components that minimize adaptation effort 检索软件组件，使适应工作最小化

Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632846

L. L. Jilani, J. Desharnais, M. Frappier, R. Mili, A. Mili

引用次数: 24

Genetic algorithms for dynamic test data generation 动态测试数据生成的遗传算法

Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632858

C. Michael, G. McGraw, M. Schatz, C. Walton

引用次数: 132

A structured approach for synthesizing planners from specifications 从规范中综合计划者的结构化方法

Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632820

B. Srivastava, S. Kambhampati, A. Mali

{"title":"A structured approach for synthesizing planners from specifications","authors":"B. Srivastava, S. Kambhampati, A. Mali","doi":"10.1109/ASE.1997.632820","DOIUrl":"https://doi.org/10.1109/ASE.1997.632820","url":null,"abstract":"Plan synthesis approaches in AI fall into two categories: domain-independent and domain-dependent. The domain-independent approaches are applicable across a variety of domains, but may not be very efficient in any one given domain. The domain-dependent approaches can be very efficient for the domain for which they are designed, but would need to be written separately for each domain of interest. The tediousness and the error-proneness of manual coding have hither-to inhibited work on domain-dependent planners. In this paper we describe a novel way of automating the development of domain dependent planners using knowledge-based software synthesis tools. Specifically, we describe an architecture called CLAY in which the Kestrel Interactive Development System (KIDS) is used in conjunction with a declarative theory of domain independent planning, and the declarative control knowledge specific to a given domain, to semi-automatically derive customized planning code. We discuss what it means to write declarative theory of planning and control knowledge for KIDS, and illustrate it by generating a range of domain-specific planners using state space and plan space refinements. We demonstrate that the synthesized planners can have superior performance compared to classical refinement planners using the same control knowledge.","PeriodicalId":337824,"journal":{"name":"Proceedings 12th IEEE International Conference Automated Software Engineering","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115440977","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

An automated object-oriented testing for C++ inheritance hierarchy 一个自动的面向对象的c++继承层次测试

Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632862

Chun-Chia Wang, W. Pai, T. Shih

引用次数: 2

Reactive system validation using automated reasoning over a fragment library 在片段库上使用自动推理的响应式系统验证

Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632854

R. Hall

引用次数: 3

Automated configuration of distributed applications from reusable software architectures 从可重用软件架构中自动配置分布式应用程序

Proceedings 12th IEEE International Conference Automated Software Engineering Pub Date : 1997-11-02 DOI: 10.1109/ASE.1997.632839

H. Gomaa, G. A. Farrukh

引用次数: 12