咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是121-130 订阅
排序:
An operational petri net semantics for the join calculus  19
An operational petri net semantics for the join calculus
收藏 引用
Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012
作者: Mennicke, Stephan Institute for Programming and Reactive Systems TU Braunschweig Germany
We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between system specifications and the actual im... 详细信息
来源: 评论
Parameterized preorder relations for model-based testing of software product lines
Parameterized preorder relations for model-based testing of ...
收藏 引用
5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
作者: Lochau, Malte Kamischke, Jochen TU Braunschweig Institute for Programming and Reactive Systems Germany
Software Product Lines (SPLs) are a promising approach for efficiently engineering similar variants and/or evolving versions of software products. SPLs propagate systematic reuse of design artifacts between variants b... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Reducing feature models to improve runtime adaptivity on resource limited devices  12
Reducing feature models to improve runtime adaptivity on res...
收藏 引用
16th International Software Product Line Conference, SPLC 2012
作者: Saller, Karsten Oster, Sebastian Schürr, Andy Schroeter, Julia Lochau, Malte Real Time Systems Lab TU Darmstadt Germany LOGICA Germany Institute for Software and Multimedia Technology TU Dresden Germany Institute for Programming and Reactive Systems TU Braunschweig Germany
Mobile devices like smartphones are getting increasingly important in our daily lifes. They are used in various environments and have to dynamically adapt themselves accordingly in order to provide an optimal runtime ... 详细信息
来源: 评论
Oxidative power and intracellular distribution of mitochondria control cell oxygen regime when arterial hypoxemia occurs
收藏 引用
Biophysics (Russian Federation) 2012年 第5期57卷 628-633页
作者: Lyabakh, K.G. Lissov, P.N. International Research and Training Center for Information Technologies and Systems National Academy of Sciences of Ukraine Kiev 03680 Ukraine Institute of Programming Systems National Academy of Sciences of Ukraine Kiev 03680 Ukraine
The regulatory impact of the mitochondria spatial distribution and enlargement in their oxidative power qo2 on tissue oxygenation of skeletal muscle during hypoxia were studied. Investigations were performed by mathem... 详细信息
来源: 评论
A58: Demographics, Clinical Features and Therapies of Patients with Juvenile Dermatomyositis Participating in a National Myositis Patient Registry
收藏 引用
Arthritis & Rheumatology 2014年 第S3期66卷
作者: Lisa G Rider Abdullah Faiq Payam Noroozi Farhadi Nastaran Bayat Lukasz Itert Mikaela Chase Robert Ulrey Karen Malley Jesse Wilkerson Anne Johnson Kathryn Rose Richard Morris Christine Parks Edward H. Giannini Hermine Brunner Bob Goldberg Frederick W Miller Environmental Autoimmunity Group Program of Clinical Research National Institute of Environmental Health Sciences National Institutes of Health US Department of Health and Human Services Bethesda MD NIEHS NIH Bethesda MD Cincinnati Children's Hospital Medical Center Cincinnati OH The Myositis Association Alexandria VA Malley Research Programming Inc Bethesda MD Social and Scientific Systems Inc. Durham NC NIEHS NIH Research Triangle Park NC Environmental Autoimmunity Group NIEHS NIH Bethesda MD
Background/Purpose: The myositis syndromes are rare systemic autoimmune diseases with poorly understood etiologies. We present the demographics, illness features and treatments of patients with juvenile dermatomyositi...
来源: 评论