咨询与建议

限定检索结果

文献类型

  • 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 篇 日文
检索条件"机构=Programming Systems"
741 条 记 录,以下是321-330 订阅
排序:
Incremental model-based testing of delta-oriented software product lines
收藏 引用
6th International Conference on Tests and Proofs, TAP 2012
作者: Lochau, Malte Schaefer, Ina Kamischke, Jochen Lity, Sascha TU Braunschweig Institute for Programming and Reactive Systems Germany TU Braunschweig Institute for Software Systems Engineering Germany
Software product line (SPL) engineering provides a promising approach for developing variant-rich software systems. But, testing of every product variant in isolation to ensure its correctness is in general not feasib... 详细信息
来源: 评论
Annotation support for generic patches
Annotation support for generic patches
收藏 引用
2012 3rd International Workshop on Recommendation systems for Software Engineering, RSSE 2012
作者: Dotzler, Georg Veldema, Ronald Philippsen, Michael University of Erlangen-Nuremberg Computer Science Department Programming Systems Group Erlangen Germany
In large projects parallelization of existing programs or refactoring of source code is time consuming as well as error-prone and would benefit from tool support. However, existing automatic transformation systems are... 详细信息
来源: 评论
Automated rational recovery selection for self-healing in mobile networks
Automated rational recovery selection for self-healing in mo...
收藏 引用
2012 9th International Symposium on Wireless Communication systems, ISWCS 2012
作者: Frenzel, Christoph Sanneck, Henning Bauer, Bernhard Programming Distributed Systems University of Augsburg Germany Nokia Siemens Networks Research Munich Germany
Self-healing is a key functionality of Self-Organizing Networks (SON). There have already been promising research results on Degradation Detection and Root Cause Diagnosis. However, the complex task of Recovery Select... 详细信息
来源: 评论
Delta-oriented model-based SPL regression testing
Delta-oriented model-based SPL regression testing
收藏 引用
2012 3rd International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2012
作者: Lity, Sascha Lochau, Malte Schaefer, Ina Goltz, Ursula TU Braunschweig Institute for Programming and Reactive Systems Braunschweig Germany TU Braunschweig Institute for Software Systems Engineering Braunschweig Germany
Testing software product lines by considering each product variant in isolation is impracticable due to the high number of potential product configurations. Therefore, applying SPL reuse principles also to test artifa... 详细信息
来源: 评论
Resource-oriented consistency analysis of engineering processes
Resource-oriented consistency analysis of engineering proces...
收藏 引用
14th International Conference on Enterprise Information systems, ICEIS 2012
作者: Bauer, Bernhard Eisenbarth, Thomas Frenzel, Christoph Honke, Benjamin Programming Distributed Systems Lab. Institute of Computer Science University of Augsburg Augsburg Germany
A number of popular engineering processes and methodologies emerged over the past years which attracted interest in research and industry. For process enactment, enterprises have to match requirements of engineering p... 详细信息
来源: 评论
A constraint-based variability modeling framework
收藏 引用
International Journal on Software Tools for Technology Transfer 2012年 第5期14卷 511-530页
作者: Jörges, Sven Lamprecht, Anna-Lena Margaria, Tiziana Schaefer, Ina Steffen, Bernhard Chair for Programming Systems Technical University Dortmund Dortmund Germany Chair for Service and Software Engineering University Potsdam Potsdam Germany Institut für Software Systems Engineering Technische Universität Braunschweig Braunschweig Germany
Constraint-based variability modeling is a flexible, declarative approach to managing solution-space variability. Product variants are defined in a top-down manner by successively restricting the admissible combinatio... 详细信息
来源: 评论
Automated continuous quality assurance
Automated continuous quality assurance
收藏 引用
2012 1st International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches, FormSERA 2012
作者: Neubauer, Johannes Steffen, Bernhard Bauer, Oliver Windmüller, Stephan Merten, Maik Margaria, Tiziana Howar, Falk Department of Programming Systems TU Dortmund Germany Department of Service and Software Engineering University Potsdam Germany
We present a case study that illustrates the power of active learning for enabling the automated quality assurance of complex and distributed evolving systems. We illustrate how the development of the OCS, Springer Ve... 详细信息
来源: 评论
Multi-perspectives on feature models  12
Multi-perspectives on feature models
收藏 引用
15th International Conference on Model Driven Engineering Languages and systems, MODELS 2012
作者: Schroeter, Julia Lochau, Malte Winkelmann, Tim TU Dresden Institute for Software- and Multimedia-Technology Germany TU Braunschweig Institute for Programming and Reactive Systems Germany
Domain feature models concisely express commonality and variability among variants of a software product line. For supporting separation of concerns, e.g., due to legal restrictions, technical considerations and busin... 详细信息
来源: 评论
A succinct canonical register automaton model for data domains with binary relations
A succinct canonical register automaton model for data domai...
收藏 引用
10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012
作者: Cassel, Sofia Jonsson, Bengt Howar, Falk Steffen, Bernhard Dept. of Information Technology Uppsala University Sweden Department of Programming Systems Technical University Dortmund Germany
We present a novel canonical automaton model for languages over infinite data domains, that is suitable for specifying the behavior of services, protocol components, interfaces, etc. The model is based on register aut... 详细信息
来源: 评论
Approaches for mastering change
Approaches for mastering change
收藏 引用
5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
作者: Schaefer, Ina Lochau, Malte Leucker, Martin Institute for Software Engineering and Automotive Informatics Technical University of Braunschweig Germany Institute for Programming and Reactive Systems Technical University of Braunschweig Germany Institute for Software Engineering and Programming Languages University of Lübeck Germany
Modern software systems are highly configurable and exist in many different variants in order to operate different application contexts. This is called static variability and predominantly considered in software produ... 详细信息
来源: 评论