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

STRUCTURED PLANNING - DERIVING PROJECT VIEWS

SOFTWARE ENGINEERING JOURNAL 1990年第2期5卷 138-148页

作者： WILSON, DN SIFER, MJ UNIV TECHNOL SYDNEY SCH COMP SCIBROADWAYNSW 2007AUSTRALIA

Structured planning draws on the systems modelling approach of structured analysis and applies those ideas to project planning: the traditional elements of a project plan, the work breakdown structure and PERT diagram, are replaced by a levelled work Bow diagram and a deliverable dictionary. A technique for providing flexible summaries of the new project model, viewing,has been defined to assist with project tracking and control. This paper develops a formal definition of work flow diagrams and the technique of viewing in order to lay a theoretical foundation for structured planning, such that a complete set of operations to build and edit a levelled work flow diagram and deliverable dictionary can be specified and implemented in an automated project management tool.

关键词： flexible summaries software engineering automated project management tool project tracking project views programming support deliverable dictionary project planning project model Software engineering techniques systems analysis project support environments viewing structured planning structured analysis systems modelling levelled work flow diagram

来源：评论

学校读者我要写书评

暂无评论

A supporting System for Making NC Programs by Way of Knowledge Engineering Approach

引用

IFAC Proceedings Volumes 1990年第7期23卷 213-218页

作者： N. Wakabayashi N. Honda T. Mimaki S. Matsumoto The Institute of Scientific and Industrial Research Osaka University Ibaraki Osaka Japan Department of Communication and Systems University of Electro-Communications Chofu Tokyo Japan Amada Metrecs Co. Ltd. Odawara Kanagawa Japan

Conventionally a processing program for NC (numerical control) machine is coded by a skilled operator or programmer, who has the excellent experience of machine work. As compared with the processing time taken by NC machine, the programming time is extremely long even the skilled programmer does it. According to our supporting system, a processing program is automatically generated from the output of CAD (computer aided design) system. The prototype of our supporting system is applied to the NC turret punch press machine, wherein the shape, size of the holes to be punched out and the order of the processings are indicated by the program. Usually the skilled programmer knows which tools installed in the turret of the machine should be used and how the order of the processings should be determined. The present system contains such information in the knowledgebase and uses it to generate the processing program. The knowledge in the knowledgebase consists of two kinds of the informations. The prototype system developed generates a processing program much faster than a skilled programmer. The result shows that the practical model can be developed by increasing the amount of knowledges.

关键词： NC machine tools Automatic programming Knowledge engineering CAD programming support Computer control

来源：评论

学校读者我要写书评

暂无评论

Software Quality and Productivity – Is There a Choice? – Does There Have To Be?

引用

IFAC Proceedings Volumes 1990年第5期23卷 35-39页

作者： C.R. Hall Allied-Signal Aerospace Company Bendix Engine Controls Division South Bend Indiana USA

Bendix Engine Controls Division delivers a wide variety of aviation-related software, both for military applications as well as for commercial uses. Much of this software is utilized in propulsion control systems for aircraft engines, and most involve computation functions which require the extensive use and control of embedded software. This paper will provide analyses of past and current software projects from the viewpoint of Software Quality Assurance (SQA). It will address not only the administering and enforcement of SQA policies, but also will provide workable solutions to the SQA-related problems that have surfaced. In addition, it steps through the traditional software development cycle, and pinpoints potential problem areas which may be encountered during that phase.

关键词： Coding coding errors computer programming computer software computer testing programming languages programming support quality control software development software engineering

来源：评论

学校读者我要写书评

暂无评论

Personal-computer Based Software Development for Dedicated Real-time Systems

引用

IFAC Proceedings Volumes 1990年第8期23卷 273-277页

作者： W.P. Paula Filho Computer Science Department Universidade Federal de Minas Cerais Caixa Postal 702 30161 Belo Horizonte M.C. Brazil

