咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
排序:
Log-it: supporting programming with Interactive, Contextual, Structured, and Visual Logs  23
Log-it: Supporting Programming with Interactive, Contextual,...
收藏 引用
CHI conference on Human Factors in Computing Systems (CHI)
作者: Jiang, Peiling Sun, Fuling Xia, Haijun Univ Calif San Diego La Jolla CA 92093 USA
Logging is a widely used technique for inspecting and understanding programs. However, the presentation of logs still often takes its ancient form of a linear stream of text that resides in a terminal, console, or log... 详细信息
来源: 评论
Challenges and possible approaches: towards the petaflops computers
收藏 引用
中国高等学校学术文摘·计算机科学 2009年 第3期3卷 273-289页
作者: Depei QIAN Danfeng ZHU Department of Computer Science and Technology Xi'an Jiaotong University Xi'an 710049 China School of Computer Science and Technology Beihang University Beijing 100191 China School of Computer Science and Technology Beihang University Beijing 100191 China
In parallel with the R&D efforts in USA and Eu-rope, China's National High-tech R&D program has setup its goal in developing petaflops computers. Researchers and engineers world-wide are looking for approp... 详细信息
来源: 评论
Ibm :: 360 :: Bos Bps :: C24-3420-0 Bps Bos programming Systems Summary Aug65
收藏 引用
2016年
[Auto Generated] IBM System/360 Basic Pro'gramming support and IBM Basic Operating System/360 programming Systems ................................................ 5
来源: 评论
A PROTOTYPE SYSTEM FOR THE VALIDATION OF PASCAL PROGRAMS
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1988年 第2期3卷 47-52页
作者: WILKINSON, PT BOUCHARD, JA BYRNE, BA HENNELL, MA JACKSON, P ONEILL, G PARKIN, GI WICHMANN, BA NATL PHYS LAB DIV INFORMAT TECHNOL & COMPTEDDINGTON TW11 0LWMIDDXENGLAND UNIV LIVERPOOL DEPT STAT & COMP MATHLIVERPOOL L69 3BXENGLAND INT COMP LTD BRACKNELL RG12 4SNBERKSENGLAND ICL DEF SYST WOKINGHAM RG11 5TTBERKSENGLAND LIVERPOOL DATA RES ASSOCIATES LTD MERSEYSIDE INNOVAT CTRLIVERPOOL L3 5TFENGLAND STC TECHNOL LTD HARLOW CM17 9NAESSEXENGLAND
This paper gives an overview of a collaborative Alvey project to provide a UNIX-based environment in which Pascal programs can be analysed using a range of quality assessment tools. Integration of this tool set is ach... 详细信息
来源: 评论
DIRECT MANIPULATION OF AN OBJECT STORE
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1988年 第6期3卷 214-222页
作者: SAWYER, P SOMMERVILLE, I UNIV LANCASTER DEPT COMPLANCASTER LA1 4YRENGLAND
Integrated project support environments (IPSEs) are intended to provide a cohesive and integrated set of tools to support the process of design and development in software engineering projects. Much current research i... 详细信息
来源: 评论
THE EVOLUTION OF CONFIGURATION MANAGEMENT AND VERSION CONTROL
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1990年 第6期5卷 303-310页
作者: AMBRIOLA, V BENDIX, L CIANCARINI, P UNIV VOLINE DIPARTIMENTO MATEMAT & INFORMATI-33100 VOLINEITALY UNIV PISA DIPARTMENTO INFORMATI-56100 PISAITALY
The activities of configuration management and version control are common to a number of engineering tasks. These activities are particularly important for software engineers, since during most of the system lifecycle... 详细信息
来源: 评论
TOOLS AND TECHNIQUES FOR THE TESTING OF SAFETY-CRITICAL SOFTWARE
收藏 引用
COMPUTING & CONTROL ENGINEERING JOURNAL 1994年 第5期5卷 239-244页
作者: CULLYER, WJ STOREY, N Dept. of Eng. Warwick Univ. Coventry UK
As a result of the DTI/SERC research initiative on safety-critical systems a major study has been conducted into the benefits and shortcomings of the available tools and techniques for computer-aided testing of high-i... 详细信息
来源: 评论
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... 详细信息
来源: 评论
PERFIDE - AN ENVIRONMENT FOR EVALUATION AND MONITORING OF SOFTWARE-RELIABILITY METRICS DURING THE TEST PHASE
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1990年 第1期5卷 27-32页
作者: MAININI, MT BILLOT, L ESACONTROL GENOAITALY CISI INGN F-94528 RUNGISFRANCE
The paper outlines the need to use reliability metrics to improve the software production process, particularly during the test phase. A new approach for the organisation of testing activities based on the concept of ... 详细信息
来源: 评论
PLANNING TOOLS FOR MOBILE NETWORKS
收藏 引用
ELECTRONICS & COMMUNICATION ENGINEERING JOURNAL 1993年 第5期5卷 309-314页
作者: WILLARD, C ROCHEFOLLE, T BADEN, CCE CHEUNG, JCS CHARD, SG BEACH, MA CONSTANTINOU, P CUPIDO, L UNIV BRISTOL BRISTOL BS8 1THAVONENGLAND TECH UNIV ATHENS ATHENSGREECE
The RACE II project PLATON (Planning Tools for third generation mobile Networks) aims at defining a set of tools to be used for radio planning of the Universal Mobile Telecommunication System (UMTS) network. This pape... 详细信息
来源: 评论