咨询与建议

限定检索结果

文献类型

  • 38 篇 会议
  • 7 篇 期刊文献
  • 3 册 图书

馆藏范围

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

日期分布

学科分类号

  • 15 篇 工学
    • 15 篇 计算机科学与技术...
    • 11 篇 软件工程
    • 4 篇 信息与通信工程
    • 1 篇 电气工程
    • 1 篇 控制科学与工程
    • 1 篇 网络空间安全
  • 6 篇 理学
    • 5 篇 数学
    • 2 篇 系统科学
    • 1 篇 生物学
    • 1 篇 统计学(可授理学、...
  • 2 篇 管理学
    • 2 篇 图书情报与档案管...
    • 1 篇 公共管理
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 公共卫生与预防医...

主题

  • 11 篇 software enginee...
  • 7 篇 application soft...
  • 5 篇 semantics
  • 5 篇 software
  • 5 篇 unified modeling...
  • 4 篇 programming
  • 4 篇 java
  • 4 篇 taxonomy
  • 4 篇 testing
  • 3 篇 ontologies
  • 3 篇 bioinformatics
  • 3 篇 generators
  • 3 篇 biological syste...
  • 3 篇 animation
  • 3 篇 collaboration
  • 2 篇 software systems
  • 2 篇 conferences
  • 2 篇 programming prof...
  • 2 篇 libraries
  • 2 篇 model checking

机构

  • 7 篇 chair for progra...
  • 4 篇 chair for progra...
  • 4 篇 chair of program...
  • 3 篇 chair of program...
  • 3 篇 chair of program...
  • 2 篇 chair programmin...
  • 2 篇 chair for progra...
  • 2 篇 chair of program...
  • 2 篇 chair of service...
  • 2 篇 chair for servic...
  • 2 篇 department of co...
  • 1 篇 chair for servic...
  • 1 篇 tu dortmund chai...
  • 1 篇 chair service an...
  • 1 篇 chair of softwar...
  • 1 篇 chair of analyti...
  • 1 篇 metabolomics and...
  • 1 篇 center for persp...
  • 1 篇 chair of softwar...
  • 1 篇 potsdam universi...

作者

  • 17 篇 bernhard steffen
  • 15 篇 steffen bernhard
  • 12 篇 tiziana margaria
  • 5 篇 margaria tiziana
  • 4 篇 t. margaria
  • 4 篇 naujokat stefan
  • 4 篇 bainczyk alexand...
  • 4 篇 b. steffen
  • 3 篇 johannes neubaue...
  • 3 篇 sven jörges
  • 3 篇 zweihoff philip
  • 3 篇 walter f. tichy
  • 3 篇 christian kubcza...
  • 3 篇 stefan naujokat
  • 3 篇 alexander wachte...
  • 3 篇 busch daniel
  • 3 篇 anna-lena lampre...
  • 2 篇 gossen frederik
  • 2 篇 lamprecht anna-l...
  • 2 篇 lybecait michael

语言

  • 47 篇 英文
  • 1 篇 德文
检索条件"机构=Chair Programming Systems"
48 条 记 录,以下是41-50 订阅
排序:
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... 详细信息
来源: 评论
IT Simply Works: Simplicity and Embedded systems Design
IT Simply Works: Simplicity and Embedded Systems Design
收藏 引用
IEEE Annual Computer Software and Applications Conference Workshops (COMPSACW)
作者: Tiziana Margaria Barry D. Floyd Bernhard Steffen Chair Service and Software Engineering Universität Potsdam Germany Orfalea College of Business California Polytechnic State University San Luis Obispo CA USA Chair of Programming Systems TU Dortmund University Germany
The central challenge in resource constrained systems is indeed that there is often a dramatic problem of resources: little memory, no display (i.e., mediated control and interaction), and weak processors. These const... 详细信息
来源: 评论
Revisiting the Performance-Explainability Trade-Off in Explainable Artificial Intelligence (XAI)
arXiv
收藏 引用
arXiv 2023年
作者: Crook, Barnaby Schlüter, Maximilian Speith, Timo University of Bayreuth Department of Philosophy Bayreuth Germany Technical University Dortmund Chair for Programming Systems Dortmund Germany Saarland University Center for Perspicuous Computing Saarbrücken Germany
Within the field of Requirements Engineering (RE), the increasing significance of Explainable Artificial Intelligence (XAI) in aligning AI-supported systems with user needs, societal expectations, and regulatory stand... 详细信息
来源: 评论
Revisiting the Performance-Explainability Trade-Off in Explainable Artificial Intelligence (XAI)
Revisiting the Performance-Explainability Trade-Off in Expla...
收藏 引用
IEEE International Requirements Engineering Conference Workshops (REW)
作者: Barnaby Crook Maximilian Schlüter Timo Speith Department of Philosophy University of Bayreuth Bayreuth Germany Chair for Programming Systems Technical University Dortmund Dortmund Germany Center for Perspicuous Computing Saarland University Saarbrücken Germany
Within the field of Requirements Engineering (RE), the increasing significance of Explainable Artificial Intelligence (XAI) in aligning AI-supported systems with user needs, societal expectations, and regulatory stand...
来源: 评论
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... 详细信息
来源: 评论
Leveraging Applications of Formal Methods, Verification, and Validation  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Reiner Hähnle Jens Knoop Tiziana Margaria Dietmar Schreiner Bernhard Steffen
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during O... 详细信息
来源: 评论
Real-Time Gait Reconstruction For Virtual Reality Using a Single Sensor
Real-Time Gait Reconstruction For Virtual Reality Using a Si...
收藏 引用
IEEE International Symposium on Mixed and Augmented Reality Workshops (ISMARW)
作者: Tobias Feigl Lisa Gruner Christopher Mutschler Daniel Roth Fraunhofer Institute of Integrated Circuits (IIS) Nürnberg Programming Systems Group Friedrich-Alexander University (FAU) Erlangen-Nürnberg Ludwig-MaximiliansUniversity (LMU) Technical University Munich (TUM) Munich Chair for Computer Aided Medical Procedures and Augmented Reality Technical University Munich (TUM)
Embodying users through avatars based on motion tracking and reconstruction is an ongoing challenge for VR application developers. High quality VR systems use full-body tracking or inverse kinematics to reconstruct th... 详细信息
来源: 评论
Correction to: Comparison of lipidome profiles of Caenorhabditis elegans-results from an inter-laboratory ring trial
收藏 引用
Metabolomics : Official journal of the Metabolomic Society 2021年 第3期17卷 33页
作者: Britta Spanier Anne Laurençon Anna Weiser Nathalie Pujol Shizue Omi Aiko Barsch Ansgar Korf Sven W Meyer Jonathan J Ewbank Francesca Palladino Steve Garvis Hugo Aguilaniu Michael Witting Chair of Metabolic Programming Technische Universität München Gregor-Mendel-Straße 2 85354 Freising Germany. UMR5242 Ecole Normale Supérieure de Lyon Centre National de la Recherche Scientifique Université de Lyon Lyon France. Turing Center for Living Systems Aix Marseille Univ CNRS INSERM CIML Marseille France. Bruker Daltonics Fahrenheitstr. 4 28359 Bremen Germany. Laboratoire de Biologie Moléculaire de la Cellule UMR5239 CNRS/ENS Lyon/UCBL/HCL Ecole Normale Supérieure de Lyon 46 allée d'Italie 69364 Lyon cedex 07 France. Instituto Serrapilheira Rua Dias Ferreira 78 Leblon Rio de Janeiro Brazil. Research Unit Analytical BioGeoChemistry Helmholtz Zentrum München German Research Center for Environmental Health Ingolstaedter Landstrasse 1 85764 Neuherberg Germany. michael.witting@helmholtz-muenchen.de. Metabolomics and Proteomics Core Helmholtz Zentrum München German Research Center for Environmental Health Ingolstaedter Landstrasse 1 85764 Neuherberg Germany. michael.witting@helmholtz-muenchen.de. Chair of Analytical Food Chemistry Technische Universität München Alte Akademie 10 85354 Freising-Weihenstephan Germany. michael.witting@helmholtz-muenchen.de.
A correction to this paper has been published: https://***/10.1007/s11306-021-01784-5
来源: 评论