咨询与建议

限定检索结果

文献类型

  • 124 篇 期刊文献
  • 14 篇 会议
  • 6 册 图书

馆藏范围

  • 144 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 108 篇 工学
    • 81 篇 计算机科学与技术...
    • 74 篇 软件工程
    • 18 篇 电气工程
    • 14 篇 控制科学与工程
    • 4 篇 信息与通信工程
    • 3 篇 电子科学与技术(可...
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程(可...
  • 3 篇 理学
    • 2 篇 数学
    • 2 篇 系统科学
    • 1 篇 生物学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 144 篇 programming supp...
  • 51 篇 software tools
  • 32 篇 software enginee...
  • 28 篇 programming envi...
  • 27 篇 software enginee...
  • 11 篇 formal specifica...
  • 10 篇 operating system...
  • 10 篇 software develop...
  • 10 篇 object-oriented ...
  • 10 篇 software managem...
  • 8 篇 high level langu...
  • 8 篇 project support ...
  • 8 篇 program testing
  • 8 篇 diagnostic, test...
  • 8 篇 artificial intel...
  • 7 篇 knowledge engine...
  • 7 篇 systems analysis...
  • 6 篇 configuration ma...
  • 6 篇 ada
  • 6 篇 real-time system...

机构

  • 4 篇 univ lancaster d...
  • 4 篇 delft university...
  • 3 篇 syst designers p...
  • 3 篇 queens univ belf...
  • 2 篇 delft univ techn...
  • 2 篇 univ york dept c...
  • 2 篇 leiden universit...
  • 2 篇 norwegian inst t...
  • 2 篇 univ bradford de...
  • 2 篇 tno-institute of...
  • 2 篇 united technol r...
  • 2 篇 univ washington ...
  • 2 篇 tno-institute of...
  • 2 篇 the generics gro...
  • 2 篇 univ calif berke...
  • 2 篇 tno institute of...
  • 2 篇 washington univ ...
  • 2 篇 univ london impe...
  • 1 篇 electrical engin...
  • 1 篇 univ british col...

作者

  • 4 篇 r.b.m. jaspers
  • 4 篇 j.m.a. sassen
  • 3 篇 sommerville i
  • 3 篇 glassman elena l...
  • 3 篇 kramer j
  • 2 篇 a. ollongren
  • 2 篇 stevenson i
  • 2 篇 magee j
  • 2 篇 kim kh
  • 2 篇 mcdermid ja
  • 2 篇 ichinco michelle
  • 2 篇 z. papp
  • 2 篇 bacellar l
  • 2 篇 griffiths g
  • 2 篇 bott mf
  • 2 篇 jaspers rbm
  • 2 篇 hartmann bjorn
  • 2 篇 bustard dw
  • 2 篇 kim miryung
  • 2 篇 sassen jma

语言

  • 78 篇 其他
  • 66 篇 英文
检索条件"主题词=Programming support"
144 条 记 录,以下是81-90 订阅
排序:
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 performan... 详细信息
来源: 评论
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 b... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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 provid... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 th... 详细信息
来源: 评论
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 wi... 详细信息
来源: 评论
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 ani... 详细信息
来源: 评论
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 al... 详细信息
来源: 评论
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 to... 详细信息
来源: 评论