咨询与建议

限定检索结果

文献类型

  • 6 篇 会议
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 4 篇 工学
    • 4 篇 计算机科学与技术...
    • 4 篇 软件工程
    • 1 篇 机械工程
    • 1 篇 安全科学与工程

主题

  • 2 篇 hardware
  • 2 篇 software
  • 2 篇 testing
  • 1 篇 theory of comput...
  • 1 篇 automation
  • 1 篇 model checking
  • 1 篇 software enginee...
  • 1 篇 monitoring
  • 1 篇 production
  • 1 篇 actuators
  • 1 篇 semantics
  • 1 篇 chains
  • 1 篇 management of co...
  • 1 篇 integration test...
  • 1 篇 software managem...
  • 1 篇 sensors
  • 1 篇 unified modeling...
  • 1 篇 solid modeling
  • 1 篇 adaptation model...

机构

  • 4 篇 institute for pr...
  • 2 篇 real-time system...
  • 2 篇 institute for pr...
  • 1 篇 institute of aut...
  • 1 篇 institute of aut...
  • 1 篇 automation techn...
  • 1 篇 institute for pr...
  • 1 篇 institute for pr...
  • 1 篇 distributed syst...
  • 1 篇 danfoss power el...
  • 1 篇 application-orie...
  • 1 篇 automation techn...
  • 1 篇 distributed syst...
  • 1 篇 institute of sof...
  • 1 篇 software enginee...
  • 1 篇 technische unive...
  • 1 篇 institute of sof...
  • 1 篇 software enginee...
  • 1 篇 reliable softwar...
  • 1 篇 software enginee...

作者

  • 2 篇 lochau malte
  • 2 篇 oster sebastian
  • 1 篇 j. ladiges
  • 1 篇 lischke sabrina
  • 1 篇 wilhelm hasselbr...
  • 1 篇 goltz ursula
  • 1 篇 knieke christoph
  • 1 篇 ralf reussner
  • 1 篇 michael goedicke
  • 1 篇 lachmann remo
  • 1 篇 m. ulbrich
  • 1 篇 jan ladiges
  • 1 篇 markert florian
  • 1 篇 lity sascha
  • 1 篇 birgit vogel-heu...
  • 1 篇 w. lamersdorf
  • 1 篇 i. schaefer
  • 1 篇 beddig simon
  • 1 篇 j. folmer
  • 1 篇 schaefer ina

语言

  • 7 篇 英文
检索条件"机构=Institute for Programming and Reactive Systems Technische"
7 条 记 录,以下是1-10 订阅
排序:
MoSo-PoLiTe - Tool support for pairwise and model-based software product line testing  11
MoSo-PoLiTe - Tool support for pairwise and model-based soft...
收藏 引用
Proceedings of the 5th International Workshop on Variability Modeling of Software-Intensive systems
作者: Oster, Sebastian Zorcic, Ivan Markert, Florian Lochau, Malte Real-Time Systems Group Technische Universität Darmstadt Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany
Testing Software Product Lines is a very challenging task and approaches like combinatorial testing and model-based testing are frequently used to reduce the effort of testing Software Product Lines and to reuse test ... 详细信息
来源: 评论
Delta-Oriented test case prioritization for integration testing of software product lines  15
Delta-Oriented test case prioritization for integration test...
收藏 引用
19th International Software Product Line Conference, SPLC 2015
作者: Lachmann, Remo Lity, Sascha Lischke, Sabrina Beddig, Simon Schulze, Sandro Schaefer, Ina Institute of Software Engineering and Automotive Informatics Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany
Software product lines have potential to allow for mass customization of products. Unfortunately, the resulting, vast amount of possible product variants with commonalities and differences leads to new challenges in s... 详细信息
来源: 评论
An executable semantics for UML 2 activity diagrams
An executable semantics for UML 2 activity diagrams
收藏 引用
24th European Conference on Object-Oriented programming, ECOOP 2010 - International Workshop on Formalization of Modeling Languages, FML'10
作者: Knieke, Christoph Goltz, Ursula Institute for Programming and Reactive Systems Technische Universität Braunschweig Mühlenpfordtstr. 23 38106 Braunschweig Germany
Since the revision 2 of the UML, activity diagrams have acquired many new features and a completely new metamodel. UML 2 was targeted at improving semantic precision but still lacks an executable semantics as a basis ... 详细信息
来源: 评论
Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe  12
Industrial evaluation of pairwise SPL testing with MoSo-PoLi...
收藏 引用
6th International Workshop on Variability Modeling of Software-Intensive systems, VaMoS'12
作者: Steffens, Michaela Oster, Sebastian Lochau, Malte Fogdal, Thomas Danfoss Power Electronics A/S Denmark Real-Time Systems Group Technische Universität Darmstadt Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany
Testing Software Product Lines is a very challenging task due to variability. Frequently, approaches such as combinatorial testing are used to generate representative sets of products for testing purposes instead of t... 详细信息
来源: 评论
Managed Software Evolution  1
收藏 引用
1000年
作者: Ralf Reussner Jan Keim Michael Goedicke Wilhelm Hasselbring Birgit Vogel-Heuser Lukas Märtin
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (D... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论