咨询与建议

限定检索结果

文献类型

  • 145 篇 会议
  • 74 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 140 篇 工学
    • 100 篇 计算机科学与技术...
    • 88 篇 软件工程
    • 17 篇 控制科学与工程
    • 10 篇 信息与通信工程
    • 9 篇 土木工程
    • 9 篇 船舶与海洋工程
    • 8 篇 电气工程
    • 7 篇 机械工程
    • 5 篇 建筑学
    • 5 篇 生物医学工程(可授...
    • 5 篇 生物工程
    • 4 篇 力学(可授工学、理...
    • 4 篇 航空宇航科学与技...
    • 4 篇 环境科学与工程(可...
    • 4 篇 安全科学与工程
    • 3 篇 材料科学与工程(可...
  • 78 篇 理学
    • 48 篇 数学
    • 16 篇 系统科学
    • 12 篇 物理学
    • 12 篇 统计学(可授理学、...
    • 7 篇 海洋科学
    • 6 篇 生物学
  • 30 篇 管理学
    • 22 篇 管理科学与工程(可...
    • 10 篇 图书情报与档案管...
    • 8 篇 工商管理
  • 7 篇 医学
    • 6 篇 临床医学
    • 5 篇 基础医学(可授医学...
  • 5 篇 教育学
    • 4 篇 教育学
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 4 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
  • 1 篇 军事学

主题

  • 10 篇 unified modeling...
  • 7 篇 semantics
  • 7 篇 testing
  • 6 篇 software
  • 5 篇 programming
  • 5 篇 embedded systems
  • 5 篇 petri nets
  • 5 篇 analytical model...
  • 4 篇 runtime
  • 4 篇 safety
  • 4 篇 application soft...
  • 4 篇 model checking
  • 4 篇 software archite...
  • 4 篇 monitoring
  • 4 篇 control systems
  • 4 篇 dipper throated ...
  • 4 篇 hardware
  • 3 篇 computer science
  • 3 篇 software systems
  • 3 篇 programming prof...

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 6 篇 department of co...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...
  • 5 篇 institute of sof...
  • 4 篇 school of electr...
  • 4 篇 department of el...
  • 4 篇 department of co...
  • 4 篇 institute for pr...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 institute for so...

作者

  • 13 篇 goltz ursula
  • 13 篇 lochau malte
  • 8 篇 mostafa abotaleb
  • 8 篇 abdelhameed ibra...
  • 7 篇 tichy matthias
  • 6 篇 bauer bernhard
  • 6 篇 schaefer ina
  • 6 篇 christopher muts...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 leucker martin
  • 5 篇 ursula goltz
  • 5 篇 doaa sami khafag...
  • 5 篇 malte lochau
  • 4 篇 mennicke stephan
  • 4 篇 lity sascha
  • 4 篇 van glabbeek rob
  • 4 篇 kolesnikova s.i.
  • 4 篇 matthias hagner
  • 4 篇 michaela huhn

语言

  • 215 篇 英文
  • 3 篇 其他
  • 1 篇 日文
检索条件"机构=Institute of Programming Systems"
219 条 记 录,以下是111-120 订阅
排序:
Supporting commissioning of production plants by model-based testing and model learning
Supporting commissioning of production plants by model-based...
收藏 引用
IEEE International Symposium on Industrial Electronics (ISIE)
作者: Jan Ladiges Alexander Fay Christopher Haubeck Winfried Lamersdorf Sascha Lity Ina Schaefer Automation Technology Institute Helmut-Schmidt-University Hamburg Germany Distributed Systems and Information Systems University of Hamburg Hamburg Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Braunschweig Germany Technische Universitat Braunschweig Braunschweig Niedersachsen DE
During the commissioning phase of production systems the identification and correction of malfunctions is a tedious task mainly done manually by commissioning engineers. This task is of high importance because missed ... 详细信息
来源: 评论
Towards incremental test suite optimization for software product lines  14
Towards incremental test suite optimization for software pro...
收藏 引用
6th International Workshop on Feature-Oriented Software Development, FOSD 2014
作者: Baller, Hauke Lochau, Malte Institute for Programming and Reactive Systems Braunschweig Germany Real-time Systems Lab Darmstadt Germany
The design of an appropriate test suite for software testing is a challenging task. It requires a suitable tradeoff between effectiveness, e.g., a suficient amount of test cases to satisfy the test goals of a given co... 详细信息
来源: 评论
On the Use of XMDD in Software Development Education
On the Use of XMDD in Software Development Education
收藏 引用
IEEE Annual International Computer Software and Applications Conference (COMPSAC)
作者: Anna-Lena Lamprecht Tiziana Margaria Johannes Neubauer University of Potsdam Institute of Computer Science Potsdam Germany University of Limerick and Lero The Irish Software Research Centre Limerick Ireland TU Dortmund Chair for Programming Systems Dortmund Germany
Process modeling can play a central role in problem-based software development education with regard to qualifying students for the design and implementation of software applications for their specific needs without p... 详细信息
来源: 评论
Selected challenges of software evolution for automated production systems
Selected challenges of software evolution for automated prod...
收藏 引用
IEEE International Conference on Industrial Informatics (INDIN)
作者: B. Vogel-Heuser S. Feldmann J. Folmer J. Ladiges A. Fay S. Lity M. Tichy M. Kowal I. Schaefer C. Haubeck W. Lamersdorf T. Kehrer S. Getir M. Ulbrich V. Klebanov B. Beckert Institute of Automation and Information Systems Technische Universität München Germany Institute of Software Engineering and Automotive Informatics University of Braunschweig Germany Automation Technology Institute Helmut Schmidt University Germany Distributed Systems and Information Systems Universität Hamburg Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany Software Engineering Group University of Siegen Germany Software Engineering Division University of Gothenburg Chalmers Sweden Reliable Software Systems University of Stuttgart Germany Application-oriented Formal Verification Karlsruhe Institute of Technology Germany
Automated machines and plants are operated for some decades and undergo an everlasting evolution during this time. In this paper, we present three related open evolution challenges focusing on software evolution in th... 详细信息
来源: 评论
The parameters impact on cutting forces and determination of regression function
收藏 引用
IOP Conference Series: Materials Science and Engineering 2016年 第1期161卷
作者: T D Popovici Department of Manufacturing Engineering The faculty of Engineering and Management of Technological Systems University Politehnica Bucharest 313 Splaiul Independentei Sector 6 Bucharest Romania Department of CN Programming and Technology Research Romanian Research & Development Institute for Gas Turbine 220 D Iuliu Maniu Bd. Sector 6 Bucharest Romania
The aim of this paper is to present results of certain experiments related to material workability characteristics, taking into consideration its high quality features and large usability for special manufacturing. It...
来源: 评论
The Operating Computing Complex "Dnepr-2"
The Operating Computing Complex "Dnepr-2"
收藏 引用
International Conference on Computer Technology in Russia and in the Former Soviet Union (SoRuCom)
作者: Katerina Lavrischeva Institute of the System Programming of Russian Academy of Sciences Institute of the Mathematical Machines and Systems of Ukraine Academy of Sciences
In paper shortly describes handling calculable complex "Dnepr-2, which including a calculable machine "Dnepr-21" and handling machine "Dnepr-22" for the management by Technologies Processes (T... 详细信息
来源: 评论
Multi-Objective Test Suite Optimization for Incremental Product Family Testing
Multi-Objective Test Suite Optimization for Incremental Prod...
收藏 引用
IEEE International Conference on Software Testing, Verification and Validation
作者: Hauke Baller Sascha Lity Malte Lochau Ina Schaefer TU Braunschweig Institute for Programming and Reactive Systems TU Darmstadt Real Time Systems Lab TU Braunschweig Institute of Software Engineering and Automotive Informatics
The design of an adequate test suite is usually guided by identifying test requirements which should be satisfied by the selected set of test cases. To reduce testing costs, test suite minimization heuristics aim at e... 详细信息
来源: 评论
Evolutionary algorithms that use runtime migration of detector processes to reduce latency in event-based systems
Evolutionary algorithms that use runtime migration of detect...
收藏 引用
2013 NASA/ESA Conference on Adaptive Hardware and systems, AHS 2013
作者: Löffler, Christoffer Mutschler, Christopher Philippsen, Michael Programming Systems Group CS Dept. University of Erlangen-Nuremberg Germany Sensor Fusion and Event Processing Group Locating and Comm. Systems Dept. Fraunhofer Institute for Integrated Circuits IIS Erlangen Germany
Event-based systems (EBS) are widely used to efficiently process massively parallel data streams. In distributed event processing the allocation of event detectors to machines is crucial for both the latency and effic... 详细信息
来源: 评论
Reliable speculative processing of out-of-order event streams in generic publish/subscribe middlewares  13
Reliable speculative processing of out-of-order event stream...
收藏 引用
7th ACM International Conference on Distributed Event-Based systems, DEBS 2013
作者: Mutschler, Christopher Philippsen, Michael University of Erlangen-Nuremberg Department of Computer Science Programming Systems Group Erlangen Germany Fraunhofer Institute for Integrated Circuits IIS Locating and Communication Department Sensor Fusion and Event Processing Group Erlangen Germany
In surveillance, sports, finances, etc., distributed event-based systems are used to detect meaningful events with low latency in high data rate event streams. Both known approaches to deal with the predominant out-of... 详细信息
来源: 评论
A Methodology for Model-based Development and Automated Verification of Software for Aerospace systems
A Methodology for Model-based Development and Automated Veri...
收藏 引用
IEEE Aerospace Conference
作者: Lukas Martin Maxim Schatalov Matthias Hagner Ursula Goltz Olaf Maibaum Institute for Programming and Reactive Systems TU Braunschweig Simulation and Software Technology German Aerospace Center
Today's software for aerospace systems typically is very complex. This is due to the increasing number of features as well as the high demand for safety, reliability, and quality. This complexity also leads to sig... 详细信息
来源: 评论