咨询与建议

限定检索结果

文献类型

  • 1,178 篇 会议
  • 329 篇 期刊文献
  • 7 册 图书
  • 4 篇 学位论文

馆藏范围

  • 1,518 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 641 篇 工学
    • 460 篇 计算机科学与技术...
    • 311 篇 软件工程
    • 221 篇 电气工程
    • 78 篇 控制科学与工程
    • 63 篇 信息与通信工程
    • 49 篇 机械工程
    • 31 篇 电子科学与技术(可...
    • 20 篇 仪器科学与技术
    • 16 篇 材料科学与工程(可...
    • 7 篇 生物医学工程(可授...
    • 6 篇 力学(可授工学、理...
    • 6 篇 动力工程及工程热...
    • 6 篇 化学工程与技术
    • 5 篇 建筑学
    • 5 篇 生物工程
    • 4 篇 土木工程
    • 4 篇 航空宇航科学与技...
    • 4 篇 核科学与技术
  • 106 篇 理学
    • 69 篇 数学
    • 14 篇 物理学
    • 11 篇 系统科学
    • 11 篇 统计学(可授理学、...
    • 10 篇 生物学
    • 7 篇 科学技术史(分学科...
  • 55 篇 管理学
    • 40 篇 管理科学与工程(可...
    • 15 篇 图书情报与档案管...
    • 8 篇 工商管理
  • 9 篇 医学
    • 6 篇 临床医学
  • 6 篇 教育学
    • 6 篇 教育学
  • 4 篇 文学
    • 4 篇 新闻传播学
  • 2 篇 哲学
  • 2 篇 经济学
  • 2 篇 法学
  • 1 篇 历史学

主题

  • 1,518 篇 automatic progra...
  • 155 篇 programming prof...
  • 144 篇 application soft...
  • 143 篇 automatic contro...
  • 136 篇 computer science
  • 109 篇 robot programmin...
  • 106 篇 robotics and aut...
  • 104 篇 genetic programm...
  • 90 篇 automatic testin...
  • 88 篇 control systems
  • 86 篇 hardware
  • 84 篇 computer languag...
  • 82 篇 humans
  • 80 篇 software enginee...
  • 76 篇 costs
  • 73 篇 automation
  • 72 篇 testing
  • 70 篇 software systems
  • 65 篇 functional progr...
  • 63 篇 system testing

机构

  • 8 篇 the robotics ins...
  • 5 篇 school of comput...
  • 4 篇 fujitsu laborato...
  • 4 篇 national univers...
  • 4 篇 graduate school ...
  • 3 篇 department of co...
  • 3 篇 sandia national ...
  • 3 篇 college of infor...
  • 3 篇 school of machin...
  • 3 篇 swoop cambridge ...
  • 3 篇 ostfold univ col...
  • 3 篇 sri internationa...
  • 3 篇 school of comput...
  • 3 篇 hamilton coll cl...
  • 3 篇 lockheed palo al...
  • 3 篇 research institu...
  • 3 篇 ibm research lab...
  • 3 篇 sivas cumhuriyet...
  • 3 篇 production model...
  • 3 篇 department of el...

作者

  • 11 篇 k. ikeuchi
  • 7 篇 olsson roland
  • 6 篇 h. mizutani
  • 6 篇 arslan sibel
  • 5 篇 akira hara
  • 5 篇 arpaia pasquale
  • 5 篇 c. ramos
  • 5 篇 t. suehiro
  • 5 篇 t. matsudaira
  • 5 篇 j. rocha
  • 5 篇 tetsuyuki takaha...
  • 4 篇 katagiri takahir...
  • 4 篇 helmuth thomas
  • 4 篇 t. thomasma
  • 4 篇 ikeuchi k
  • 4 篇 pantridge edward
  • 4 篇 jun-ichi kushida
  • 4 篇 c.e. moron
  • 4 篇 spector lee
  • 4 篇 t.l. marzetta

语言

  • 1,457 篇 英文
  • 56 篇 其他
  • 3 篇 中文
  • 2 篇 日文
  • 1 篇 法文
检索条件"主题词=Automatic Programming"
1518 条 记 录,以下是591-600 订阅
排序:
Safe integration of new concerns in a software architecture
Safe integration of new concerns in a software architecture
收藏 引用
International Conference and Workshop on Engineering of Computer-Based Systems
作者: O. Barais J. Lawall A.-F. Le Meur L. Duchien Jacquard project INRIA/LIFL Université des Sciences et Technologies de Lille INRIA/LIFL Villeneuve d'Ascq France DIKU University of Copenhagen Copenhagen Denmark
Software architectures must frequently evolve to cope with changing requirements, and this evolution often implies integrating new concerns. Unfortunately, existing architecture description languages provide little or... 详细信息
来源: 评论
Realizing the Automated Design of Building Automation Systems
Realizing the Automated Design of Building Automation System...
收藏 引用
IEEE International Conference on Industrial Informatics (INDIN)
作者: H. Dibowski C. Oezluek J. Ploennigs K. Kabitzsch Institute of Applied Computer Science Dresden University of Technology Dresden Germany
The future design of large and complex building automation systems (BAS) needs to be increasingly efficient. The usage of prefabricated devices and design patterns alone is insufficient to face complex demands. New au... 详细信息
来源: 评论
The Research on Dynamic Load Balancing Algorithm for Heterogeneous Systems
The Research on Dynamic Load Balancing Algorithm for Heterog...
收藏 引用
World Congress on Intelligent Control and Automation (WCICA)
作者: Peiyou Zhu Ji Gao Rong Chen Fan Zhang Hang Guo Department of Computer Science and Engineering University of Zhejiang Hangzhou China
In order to implement and facilitate the dynamic load balancing of heterogeneous systems, we provided a new CAPA (cellular automata programming algorithm) based dynamic load balancing algorithm, which made full use of... 详细信息
来源: 评论
CODES: Supporting the development process in a publish/subscribe system
CODES: Supporting the development process in a publish/subsc...
收藏 引用
Workshop on Intelligent Solutions in Embedded Systems
作者: Jorg Kaiser Hubert Piontek Institut für verteilte Systeme Otto von Guericke Universität Magdeburg Magdeburg Germany Abteilung Eingebettete Systeme/Echtzeitsysteme Universität Ulm Ulm Germany
This paper presents CODES (COsmic embedded DEvice Specifications) which allows to describe the properties of smart components. A component is a small autonomous device that encapsulates hardware, software and possibly... 详细信息
来源: 评论
The Role of Theory and Experiment in Language Design--A 15 Year Perspective
The Role of Theory and Experiment in Language Design--A 15 Y...
收藏 引用
International Conference on Tools for Artificial Intelligence (ICTAI)
作者: Daniel E. Cooke Brad Nemanich J. Nelson Rushton Computer Science Department Texas Tech University USA
This paper highlights a 15-year research effort during which the executable specification language SequenceL has been researched and developed. The paper covers early insights into how iterative control structures are... 详细信息
来源: 评论
PSO Based Surrogate Model Steady State Optimization with Its application
PSO Based Surrogate Model Steady State Optimization with Its...
收藏 引用
World Congress on Intelligent Control and Automation (WCICA)
作者: Xiugai Li Dexian Huang Department of Automation Tsinghua University Beijing China
RBF neural network based surrogate model is constructed from process simulator and particle swarm optimization (PSO) strategy is discussed to solve this nonlinear programming problem with some output variables are unm... 详细信息
来源: 评论
A Tool for Automated GUI Program Grading
A Tool for Automated GUI Program Grading
收藏 引用
Frontiers in Education (FIE) Conference
作者: Man Yu Feng Andrew McAllister Faculty of Computer Science University of New Brunswick Fredericton Canada
This paper introduces an automated grader for Java programs called GUIGrader that allows students a degree of flexibility in graphical user interface (GUI) design. GUIGrader allows students to build multi-window Java ... 详细信息
来源: 评论
Using communicative acts in interaction design specifications for automated synthesis of user interfaces
Using communicative acts in interaction design specification...
收藏 引用
IEEE International Conference on Automated Software Engineering (ASE)
作者: H. Kaindl E. Arnautovic H. Jelinek T. Rock R. Popp J. Falb ICT Vienna Univ. of Technol.
Instead of developing user interfaces (UIs) directly, we argue for specifying an interaction design from which UIs can be automatically synthesized. We present an approach to using communicative acts in high-level spe... 详细信息
来源: 评论
A general purpose front-office system for eGovernment communications
A general purpose front-office system for eGovernment commun...
收藏 引用
International Conference on Information Technology Interfaces
作者: I. Futo Hungarian Tax and Financial Control Administration Hungary
In the paper, a software package, supporting different types of electronic communication (PIN and password, PKI) is introduced. This communication is based on predefined electronic forms assigned to the different case... 详细信息
来源: 评论
Automated Testing of Unix Command-line and Scripting Skills
Automated Testing of Unix Command-line and Scripting Skills
收藏 引用
International Conference on Information Technology Based Higher Education and Training, ITHET
作者: Andrew Solomon Daniel Santamaria Raymond Lister University of Technology Sydney NSW Australia
This paper describes the use of LinuxGym - software which assists a student's learning of Linux scripting, from directory listing to advanced Perl programming. The software randomly generates new tasks for each st... 详细信息
来源: 评论