检索结果-内蒙古大学图书馆

A SOFTWARE ENGINEERING PARADIGM FOR PROGRAM SYNTHESIS

SOFTWARE ENGINEERING JOURNAL 1994年第5期9卷 213-220页

作者： WILLIS, C PADDON, D UNIV BRISTOL DEPT COMP SCIBRISTOL BS8 1TWAVONENGLAND

The past study of program synthesis has mainly concentrated on attempting to synthesis programs by duplicating human methods for constructing programs, such as top-down design. Here we do not attempt this process but instead use a simple method that is based on sound software engineering practice. Knuth-Bendix completion is used in the synthesis process but without the need for the exhaustive completion of program axioms against each other. A software engineering framework is used to reduce the pairs of completed program axioms to the optimum for synthesising the required program. Examples of program synthesis are given and contrasted with an ad hoc method of synthesis.

关键词： software engineering formal specification top-down design programming support Knuth-Bendix completion Software engineering techniques program synthesis software engineering paradigm automatic programming completed program axioms

来源：评论

学校读者我要写书评

暂无评论

AUTOMATED TIMING ANALYSIS OF REAL-TIME PROGRAMS

引用

SOFTWARE ENGINEERING JOURNAL 1994年第5期9卷 221-227页

作者： HILL, MR JOSEPH, M UNIV WARWICK DEPT COMP SCICOVENTRY CV4 7ALW MIDLANDSENGLAND

ReStat is an interactive software tool for statically analysing the timing properties of real-time programs. Given a distributed program, a description of an architecture and a scheduling discipline, ReStat can be used to determine whether the implementation of the program on the architecture will meet a set of timing deadlines. The program may consist of a number of communicating processes and these can be statically assigned to any processor. Each process is assumed to have a simple, non-terminating cyclic structure, as is often the case in real-time control systems. ReStat uses a method of static analysis which establishes the timing properties of a real-time program by examining finite execution segments. The analysis is based on the syntactic structure of the program and can be efficiently implemented. The paper provides an overview of an experimental version of the tool and illustrates its use as a design aid by way of examples.

关键词： software tools communicating processes distributed processing safety static analysis ReStat real-time systems system monitoring Distributed systems software automated timing analysis distributed program temporal logic timing deadlines software reliability Formal logic interactive software tool real-time programs finite execution segments safety-critical program programming support real-time control systems syntactic structure Diagnostic, testing, debugging and evaluating systems

来源：评论

学校读者我要写书评

暂无评论

THE HORIZON PROJECT

引用

COMPUTING & CONTROL ENGINEERING JOURNAL 1994年第5期5卷 225-228页

作者： WILSON, M Hampshire Microtechnol. Centre Portsmouth UK

Multimedia is sometimes described as a solution looking for a problem. Hampshire Schools, with the help of Acorn Computers, have recently been examining the possibility that school classrooms may be one of multimedia's natural homes. The Horizon Project looks at the potential of multimedia authoring to support and enhance pupil's learning.

关键词： authoring languages multimedia systems programming support pupil learning Educational administration Acorn computers Acorn Computers Spatial and pictorial databases Computer-aided instruction school classrooms multimedia authoring educational computing CAI Horizon Project

来源：评论

学校读者我要写书评

暂无评论

CLIENT-CENTRIC CASE

引用

SOFTWARE ENGINEERING JOURNAL 1994年第4期9卷 153-158页

作者： SMITH, IMD AT&T ISTEL LTD REDDITCH B97 5EQWORCSENGLAND

Since the early 1980s, AT&T ISTEL has been operating a business and software process re-engineering programme. The paper presents the instrumental role of the AT&T ISTEL in-house corporate CASE in providing holistic system generation and class leading productivity levels. The paper focuses on how the evolving needs of different classes of client - both internal and external - have been met. The architecture, operation and achievements of both the production and development CASE toolsets are summarised. A brief assessment of the AT&T ISTEL current CASE position is also given, followed by an extrapolation to the position in the year 2000.

关键词： client-centric CASE software tools AT&T ISTEL programming support business process re-engineering software process re-engineering programme Software management class leading productivity DP management holistic system generation

来源：评论

学校读者我要写书评

暂无评论

CASE support FOR COLLABORATIVE MODELING - REENGINEERING CONCEPTUAL MODELING TECHNIQUES TO EXPLOIT THE POTENTIAL OF CASE TOOLS

引用

SOFTWARE ENGINEERING JOURNAL 1994年第4期9卷 183-189页

作者： MCGINNES, S UNIV LONDON ROYAL HOLLOWAY SCH MANAGEMENTEGHAM TW20 0EXSURREYENGLAND

To date, CASE tools have generally been built around pre-CASE analysis and design techniques. The paper argues that more benefit would be obtained if analysis and design techniques were 're-engineered' so as to make the best use of the capabilities offered by CASE tools. Techniques such as entity-relationship modelling and data flow diagrams have successfully been transferred to the CASE environment, with significant administrative and clerical benefits. However, these techniques were not necessarily designed with automation in mind, and their CASE implementations have failed to adequately address important aspects of the modelling process, such as communication, collaboration, and the application of past experience. Ways in which these aspects can be supported pro-actively by CASE tools are given, using examples from a prototype CASE tool.

