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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

THE MASCOT METHOD

引用

SOFTWARE ENGINEERING JOURNAL 1986年第3期1卷 103-120页

作者： SIMPSON, H BRITISH AEROSP DIV ARMY WEAPSYST CONTROL SOFTWARESTEVENAGE SGI 2DAHERTSENGLAND

Mascot is a software design method based on a form of functional and structural design decomposition which is particularly suitable for use in the development of large, distributed, embedded real-time data processing systems. The method provides a design language and graphical notation, together with a procedure for design derivation. This paper describes the main features of the method and the principles on which the methods is based. An example problem and its solution illustrate the application of the method. The solution is extended to show how Mascot provides a straightforward and natural means of coping with multiprocessor target hardware where communication is through shared memory.

关键词： functional design programming support Operating systems Mascot embedded systems multiprocessing programs design language programming environments structural design decomposition distributed processing multiprocessor target hardware software design method distributed systems real-time systems graphical notation shared memory

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

THE PUBLIC TOOL INTERFACE IN SOFTWARE ENGINEERING ENVIRONMENTS

引用

SOFTWARE ENGINEERING JOURNAL 1986年第6期1卷 254-258页

作者： LYONS, TGL SOFTWARE SCI LTD FARNBOROUGH GU14 7NBHANTSENGLAND

Well specified public tool interfaces(PTIs) on which tools run, and which provide access to all facilities used by tools, are now being designed to lie at the heart of software engineering environments. This allows the source code of tools to be ported between different implementations of the PTI. Database access is of particular importance for an effective environment, and this is not provided by conventional system services. The background to current PTI work and some early developments are considered. Standardisation efforts are described, and future research is mentioned briefly, before drawing conclusions on the importance of this topic.

关键词： programming support Ada environments CAIS PCTE programming environments software engineering environments software support environments Systems analysis and programming database access APSE public tool interfaces standardisation

来源：评论

学校读者我要写书评

暂无评论

ALSETT - TOWARDS AN EDUCATIONAL IPSE

引用

SOFTWARE ENGINEERING JOURNAL 1989年第4期4卷 203-207页

作者： LOCKYER, MA GRIFFITHS, G TEESSIDE POLYTECH SCH INFORMAT ENGNMIDDLESBROUGH TS1 3BACLEVELANDENGLAND

The paper will consider the use of software tools in higher education, with particular reference to those developed at Teesside Polytechnic. The experience of using these tools with a large number of undergraduates will be presented, and an outline of the projected extension into a computer-aided learning system will be given. The particular facilities that are important when moving towards an educational integrated project support environment (IPSE) will be discussed.

关键词： Computing education and training software tools ALSETT automated learning software engineering tools at Teesside programming support Teeside Polytechnic computer science education computer aided instruction project support environments undergraduates Computer-aided instruction computer-aided learning system educational integrated project support environment higher education educational IPSE

来源：评论

学校读者我要写书评

暂无评论

A PICTORIAL APPROACH TO THE ANIMATION OF PROCESS-ORIENTED FORMAL SPECIFICATIONS

引用

SOFTWARE ENGINEERING JOURNAL 1988年第4期3卷 114-118页

作者： BUSTARD, DW NORRIS, MT ORR, RA QUEENS UNIV BELFAST DEPT COMP SCIBELFAST BT7 1NNANTRIMNORTH IRELAND BRITISH TELECOM RES LABS IPSWICH IP5 7RESUFFOLKENGLAND

This paper considers how the meaning of process-oriented formal specifications might be made more apparent through the use of pictorial animation. The approach taken is based on techniques embodied in the software animation system PEEP. The PEEP system gives pictorial representations of the changing states of software as it is executed. It was designed for concurrent applications expressed in a modular multiprogramming language, such as Ada or Pascal Plus. Corresponding formal languages suitable for the specification of concurrent systems include CSP, CCS, SDL and LOTOS. The LOTOS language is used for illustration purposes in this paper, but the techniques discussed are equally applicable to the other languages.

关键词： software tools programming support specification languages animation computer graphics Software engineering techniques CSP modular multiprogramming language concurrent applications PEEP Ada process-oriented formal specifications CCS SDL Graphics techniques LOTOS Pascal Plus formal languages

来源：评论

学校读者我要写书评

暂无评论

AN APPROACH TO AUTOMATED SOFTWARE-DESIGN BASED ON PRODUCT METRICS

引用

SOFTWARE ENGINEERING JOURNAL 1988年第2期3卷 53-56页

作者： INCE, DC HEKMATPOUR, S OPEN UNIV FAC MATHCHIKUSA KU GRPMILTON KEYNES MK7 6AABUCKSENGLAND

Recent research has attempted to quantify the quality of a software design in terms of measurable properties. A weakness of this research is that it ignores the fact that software design involves the exploration of alternative software architectures. An approach to software design selection is described which involves examining a design solution space. It relies on the formulation of the problem of selecting software designs in operational research terms. The paper concludes with a description of a software tool based on the approach.

关键词： software tools software engineering software architectures programming support software design selection design solution space software quality Software engineering techniques operations research automated software design software tool automatic programming product metrics

来源：评论

学校读者我要写书评

暂无评论

A FORMAL DESCRIPTION OF THE STRUCTURE ATTRIBUTE MODEL FOR TOOL INTERFACING

引用

SOFTWARE ENGINEERING JOURNAL 1989年第2期4卷 74-78页

作者： BURNS, A MORRISON, IW UNIV BRADFORD DEPT COMPBRADFORD BD7 1DPW YORKSHIREENGLAND

The structure attribute (SA) model for tool interfacing is introduced and formally defined using the Z specification language. This model provides for a strongly typed interface but without the necessity of generic tools. An inheritance model is incorporated that links the defined types within an IPSE. A further classification of the SAs allows for the controlled application of tools such as editors.

关键词： software tools formal specification specification languages IPSE formal description Z specification language tool interfacing data structures strongly typed interface Software engineering techniques programming support inheritance model File organisation structure attribute model

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：