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

IMPLEMENTATION OF A MODEL LIFT CONTROL-SYSTEM FROM A FORMAL SPECIFICATION

SOFTWARE ENGINEERING JOURNAL 1987年第3期2卷 71-79页

作者： MOCEK, JP MCDERMID, JA SYST DESIGNERS PLC CAMBERLEY GU15 3XDSURREYENGLAND

This paper describes the implementation of a model lift control system, based on a formal specification of lift behaviour. The purpose of the paper is to demonstrate the benefit of using formal specifications as the basis of an implementation, and to show how a control system can be produced using an integrated project support environment.

关键词： integrated project support environment formal specification specification languages programming support Control engineering computing model lift control system control system CAD control system synthesis lift behavior programming environments Control of lift and aerial cableway systems lifts Ada Control system analysis and synthesis methods

来源：评论

学校读者我要写书评

暂无评论

POLYMORPHISM, PERSISTENCE AND SOFTWARE RE-USE IN A STRONGLY TYPED OBJECT-ORIENTED ENVIRONMENT

引用

SOFTWARE ENGINEERING JOURNAL 1987年第6期2卷 199-204页

作者： MORRISON, R BROWN, AL CARRICK, R CONNOR, RCH DEARLE, A ATKINSON, MP UNIV ST ANDREWS DEPT COMP SCIST ANDREWS KY16 9SSSCOTLAND UNIV GLASGOW DEPT COMP SCIGLASGOW G12 8QQSCOTLAND

The major requirements of a system for software re-use are that it must provide an abstraction mechanism for adequately describing the components, a mechanism for naming and storing the components, and a mechanism for composing new objects out of existing components. This paper describes a polymorphic type system that may be used to describe generic components and a persistence mechanism that may be used to name, store and compose components. By integrating the two, a strongly typed persistent environment that is an ideal base as a system for software re-use is obtained.

关键词： software re-use software engineering programming support software reuse data structures Software engineering techniques persistence programming environments strongly typed object-oriented environment abstraction mechanism generic components polymorphic type system

来源：评论

学校读者我要写书评

暂无评论

MASCOT-3 AND ADA

引用

SOFTWARE ENGINEERING JOURNAL 1986年第3期1卷 121-135页

作者： JACKSON, K SYST DESIGNERS CAMBERLEY GU15 3XDSURREYENGLAND

Mascot is a software design method based on a form of a functional and structural design decomposition which is particularly well suited for use in the development of large, distributed, embedded real-time data-processing systems. This paper discusses the problem of using the Mascot design approach when the implementation language is Ada. A particular mapping strategy is developed which, starting from the Mascot graphical design representation, allows Ada package specifications to be derived by the application of a set of simple rules. The bodies are then programmed in standard Ada and may be re-used within other Mascot-derived design structures. The particular problems of maintaining run-time data integrity when coding the bodies of packages to represent the Mascot intercommunication data area (IDA) in Ada are specifically addressed. Finally, the paper discusses the Mascot status progression commands in relation to Ada. (This paper depends heavily on the paper by Simpson [5] published in the same issueof the Software Engineering Journal and should be read in conjuction with it.)

关键词： graphical design representation programming support data integrity multiprocessing programs software design method programming environments structural design decomposition status progression commands mapping strategy Ada design structures High level languages Mascot 3 intercommunication data area

来源：评论

学校读者我要写书评

暂无评论

SOME VERIFICATION TOOLS AND METHODS FOR AIRBORNE SAFETY-CRITICAL SOFTWARE

引用

SOFTWARE ENGINEERING JOURNAL 1986年第6期1卷 248-253页

作者： HELPS, KA SMITHS IND AEROSP & DEF SYST LTD CHELTENHAM GL52 4SFGLOSENGLAND

Airborne software, like many other kinds of embedded software, grows in complexity with each generation of equipment. Where the software supports safety-critical functions this can present severe verification problems. The scale of such software is often outside the scope of mathematically formal verification, and dissimilar software redundancy techniques may be inapplicable for performance reasons. A practical approach is to meet safety-critical criteria by procedurally formal verification in line with the Radio Technical Commission for Aeronautics and the European Organisation for Civil Aviation Electronics common revised (1985) guidelines on the software aspects of certification of airborne systems, using a comprehensive automated test converage analysis and partition breach analysis system.

关键词： program verification Aerospace engineering computing software engineering software tools safety-critical functions programming support Aerospace industry formal verification airborne safety-critical software automated test coverage analysis verification tools safety partition breach analysis system embedded software Health and safety aspects programming and algorithm theory aerospace computing

来源：评论

学校读者我要写书评

暂无评论

SOFTWARE METRICS AND INTEGRATED PROJECT support ENVIRONMENTS

引用

SOFTWARE ENGINEERING JOURNAL 1986年第1期1卷 58-64页

作者： KITCHENHAM, BA MCDERMID, JA INT COMP LTD CTR SOFTWARE ENGN TECHNOLSTOKE ON TRENT SK7 1TLSTAFFSENGLAND SYST DESIGNERS PLC CAMBERLEY GU15 3XDSURREYENGLAND