For cost reasons, real-time dedicated computer systems often do not have the hardware necessary to support software development tools, such as editors, compilers and file systems. They may be suppl led by a specialized microprocessor development system, but these are expensive and often need retool Ing for every new microproce s sor generation, leading to high development costs. Personal computers are Inexpensi ve ; affordable and high-quality software tools are currently available in their market : on the other hand, rei labi I Ity and performance reasons often preclude u~lng PCs themselve s as target machines. We discuss the alternatives which we Ilave used for a number of projects, both in lab and Industry: portlng the PC operating systems themselves, so as to execute s tandard PC object fi les In the target : and transforming the object code generated by standar d PC compilers, so as to have them executed on PROM-based target systems.

关键词： Real time computer systems software development micro-computer-based control programming environment programming support

来源：评论

学校读者我要写书评

暂无评论

EXPERIENCES BUILDING A SYNTAX-DIRECTED EDITOR

引用

SOFTWARE ENGINEERING JOURNAL 1989年第6期4卷 294-300页

作者： ZELKOWITZ, MV KOWALCHACK, B ITKIN, D HERMAN, L UNIV MARYLAND DEPT COMP SCICOLLEGE PKMD 20742

The paper presents a set of techniques for building robust software using a case study of the development for a microprocessor of the support programming environment as an example. It discusses some of the attributes built into the system to best handle the concerns of portability, functionality, and effectiveness that we had to deal with in order for the system to be reliable on a small machine, and it describes some of the choices made to obtain the best use of available hardware.

关键词： software engineering robust software support programming environment programming support text editing Data handling techniques microcomputer applications syntax-directed editor Software engineering techniques microprocessor programming environments software portability portability

来源：评论

学校读者我要写书评

暂无评论

SEMI-STRUCTURED CURSOR MOVEMENTS IN MUPE-2

引用

SOFTWARE ENGINEERING JOURNAL 1989年第6期4卷 309-320页

作者： MADHAVJI, NH ZHANG, MJ BOULOS, S GU, YX MCGILL UNIV SCH COMP SCIMONTREAL H3A 2A7QUEBECCANADA

It has been recognised that cursor movements on a textual representation of a program present some problems when the movements are based on an underlying abstract syntax tree in a programming system. Approaches taken in many systems are to use structured or textual cursor movements, although both these approaches have some drawbacks. This paper presents a new approach, called semi-structured movements, based on the idea of cursor movement paths, or streams, that the cursor can follow in a program. The key benefits of this approach are that it eliminates the ‘treeness’ of structured movements and the flatness of textual movements, while providing an inherent support for program editing and browsing. Semi-structured cursor movements have been successfully implemented in the MUPE-2 programming environment, and this paper gives several scenarios in order to illustrate example cursor movements.

关键词： browsing software engineering trees (mathematics) streams Data handling techniques text editing programming support textual representation MUPE-2 programming environment program editing Software engineering techniques programming environments abstract syntax tree semi-structured cursor movements paths

来源：评论

学校读者我要写书评

暂无评论

AN EXTENDED ALGEBRA FOR THE VALIDATION OF COMMUNICATION PROTOCOLS

引用

SOFTWARE ENGINEERING JOURNAL 1989年第3期4卷 148-158页

作者： LOMBARDO, A PALAZZO, S UNIV CATANIA FAC INGN INST INFORMAT TELECOMMUN I-95125 CATANIA ITALY

This paper presents a simple algebra for the validation of communication protocols modelled as state-transition systems. It is based on an original extension to the ‘Protocol validation algebra’ by Holzmann, enhanced with additional facilities such as operators for handling parallelism among communicating processes and rules for obtaining the specification of a composed process from those of the components. The semantics of the algebraic operators provide for a validation technique, through which some protocol properties can be verified, such as termination, deadlock freeness, livelock freeness, absence of residuals and conformity of the protocol to the service. A brief description of a software tool which implements the method is given.

关键词： program verification software tools formal specification Computer communications software communicating processes Software engineering techniques Computer networks and techniques formal description state-transition systems Protocol validation algebra termination extended algebra finite automata algebraic operators computer communications software protocols deadlock freeness livelock freeness protocol properties semantics programming support software tool programming and algorithm theory parallelism Automata theory communication protocols

