咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
C04: Microcontroller applications reconfiguration method and development system
收藏 引用
IFAC Proceedings Volumes 2004年 第20期37卷 284-287页
作者: Marius Oteşteanu Aurel Gontean “Politehnica” University of Timişoara Bv. V. Parvan 2 300275 Timisoara Romania
The paper presents support solutions for designing, reconfiguration and testing embedded system applications with microcontrollers. The proposed method allows the reconfiguration of an industrial application, in diffe... 详细信息
来源: 评论
Managing Scripts for Interactive Service Robots by Using Action-Relation Rules
收藏 引用
IFAC Proceedings Volumes 2010年 第13期43卷 164-168页
作者: Yochan Kim Wan C. Yoon Department of Industrial & Systems Engineering Korea Advanced Institute of Science and Technology Daejeon Korea Department of Knowledge Service Engineering Korea Advanced Institute of Science and Technology Daejeon Korea (Tel: 82+42-350-3119
An approach in which manually written task procedures are used is proposed for generating natural and comprehensive task plans. However, semantic inconsistencies may occur in manually programmed procedures. In this pa... 详细信息
来源: 评论
Why is software configuration management so complicated? [Tech Focus: Configuration Management]
收藏 引用
Information Professional 2005年 第1期2卷 38-42页
作者: Laura Wingerd Product technology at Perforce Technology
Software configuration management has a reputation of being difficult to use but it does not have to be that way. Making the most of using it depends on simplifying the process for developers.
来源: 评论
Simulation concert party
收藏 引用
IEE Review 1999年 第2期45卷 82-84页
作者: P. Clarke Integrated Systems Limited Letchworth
Modern design increasingly demands the use of co-simulation, with effective interworking between software simulation tools from multiple vendors. The pLUG&SIM development environment has been designed specifically... 详细信息
来源: 评论
An execution environment for real-time model-based supervisory control and diagnostic systems
收藏 引用
Annual Review in Automatic programming 1992年 17卷 521-526页
作者: Z. Papp J.A. van Woerden B.J.F. Driessen TNO Institute of Applied Physics P.O. Box 155 2600 AD Delft The Netherlands
The paper presents a Lisp based programming tool and the underlying computational model, which support implementing real-time model/knowledge-based control and diagnostic systems by giving architectural and algorithmi... 详细信息
来源: 评论
Formal verification of PLC-programs
收藏 引用
IFAC Proceedings Volumes 1999年 第2期32卷 1513-1518页
作者: Th. Filkorn M. Hölzlein P. Warkentin M. Weiβ Siemens Corporate Technology 81730 Munich Germany
Siemens Corporate Technology has developed a methodology for formal verification. This methodology allows to prove or falsify the correctness of programs for a PLC (programmable logical controller) fully automatically... 详细信息
来源: 评论
Enabling Efficient Schedulability Analysis through Program Transformations and Restricted Resource Contention
收藏 引用
IFAC Proceedings Volumes 1992年 第11期25卷 269-273页
作者: Alexander D. Stoyenko Thomas J. Marlowe Wolfgang A. Halang Real-Time Computing Laboratory Computer and Information Science New Jersey Institute of Technology Newark New Jersey 07102 USA Mathematics and Computer Science Seton Hall University South Orange New Jersey 07079 USA Computing Science University of Groningen P.O. Box 800 9700 AV Groningen The Netherlands
We present polynomial-time static semantics-preserving transformations of real-time programs. Used in conjunction with schedulability analysis, the transformations significantly increase the class of real-time program... 详细信息
来源: 评论
Small chips in crossed wires
收藏 引用
IEE Review 2003年 第11期49卷 42-45页
作者: C. Edwards
Could the next generation in semiconductor process technology be undermined by the legacy of unresolved technical problems? As we enter 2004, the next phase in integrated circuit manufacturing will begin in earnest, w... 详细信息
来源: 评论
Software Quality and Productivity – Is There a Choice? – Does There Have To Be?
收藏 引用
IFAC Proceedings Volumes 1990年 第5期23卷 35-39页
作者: C.R. Hall Allied-Signal Aerospace Company Bendix Engine Controls Division South Bend Indiana USA
Bendix Engine Controls Division delivers a wide variety of aviation-related software, both for military applications as well as for commercial uses. Much of this software is utilized in propulsion control systems for ... 详细信息
来源: 评论
Personal-computer Based Software Development for Dedicated Real-time Systems
收藏 引用
IFAC Proceedings Volumes 1990年 第8期23卷 273-277页
作者: W.P. Paula Filho Computer Science Department Universidade Federal de Minas Cerais Caixa Postal 702 30161 Belo Horizonte M.C. Brazil
For cost reasons, real-time dedicated computer systems often do not have the hardware necessary to support software development tools, such as editors, compilers and file systems. They may be suppl led by a specialize... 详细信息
来源: 评论