咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
Ibm :: 360 :: Systemsummary :: Ga22-6810-12 360Syssumjan74
收藏 引用
2016年
Ibm :: 360 :: Systemsummary :: Ga22-6810-12 360Syssumjan74 by published by
来源: 评论
Ibm :: 3800 :: Gc20-1775-0 Concepts of the Ibm 3800 Printing Subsystem Mar75
收藏 引用
2016年
[Auto Generated] Page Title 1 .. A. INTRODUCTION 2 .. B. OPERATION 2 .. B 1. Operating Principles 2 .. B2. Operating Details 2 .. B2a. Generating and storing characters 2 .. B2b. Laser, laser modulator, and laser opti... 详细信息
来源: 评论
Ibm :: 370 :: Dos Vse :: Gc33-5370-6 Intro to Dos Vse Jan79
收藏 引用
2016年
Ibm :: 370 :: Dos Vse :: Gc33-5370-6 Intro to Dos Vse Jan79 by published by
来源: 评论
A supporting System for Making NC Programs by Way of Knowledge Engineering Approach
收藏 引用
IFAC Proceedings Volumes 1990年 第7期23卷 213-218页
作者: N. Wakabayashi N. Honda T. Mimaki S. Matsumoto The Institute of Scientific and Industrial Research Osaka University Ibaraki Osaka Japan Department of Communication and Systems University of Electro-Communications Chofu Tokyo Japan Amada Metrecs Co. Ltd. Odawara Kanagawa Japan
Conventionally a processing program for NC (numerical control) machine is coded by a skilled operator or programmer, who has the excellent experience of machine work. As compared with the processing time taken by NC m... 详细信息
来源: 评论
What Can Robots Learn from Humans?
收藏 引用
IFAC Proceedings Volumes 1995年 第20期28卷 1-6页
作者: Holger Friedrich Michael Kaiser Rüdiger Dillmann Institute for Real-Time Computer Systems & Robotics University of Karlsruhe D- 76128 Karlsruhe Germany.
programming by Demonstration (PbD) is an intuitive method to program a robot. The user, acting as a teacher or programmer, shows how a particular task should be carried out. The demonstration is monitored using an int... 详细信息
来源: 评论
Predicting and Improving Response-Times of Perfect-Models
收藏 引用
IFAC Proceedings Volumes 1992年 第10期25卷 515-520页
作者: J.M.A. Sassen A. Ollongren R.B.M. Jaspers Delft University of Technology Faculty of Mechanical Engineering Mekelweg 2 2628 CD Delft The Netherlands Leiden University Department of Computer Science Niels Bohrweg 1 Leiden The Netherlands TNO-Institute of Applied Computer Science P.O. Box 214 2600 AE Delft The Netherlands
PERFECT (programming EnviRonment For Expertsystems Constrained in reasoning Time) aims at supporting knowledge engineers during the development of real-time knowledge based systems (RTKBS). It provides support at the ... 详细信息
来源: 评论
Designing real-time knowledge based systems with perfect
收藏 引用
Annual Review in Automatic programming 1992年 17卷 491-496页
作者: J.M.A. Sassen R.B.M. Jaspers Delft University of Technology Faculty of Mechanical Engineering Mekelweg 2 2628 CD Delft The Netherlands TNO-Institute of Applied Computer Science P.O. Box 6032 2600 JA Delft The Netherlands
For real-time knowledge based systems (RTKBS) to become viable complements to traditional information systems the application of proven methodologies for system analysis and design is of utmost performance. However, t... 详细信息
来源: 评论
CarSh: A Commandline Execution support for Stream-based Acceleration Environment
收藏 引用
Procedia Computer Science 2013年 18卷 601-610页
作者: Shinichi Yamagiwa Shixun Zhang Faculty of Engineering Information and SystemsUniversity of Tsukuba JST PRESTO Department of Computer Science University of Tsukuba 1-1-1 Tennodai Tsukuba Ibaraki 305-8573 Japan
The stream computing using manycore architecture such as GPU and the accelerators on FPGA has become one of the main methods for achieving high performance computing that such accelerators are employed in the recent t... 详细信息
来源: 评论
EVALUATION OF UML IN PROCESS AUTOMATION – RESULTS OF AN EXPERIMENTAL APPROACH -
收藏 引用
IFAC Proceedings Volumes 2007年 第16期40卷 269-274页
作者: David Friedrich Dorothea Pantfoerder Birgit Vogel-Heuser Embedded Systems Department of Computer Science and Electrical Engineering University of Kassel 34121 Kassel Germany
This paper reports on a series of lab experiments to evaluate the application of modelling notations in automation and control engineering. The focus of this evaluation was on two aspects: 1) analyzing and modelling t... 详细信息
来源: 评论
Program Transformations for Distributed Control Systems
收藏 引用
IFAC Proceedings Volumes 1994年 第11期27卷 285-290页
作者: Dieter Zöbel University Koblenz-Landau Fachbereich Informatik D-56075 Koblenz. Germany
This article focuses on programming support for the application area of distributed control systems. Program transformations are introduced to modify properties of distributed programs. Based on a specification-orient... 详细信息
来源: 评论