咨询与建议

限定检索结果

文献类型

  • 525 篇 会议
  • 195 篇 期刊文献
  • 21 册 图书

馆藏范围

  • 741 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 464 篇 工学
    • 374 篇 计算机科学与技术...
    • 305 篇 软件工程
    • 55 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 27 篇 电气工程
    • 27 篇 土木工程
    • 24 篇 电子科学与技术(可...
    • 23 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 16 篇 建筑学
    • 15 篇 网络空间安全
    • 14 篇 生物医学工程(可授...
    • 10 篇 材料科学与工程(可...
    • 9 篇 农业工程
  • 222 篇 理学
    • 124 篇 数学
    • 38 篇 系统科学
    • 35 篇 物理学
    • 29 篇 生物学
    • 27 篇 统计学(可授理学、...
    • 21 篇 海洋科学
  • 117 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 44 篇 图书情报与档案管...
    • 41 篇 工商管理
  • 18 篇 经济学
    • 17 篇 应用经济学
  • 15 篇 法学
    • 14 篇 社会学
  • 15 篇 教育学
    • 13 篇 教育学
  • 15 篇 医学
    • 12 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 12 篇 农学
    • 11 篇 作物学
  • 3 篇 文学
  • 2 篇 哲学
  • 1 篇 军事学

主题

  • 21 篇 application soft...
  • 21 篇 artificial intel...
  • 20 篇 software enginee...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 10 篇 java
  • 9 篇 computer archite...
  • 9 篇 model checking
  • 9 篇 analytical model...
  • 8 篇 computer science
  • 8 篇 software systems
  • 8 篇 electronic mail

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 8 篇 programming syst...
  • 7 篇 chair for progra...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 programming syst...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...

作者

  • 48 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 22 篇 bernhard steffen
  • 18 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 14 篇 tiziana margaria
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 christopher muts...
  • 10 篇 veska gancheva
  • 9 篇 wang cheng
  • 9 篇 lamprecht anna-l...
  • 9 篇 youfeng wu
  • 9 篇 christiansen hen...
  • 9 篇 naujokat stefan
  • 9 篇 niehren joachim
  • 8 篇 mostafa abotaleb

语言

  • 714 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Systems and Programming"
741 条 记 录,以下是411-420 订阅
排序:
Extracting component-oriented behaviour for self-healing enabling
Extracting component-oriented behaviour for self-healing ena...
收藏 引用
7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous systems, EASe 2010
作者: Bakera, Marco Wagner, Christian Margaria, Tiziana Vassev, Emil Hincheyz, Mike Steffen, Bernhard Universität Potsdam Department of Service and Software Engineering Potsdam Germany University College Dublin Ireland University of Limerick Ireland Technische Universität Dortmund Department of Programming Systems Dortmund Germany
Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker h... 详细信息
来源: 评论
A filtered tuning method for a GPC controller
A filtered tuning method for a GPC controller
收藏 引用
IET Irish Signals and systems Conference (ISSC 2010)
作者: M.H. Schwarz C.S. Cox J. Börcsök Department of Computer architecture and System programming Safety Computer Technology University of Kassel Germany Control Systems Centre University of Sunderland UK Department of Computer architecture and System programming University of Kassel Germany
This paper presents a new tuning method based on model parameters identified in closed-loop. For classical controllers such as PI(D) controllers a large number of simple tuning methods for various application areas ex...
来源: 评论
Situational method engineering applied for the enactment of development processes - An agent based approach
Situational method engineering applied for the enactment of ...
收藏 引用
作者: Seemueller, Holger Voos, Holger Honke, Benjamin Bauer, Bernhard Mobile Robotics and Mechatronics Lab. University of Applied Sciences Ravensburg-Weingarten D-88241 Weingarten Germany Programming Distributed Systems Lab. Institute of Computer Science University of Augsburg D-86135 Augsburg Germany
Interdisciplinary product development is faced with the collaboration of diverse roles and a multitude of interrelated artifacts. Traditional and sequential process models cannot deal with the long-lasting and dynamic... 详细信息
来源: 评论
Mechanical decision for a class of integral inequalities
收藏 引用
Science China(Information Sciences) 2010年 第9期53卷 1800-1815页
作者: YANG Lu1,3,YU WenSheng1,2* & YUAN RuYi2 1Shanghai Key Laboratory of Trustworthy Computing,Software Engineering Institute,East China Normal University,Shanghai 200062,China 2The Key Laboratory of Complex systems and Intelligence Science,Institute of Automation,Chinese Academy of Sciences,Beijing 100190,China 3Laboratory for Automated Reasoning and programming,Chengdu Institute of Computer Applications,Chinese Academy of Sciences,Chengdu 610041,China 1. Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University Shanghai 200062 China3. Laboratory for Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Sciences Chengdu 610041 China2. The Key Laboratory of Complex Systems and Intelligence Science Institute of Automation Chinese Academy of Sciences Beijing 100190 China
A class of integral inequalities is transformed into homogeneous symmetric polynomial inequalities beyond Tarski model,where the number of elements of the polynomial,say n,is also a variable and the coefficients are f... 详细信息
来源: 评论
Foreword: First International Workshop on the Web and Requirements Engineering
Foreword: First International Workshop on the Web and Requir...
收藏 引用
International Workshop on the Web and Requirements Engineering (WeRE)
作者: Irene Garrigós Jose-Norberto Mazón Nora Koch Maria José Escalona John Mylopoulos Dept. of Software and Computing Systems University of Alicante Spain Dept. of Computer Languages and Systems University of Seville Spain Programming and Software Engineering Dept. University of Munich Germany Information Engineering and Computer Science Dept. University of Trento Italy
The International Workshop on the Web and Requirements Engineering (WeRE) was held in conjunction with the 18 th International IEEE Requirements Engineering Conference (RE'10) in Sydney (Australia) on September 2...
来源: 评论
Extracting Component-Oriented Behaviour for Self-Healing Enabling
Extracting Component-Oriented Behaviour for Self-Healing Ena...
收藏 引用
IEEE Workshop on Engineering of Autonomic and Autonomous systems (EASE)
作者: Marco Bakera Christian Wagner Tiziana Margaria Emil Vassev Mike Hinchey Bernhard Steffen Chair Service and Software Engineering Universitat Potsdam Potsdam Germany University College Dublin Ireland University of Limerick Ireland Chair Programming Systems Technische Universität Dortmund Dortmund Germany
Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker h... 详细信息
来源: 评论
Getting rid of labels
收藏 引用
Higher-Order and Symbolic Computation 2009年 第4期22卷 315-329页
作者: Landin, P.J. Univac Systems Programming Research NY United States
This report presents some of the principles underlying the currently projected iswim programming system. In most programming languages the user encounters situations in which he decides whether to write labels and jum... 详细信息
来源: 评论
Foreword: First International Workshop on the Web and Requirements Engineering
2010 1st International Workshop on the Web and Requirements ...
收藏 引用
2010 1st International Workshop on the Web and Requirements Engineering, WeRE 2010 2010年 i-ii页
作者: Garrigós, Irene Mazón, Jose-Norberto Escalona, Maria José Koch, Nora Mylopoulos, John Dept. of Software and Computing Systems University of Alicante Spain Dept. of Computer Languages and Systems University of Seville Spain Programming and Software Engineering Dept. University of Munich Germany Information Engineering and Computer Science Dept. University of Trento Italy
来源: 评论
An attribute-based approach to the analysis of model characteristics
An attribute-based approach to the analysis of model charact...
收藏 引用
1st International Workshop on Future Trends of Model-Driven Development - FTMDD 2009 In Conjunction with ICEIS 2009
作者: Saad, Christian Lautenbacher, Florian Bauer, Bernhard Programming Distributed Systems Lab. University of Augsburg Germany
Modeling languages provide a powerful technique for describing domain-specific concepts and their relationships. Since the syntactical structure is determined by a meta-model, expressions can be defined on the meta la... 详细信息
来源: 评论
Mashup development for everybody: A planning-based approach
Mashup development for everybody: A planning-based approach
收藏 引用
3rd International Workshop on Service Matchmaking and Resource Retrieval in the Semantic Web, SMR2 2009, Collocated with the 8th International Semantic Web Conference, ISWC 2009
作者: Kubczak, Christian Margaria, Tiziana Steffen, Bernhard Department of Programming Systems TU Dortmund Germany Service and Software Engineering Universität Potsdam Germany
Today's service mashup technologies usually focus on assisting programmers to provide more powerful and valuable integrated applications to the users. A significant set of scripting languages, graphical tools and ... 详细信息
来源: 评论