咨询与建议

限定检索结果

文献类型

  • 38 篇 会议
  • 7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

  • 8 篇 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 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...
  • 1 篇 university of li...

作者

  • 15 篇 steffen bernhard
  • 14 篇 bernhard steffen
  • 10 篇 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

语言

  • 44 篇 英文
  • 1 篇 德文
检索条件"机构=Chair Programming Systems"
45 条 记 录,以下是11-20 订阅
排序:
A tutorial introduction to graphical modeling and metamodeling with CINCO  8th
A tutorial introduction to graphical modeling and metamodeli...
收藏 引用
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
作者: Lybecait, Michael Kopetzki, Dawid Zweihoff, Philip Fuhge, Annika Naujokat, Stefan Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany
We present a tutorial introduction to the usage of Cinco, our framework for the generation of graphical development environments, highlighting two recent additions: the possibility to bringing any Cinco-based graphica... 详细信息
来源: 评论
Design for ‘X’ through model transformation  8th
Design for ‘X’ through model transformation
收藏 引用
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
作者: Lybecait, Michael Kopetzki, Dawid Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany
In this paper we sketch a transformation-oriented framework for establishing system characteristics like model-checkability, learnability, or performance. Backbone of our framework is Cinco, our meta tooling suite for... 详细信息
来源: 评论
Dialog-Based Meaning Derivation Service for Technical Language Domains
Dialog-Based Meaning Derivation Service for Technical Langua...
收藏 引用
International Conference on Semantic Computing
作者: Alexander Wachtel Sophie Schulz Walter F. Tichy Chair for Programming Systems Prof Walter F. Tichy Karlsruhe Institute of Technology Karlsruhe Germany
In our previous work, we present on how new algorithms can be recognized and learned from human descriptions. In this case, end users are able to extend the given system by their own functionality. During the evaluati... 详细信息
来源: 评论
DSLs for decision services: A tutorial introduction to language-driven engineering  8th
DSLs for decision services: A tutorial introduction to langu...
收藏 引用
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
作者: Gossen, Frederik Margaria, Tiziana Murtovi, Alnis Naujokat, Stefan Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany CSIS University of Limerick Limerick Ireland
Language-Driven Engineering (LDE) is a new paradigm that aims at involving stakeholders, including the application experts, in the system development and evolution process using dedicated domains-specific languages (D... 详细信息
来源: 评论
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
来源: 评论
Initial Implementation of Natural Language Turn-Based Dialog System
收藏 引用
Procedia Computer Science 2016年 84卷 49-56页
作者: Alexander Wachtel Sebastian Weigelt Walter F. Tichy Karlsruhe Institute of Technology Chair for Programming Systems Prof. Walter F. Tichy Am Fasanengarten 5 76131 Karlsruhe Germany
Our prototype implements a natural language dialog system for Excel spreadsheets. The work is motivated by a pilot study which shows that novice users have difficulties with the formula language of Excel and need inte... 详细信息
来源: 评论
Bayesian recognition of human identities from continuous visual features for safe and secure access in healthcare environments
Bayesian recognition of human identities from continuous vis...
收藏 引用
International Conference on Design and Technology of Integrated systems in Nanoscale Era (DTIS)
作者: Frederik Gossen Chair for Programming Systems TU Dortmund University
When using today's admission control systems some kind of interaction is generally required. That is because the system needs something to check a person's identity before it allows access. Often the system wi... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论