来源：评论

学校读者我要写书评

暂无评论

GENERATING EXTENDED STATE TRANSITIONS FROM STRUCTURED SPECIFICATIONS FOR PROCESS-CONTROL SYSTEMS

引用

SOFTWARE ENGINEERING JOURNAL 1989年第5期4卷 283-291页

作者： KUHN, DR NATL INST STAND & TECHNOL GAITHERSBURGMD 20899

The paper describes a method for providing improved prototyping capabilities in a process control system emulation tool. The tool, the NIST Hierarchical Control System Emulator, allows concurrent execution of modules emulating both physical processes and decision processes. The concurrent modules are specified as extended finite state machines. This paper describes the emulation tool and presents a simple method for transforming code, written with structured control constructs, into an extended state machine representation usable on the Emulator, providing the capability for rapid prototyping of designs. The paper also discusses advantages and disadvantages of this approach against direct use of state tables for specifying processes on the Emulator.

关键词： software tools formal specification emulation tool decision processes programming support structured specifications prototyping extended state transitions state tables Control engineering computing extended finite state machines Hierarchical Control System Emulator NIST process control systems physical processes finite automata digital simulation process computer control

来源：评论

学校读者我要写书评

暂无评论

IMPROVING INFORMATION-SYSTEM DEVELOPMENT AND EVOLUTION USING A RULE-BASED PARADIGM

引用

SOFTWARE ENGINEERING JOURNAL 1989年第5期4卷 259-267页

作者： LOUCOPOULOS, P LAYZELL, PJ UNIV MANCHESTER INST SCI & TECHNOLDEPT COMPMANCHESTER M60 1QDLANCSENGLAND

The problems inherent in the task of developing and maintaining information systems have received wide coverage. The need for more comprehensive approaches to system development has never been so great. The paper is concerned with the problems of developing and enhancing large, data-intensive, transaction-oriented systems (Business Information Systems). The essential problem with these systems is their inflexibility to change, compounded by the fact that most contemporary software processes fail to adequately address the specific problem of system evolution. The paper argues that the development of information systems requires the adoption of a new paradigm which recognises the explicit separation of organisational policy from programming code. This paradigm is regarded as an extension of contemporary practices which treat data and interfaces as being separate from application programs. A rule-based development environment, known as RUBRIC, is described, which serves as the means of achieving the objectives of this new paradigm.

关键词： interfaces programming support explicit separation evolution rule-based development environment programming code organisational policy programming environments system evolution rule-based paradigm management information systems information system development knowledge based systems RUBRIC application programs Business and administration transaction-oriented systems data

来源：评论

学校读者我要写书评

暂无评论

AN EXPERIMENTER TOOL FOR AN INTEGRATED MODELING support ENVIRONMENT - ITS ROLE AND DESIGN

引用

SOFTWARE ENGINEERING JOURNAL 1989年第3期4卷 163-170页

作者： POOLEY, R UNIV EDINBURGH DEPT COMP SCIEDINBURGH EH9 3JZMIDLOTHIANSCOTLAND

Performance modelling and estimation of computer systems is a vital facility for any software engineer. Thus any computer-aided software engineering environment should contain tools to support this. The need to provide tools to support systematic experimentation with performance models is examined and a solution is discussed, building on the idea of an experimental frame, originally introduced by Zeigler in Ref. 1. The inter-working of these tools and the support tools in a proposed integrated modelling support environment is considered. The tools discussed are an experimental plan editor, an experiment executor and an animator. This report is based on a deliverable***! of the Alvey project SE/059 ‘Improved methods for performance modelling (SIMMER)’, but has been edited to be more self-contained.

关键词： performance modelling software tools performance models computer graphics SIMMER integrated modelling support environment experiment executor SE/059 Graphics techniques Alvey program testing experimental plan editor experimenter tool animator programming support user interfaces computer-aided software engineering environment systematic experimentation Diagnostic, testing, debugging and evaluating systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：