咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是61-70 订阅
排序:
A MODEL FOR COOPERATIVE OBJECT-ORIENTED programming
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1993年 第1期8卷 41-48页
作者: NASCIMENTO, C DOLLIMORE, J QUEEN MARY & WESTFIELD COLL DEPT COMP SCILONDON E1 4NSENGLAND
In this paper we describe an abstract model for the development of object-oriented software in a context where several programmers work together as a team. We introduce the different levels that compose our model, map... 详细信息
来源: 评论
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... 详细信息
来源: 评论
DESIGNING REAL-TIME KNOWLEDGE-BASED SYSTEMS WITH PERFECT
DESIGNING REAL-TIME KNOWLEDGE-BASED SYSTEMS WITH PERFECT
收藏 引用
IFAC/IFIP/IMACS Symposium
作者: SASSEN, JMA JASPERS, RBM DELFT UNIV TECHNOL FAC MECH ENGN2628 CD DELFTNETHERLANDS
来源: 评论
PREDICTING AND IMPROVING RESPONSE-TIMES OF PERFECT-MODELS
PREDICTING AND IMPROVING RESPONSE-TIMES OF PERFECT-MODELS
收藏 引用
IFAC/IFIP/IMACS Symposium
作者: SASSEN, JMA OLLONGREN, A JASPERS, RBM DELFT UNIV TECHNOL FAC MECH ENGN2628 CD DELFTNETHERLANDS
来源: 评论
GETTING FRIENDLY WITH ROBOTS
GETTING FRIENDLY WITH ROBOTS
收藏 引用
7TH IFAC/IFIP/IFORS/IMACS/ISPE SYMP ON INFORMATION CONTROL PROBLEMS IN MANUFACTURING TECHNOLOGY
作者: ARCHIBALD, C PETRIU, E UNIV OTTAWA DEPT ELECT ENGN OTTAWA K1N 6N5 ONTARIO CANADA
来源: 评论
Predictable Parallel Real-time Code Generation
收藏 引用
IFAC Proceedings Volumes 1993年 第2期26卷 701-704页
作者: M.R. Webster D.C. Levy R.G. Harley D.R. Woodward M. vd Westhuizen B.S. Meyer Electrical Engineering University of Natal King George Vth Avenue Durban 4000 South Africa
The design and implementation of controller software for embedded hard real-time applicatiions can prove to be a time consuming and error prone task. In order to create software with predictable execution times and re... 详细信息
来源: 评论
THE TIPSE - AN IPSE FOR TEACHING
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1992年 第5期7卷 347-356页
作者: RATCLIFFE, MB BOTT, MF STOTTERBROOKS, TJ WHITTLE, BR UNIV WALES DEPT COMP SCIABERYSTWYTH SY23 3BZDYFEDWALES
This paper describes the support environment being developed at the University of Wales, Aberystwyth, for use in teaching software engineering. The environment provides a fully integrated tool set that will eventually... 详细信息
来源: 评论
TOWARDS A FORMAL SPECIFICATION OF REVISABLE CORE - ALLOWING FOR CHANGE
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1992年 第6期7卷 393-408页
作者: STOKES, DA PRAXIS SYST PLC BATH BA1 1PXENGLAND
Many requirements analysis tools, techniques and methods exist to help in the development of consistent, complete and valid requirements specifications. However, few, if any, of these methods recognise and take suffic... 详细信息
来源: 评论
SOFTWARE-DEVELOPMENT - 2 APPROACHES TO ANIMATION OF Z-SPECIFICATIONS USING PROLOG
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1992年 第4期7卷 264-276页
作者: WEST, MM EAGLESTONE, BM UNIV LEEDS SCH COMP STUDIESLEEDS LS2 9JTW YORKSHIREENGLAND UNIV BRADFORD DEPT COMPBRADFORD BD7 1DPW YORKSHIREENGLAND
Formal methods rely on the correctness of the formal requirements specification, but this correctness cannot be proved. This paper discusses the use of software tools to assist in the validation of formal specificatio... 详细信息
来源: 评论
VISTA - A USER INTERFACE FOR A DISTRIBUTED OBJECT-ORIENTED SOFTWARE ENGINEERING ENVIRONMENT
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1992年 第1期7卷 25-34页
作者: RODDEN, T SAWYER, P SOMMERVILLE, I UNIV LANCASTER DEPT COMPLANCASTER LA1 4YRENGLAND
This paper describes a prototype user interface for a distributed software engineering environment, where the components of the environment are autonomous agents with some inherent decision-making capabilities. Agents... 详细信息
来源: 评论