关键词： software tools re-engineering conceptual modelling programming support CASE support project support environments entity-relationship modelling groupware collaborative modelling data flow diagrams Distributed systems software

来源：评论

学校读者我要写书评

暂无评论

CASE IN THE 3RD-GENERATION

引用

SOFTWARE ENGINEERING JOURNAL 1994年第4期9卷 159-166页

作者： GRIFFITHS, G UNIV TEESSIDE SCH COMP & MATHMIDDLESBROUGH TS1 3BACLEVELANDENGLAND

The paper outlines and analyses the development of CASE and proposes a direction for research and development. The focus is on analyst workbenches, rather than other types of CASE tool, but the proposals and conclusions are generally applicable to tools supporting other phases of the development life-cycle. The current generation of CASE tools has no knowledge of the software process. An architecture that combines a management control superstructure with the normal development tools is proposed for CASE in the next generation. The design of a superstructure, based on an existing CASE tool, is discussed.

关键词： management control superstructure software tools analyst workbenches programming support development life-cycle CASE tool CASE Software management project support environments DP management development tools research and development

来源：评论

学校读者我要写书评

暂无评论

EXECUTABLE SPECIFICATIONS AND CASE

引用

SOFTWARE ENGINEERING JOURNAL 1994年第4期9卷 174-182页

作者： GASKELL, C PHILLIPS, R UNIV HULL DEPT COMP SCIKINGSTON HULL HU6 7RXN HUMBERSIDEENGLAND

The idea of executing graphical system models is not new. Several accounts of research in this area are well documented. Despite this, such research is still in its infancy, particularly in relation to CASE environments and the practical application of ideas. The paper considers executability within CASE, with a focus on executable specifications. The importance of executability is highlighted, and some of the work in the field is noted. An experimental executable specification tool is presented. The final conclusions drawn take a look into the envisaged future of executability in CASE.

关键词： visual programming software tools formal specification executable specification tool programming support Compilers, interpreters and other processors executable specifications Software engineering techniques program compilers CASE CASE environments executability graphical system models

来源：评论

学校读者我要写书评

暂无评论

KNOWLEDGE-BASED CASE TOOLS - IMPROVING PERFORMANCE USING DOMAIN-SPECIFIC KNOWLEDGE

引用

SOFTWARE ENGINEERING JOURNAL 1994年第4期9卷 167-173页

作者： LLOYDWILLIAMS, M UNIV SHEFFIELD DEPT INFORMAT STUDIESSHEFFIELD S10 2TNS YORKSHIREENGLAND

Knowledge-based CASE tools are able to play an active part in the design of computer-based systems. Providing such tools with in-built domain-specific (or 'real world') knowledge can enhance both the performance and the appearance of intelligence. However, little work has so far been carried out as to how this might be achieved. The paper illustrates how such knowledge may be provided in the form of generic models based on a thesaurus approach, and applies the technique to a knowledge-based CASE tool designed to support object-oriented design.

关键词： object-oriented design software tools generic models Expert systems and other AI software and techniques programming support intelligent design assistants Object-oriented programming domain-specific knowledge thesaurus approach computer-based systems knowledge-based CASE tools knowledge representation object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Integrated acquisition, execution, evaluation, and tuning of elementary skills for intelligent robots

引用

Annual Review in Automatic programming 1994年第C期19卷 117-122页

作者： Kaiser, M Giordana, A Nuttin, M Institute for Real-Time Computer Systems and Robotics University of Karlsruhe D-76128 Karlsruhe Germany Dipartimento di Informatica Universita di Torino I-10149 Torino Italy Division PMA Katholieke Universiteit Leuven B-3001 Leuven Belgium

This paper presents an approach to integrated acquistion, evaluation, tuning, and execution of elementary skills in order to ease programming and employment of robots. To allow the use of machine learning techniques as well as real-time execution of the skills, a twofold representation is developed. The individual learning tasks involved in the generation and maintenance of skills are identified and related to proper learning techniques. A programming environment and a low level architecture taking care of the different requirements during all phases of skill acquisition and execution are described. © 1995.

关键词： Fuzzy Control Man-Machine Systems Neural Nets programming support Robots

来源：评论

学校读者我要写书评

暂无评论

Program Transformations for Distributed Control Systems

引用

IFAC Proceedings Volumes 1994年第11期27卷 285-290页

作者： Dieter Zöbel University Koblenz-Landau Fachbereich Informatik D-56075 Koblenz. Germany

This article focuses on programming support for the application area of distributed control systems. Program transformations are introduced to modify properties of distributed programs. Based on a specification-oriented version of CSP transformations are applied to solve standard problems of distributed programming. Equally transformations are used to map specification-oriented CSP-programs to implementation-oriented CSP-programs and further to specific target environments.

关键词： programming support distributed control control system design parallel processing

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：