咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是111-120 订阅
排序:
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 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... 详细信息
来源: 评论
Pamela—An Approach to Automatic Software Verification in Industrial Applications
收藏 引用
IFAC Proceedings Volumes 1989年 第19期22卷 65-69页
作者: B. Buth K.-H. Buth Institut für Informatik und Praktische Mathematik Christian-Albrechts-Universität zu Kiel Olshausenstrasse 40–60 D–2300 Kiel 1 FRG
In principle, program verification is the only adequate means to ensure the correctness of software with respect to precise or formal specifications. But since programs applied in industry tend to be large and complex... 详细信息
来源: 评论
TOWARDS THE FORMAL SPECIFICATION OF A SIMPLE programming support ENVIRONMENT
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1987年 第4期2卷 86-94页
作者: SUFRIN, B WOODCOCK, J UNIV OXFORD COMP LABPROGRAMMING RES GRPOXFORD OX1 3QDENGLAND
In order to make precise some of the desirable features of a programming support environment, and in order to encourage others to do likewise, this paper presents the formal specification of a small module or package ... 详细信息
来源: 评论
A programming ENVIRONMENT FOR MODULA-2
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1988年 第4期3卷 119-126页
作者: ROBINSON, P JORDAN, M UNIV CAMBRIDGE COMP LABCAMBRIDGE CB2 3QGENGLAND
Modula-2 was designed in 1979 by Prof. Niklaus Wirth as a successor to Pascal. It provides similar facilities for the description of algorithms and data structures, but differs radically from Pascal in allowing the co... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A DISTRIBUTED FILE SERVER FOR EMBEDDED APPLICATIONS
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1988年 第5期3卷 142-148页
作者: MUKHERJEE, A KRAMER, J MAGEE, J ADV TECHNOL INST CALCUTTA 700064INDIA UNIV LONDON IMPERIAL COLL SCI & TECHNOL DEPT COMPLONDON SW7 2BZENGLAND
This paper describes the design and implementation of a distributed file system (dfs) for embedded applications. The services provided in dfs include transaction management, file management and file access. Client pro... 详细信息
来源: 评论
TOOL support FOR REQUIREMENTS ANALYSIS
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1988年 第3期3卷 86-96页
作者: KRAMER, J NG, K POTTS, C WHITEHEAD, K UNIV LONDON IMPERIAL COLL SCI & TECHNOL DEPT COMPLONDON SW7 2BXENGLAND SYST DESIGNERS PLC CAMBERLEY GU15 3XDSURREYENGLAND
This paper describes an approach to the provision of tool support for two particular aspects of requirements analysis: method support by active guidance, and specification interpretation and validation by animation. M... 详细信息
来源: 评论
SYMBOLIC EXECUTION SYSTEMS - A REVIEW
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1988年 第6期3卷 229-239页
作者: COWARD, PD BRISTOL POLYTECH DEPT COMP STUDIES BRISTOL BS16 1QY ENGLAND OPEN UNIV FAC MATH COMP DISCIPLINE MILTON KEYNES MK7 6AA BUCKS ENGLAND
Symbolic execution is a technique that is useful in the validation of software. It may be used to aid in the generation of test data and in program proving. As software engineering becomes more concerned with the deve... 详细信息
来源: 评论