This paper considers how the information needs of managers may be helped by the development of integrated project support environments (IPSEs). In particular the paper concentrates on the issue of obtaining quantitative information about a software product and its development process using software metrics. The nature and use of software metrics and the problems of metrics data collection are discussed in terms of the authors' experience of an already existing metrics data collection system. The paper then considers the way in which metrics collection and analysis can be incorporated into IPSEs and the requirements that metrics systems place on the design of IPSEs.

关键词： software engineering programming support development process quantitative information Software management programming environments software metrics software product managers integrated project support environments

来源：评论

学校读者我要写书评

暂无评论

THE EXPERIMENTAL AIRCRAFT PROGRAM SOFTWARE TOOLSET

引用

SOFTWARE ENGINEERING JOURNAL 1986年第6期1卷 236-247页

作者： CRONSHAW, P BRITISH AEROSP PLC DIV MIL AIRCRAFTDEPT DEF SYST COMPPRESTON PR4 1DJLANCSENGLAND

The Experimental Aircraft Programme (EAP) is a technology demonstrator project in advance of the next generation of fighter aircraft. An integrated software toolset has been established to support the development and production of software for the advanced avionic systems embedded in this aircraft. This paper presents the work undertaken and the experience gained in developing, using and supporting the EAP software toolset from project initiation to final delivery of the software for flight testing. Many of the issues pertaining to the future requirements of an integrated project support environment and the rigours imposed in delivering relliable and high-quality real-time software for embedded processors are discussed.

关键词： integrated project support environment software tools Aerospace engineering computing programming support Experimental Aircraft Programme technology demonstrator project fighter aircraft programming environments flight testing Systems analysis and programming real-time software embedded processors aerospace computing advanced avionic systems EAP software toolset

来源：评论

学校读者我要写书评

暂无评论

MASCOT-3 - AN INFORMAL INTRODUCTORY TUTORIAL

引用

SOFTWARE ENGINEERING JOURNAL 1986年第3期1卷 95-102页

作者： BATE, G G&R SOFTWARE CONSULTANCY WANTAGE OX12 7EGENGLAND

Mascot is a method for the design and implementation of large real-time concurrent systems. The original version was developed during the early 1970s, and the Mascot 2 handbook was published in 1980. It is hoped that the newest version, Mascot 3, will be published in 1987. This paper is intended to give an outline of the main features of the Mascot method and the new concepts introdced by Mascot 3.

关键词： software engineering programming support Operating systems real-time concurrent systems software testing multiprocessing programs programming environments real-time systems Mascot 3

来源：评论

学校读者我要写书评

暂无评论

THE ECLIPSE OBJECT MANAGEMENT-SYSTEM

引用

SOFTWARE ENGINEERING JOURNAL 1986年第1期1卷 39-42页

作者： ALDERSON, A BOTT, MF FALLA, ME SOFTWARE SCI LTD MACCLESFIELD SK11 6SRCHESHIREENGLAND UNIV COLL WALES DEPT COMP SCIABERYSTWYTH SY23 2AXWALES

Configuration management is a vital element in successful software development. Automation to assist configuration management will be of great benefit in improving productivity and quality in software production. Eclipse is an integrated project support environment being developed as part of the Alvey Programme. The Eclipse Object Management System provides automated assistance for configuration management. This paper describes the approach taken in Eclipse and gives details of the concepts embodied in the Eclipse Object Management System.

关键词： integrated project support environment software engineering programming support Alvey Programme Software management programming environments software development quality Eclipse productivity object management system

来源：评论

学校读者我要写书评

暂无评论

A MODULA-2 BASED IMAGE-PROCESSING DEVELOPMENT SYSTEM

引用

SOFTWARE ENGINEERING JOURNAL 1986年第2期1卷 81-87页

作者： WORRALL, CM BROWNE, MA UNIV MANCHESTER INST SCI & TECHNOLDEPT INSTRUMENTAT & ANALYT SCIMANCHESTER M60 1QDLANCSENGLAND

We present here a development system which provides for both image processing and general program development in a common unified environment and is based on a modern state-of-the-art programming language — Modula-2. Although implemented on a relatively simple processor system (a DEC LSI-11/23), the design concept and image processing programs will transport to more powerful machines better suited to image processing.

关键词： DEC LSI-11/23 image processing development system programming support development systems program development image processing programs programming environments Microcomputer techniques Digital signal processing computerised picture processing Modula-2

来源：评论

学校读者我要写书评

暂无评论

MASCOT-3 - A TESTING STRATEGY

引用

SOFTWARE ENGINEERING JOURNAL 1986年第3期1卷 136-144页

作者： RIDDIOUGH, AR SOFTWARE SCI LTD MACCLESFIELD SK11 65RCHESHIREENGLAND

This paper describes two testing strategies which have been used successfully by a range of projects designed and manufactured using Mascot 2. It describes both strategies and considers the advantages and disadvantages of each. The ways in which the strategies could be evolved in order to exploit the advantages of Mascot 3 are discussed. The paper is largely based on direct experience with a number of projects designed and implemented using the Mascot 2 methodology and a variety of Mascot support environments.

关键词： programming support Mascot 2 testing strategies Operating systems program testing multiprocessing programs programming environments Mascot 3 support environments

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：