咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是131-140 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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-proces... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 quantitati... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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 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. Ecli... 详细信息
来源: 评论
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.... 详细信息
来源: 评论
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 disadvantage... 详细信息
来源: 评论