咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是121-130 订阅
排序:
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... 详细信息
来源: 评论
TRANSACTION MECHANISMS FOR DISTRIBUTED-programming ENVIRONMENTS
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1987年 第5期2卷 169-177页
作者: WALPOLE, J BLAIR, GS HUTCHISON, D NICOL, JR UNIV LANCASTER DEPT COMPLANCASTER LA1 4YRENGLAND
Considerable research effort in the software engineering domain has been focused on the development of more advanced programming environments. A key aspect in this development isdistribution. Distributed computer syst... 详细信息
来源: 评论
A SOFTWARE TOOL FOR TESTING JSP DESIGNED PROGRAMS
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1987年 第2期2卷 46-52页
作者: ROPER, RMF SMITH, P SUNDERLAND POLYTECH DEPT MATH & COMP STUDIESSUNDERLAND SR1 35DENGLAND
The aim of this paper is to present a new structural testing method for use with Jackson structured programming designed programs. The problems associated with testing are outlined and the concepts behind structural t... 详细信息
来源: 评论
SOME SOFTWARE TOOLS USED IN THE DEVELOPMENT OF THE PROTOTYPE YORK ADA COMPILER
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1987年 第4期2卷 140-144页
作者: RUNCIMAN, C UNIV YORK DEPT COMP SCIYORK YO1 5DDN YORKSHIREENGLAND
Among the various software tools developed in the early stages of the York Ada compiler project are two families of tools described here. Syntax-drivengenerators, distinctive in their inclusion of a mechanism for synt... 详细信息
来源: 评论
IDEA - AN INCREMENTAL DEVELOPMENT ENVIRONMENT FOR ADA
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1987年 第6期2卷 194-198页
作者: NICOL, C CROWE, MK CORR, ME ORAM, JW JENKINS, DG PAISLEY COLL TECHNOL DEPT COMP SCISOFTWARE TOOLS RES GRPHIGH STPAISLEY PA1 2BERENFREWSCOTLAND
This paper decribes an incremental environment which has been developed to meet the needs of developers and maintainers of large Ada projects. This environment assists the user to develop valid Ada text while consulti... 详细信息
来源: 评论
BUILDING AN OPEN COMMUNICATION APPLICATION
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1987年 第5期2卷 178-183页
作者: BASTABLE, A IRELAND, DM LANGSFORD, A AERE DIV COMP SCI & SYSTHARWELL OX11 0RAOXONENGLAND
The implementation of a series of protocol handlers is discussed in terms of the approach taken to design and implementation methods. The target was a communication sub-system insupport of terminal handling applicatio... 详细信息
来源: 评论
THE CONIC TOOLKIT FOR BUILDING DISTRIBUTED SYSTEMS
收藏 引用
IEE PROCEEDINGS-D CONTROL THEORY AND APPLICATIONS 1987年 第2期134卷 73-82页
作者: KRAMER, J MAGEE, J SLOMAN, M Department of Computing Imperial College of Science & Technology University of London London UK
Conic provides a set of tools for building flexible distributed systems for embedded applications such as factory automation, telecommunications, process monitoring and control. The Conic programming language is used ... 详细信息
来源: 评论
PERFORMANCE MONITORING AND EVALUATION OF LARGE EMBEDDED SYSTEMS
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1987年 第5期2卷 184-192页
作者: HALSALL, F HUI, SC UNIV SUSSEX SCH ENGN & APPL SCIBRIGHTON BN1 9QTENGLAND
This paper describes the rationale and design of an integrated set of software tools which havebeen implemented for use with a large real-time embedded system which is based on a distributed architecture. The tools in... 详细信息
来源: 评论
GENERATING READABLE SOFTWARE
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1987年 第3期2卷 64-70页
作者: CROOKES, D QUEENS UNIV BELFAST DEPT COMP SCIBELFAST BT7 1NNANTRIMNORTH IRELAND
Software generators are important tools for software engineers. However, their usefulness is often diminished because of the poor readability of the generated code. By encouraging generator builders to give readabilit... 详细信息
来源: 评论