咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
排序:
Semantics-based composition of EMBOSS services
收藏 引用
Journal of Biomedical Semantics 2011年 第1期2卷 1-21页
作者: Lamprecht, Anna-Lena Naujokat, Stefan Margaria, Tiziana Steffen, Bernhard Technical University Dortmund Chair for Programming Systems Dortmund D-44227 Germany Potsdam University Chair for Service and Software Engineering Potsdam D-14482 Germany
Background: More than in other domains the heterogeneous services world in bioinformatics demands for a methodology to classify and relate resources in a both human and machine accessible manner. The Semantic Web, whi... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Leveraging Applications of Formal Methods  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Tiziana Margaria Bernhard Steffen
来源: 评论
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... 详细信息
来源: 评论
Verification, Model Checking, and Abstract Interpretation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Bernhard Steffen Giorgio Levi
来源: 评论
Leveraging Service-Orientation for Combining Code Generation Frameworks
Leveraging Service-Orientation for Combining Code Generation...
收藏 引用
IEEE International Conference on Engineering of Complex Computer systems
作者: Sven Jörges Bernhard Steffen Chair of Programming Systems TU Dortmund Dortmund Germany
In this paper, we leverage service-orientation as a means for combining the strengths of the UML-based code generator framework AndroMDA for generating static application aspects with code generators focussing on the ... 详细信息
来源: 评论
Tailoring Process Synthesis to Domain Characteristics
Tailoring Process Synthesis to Domain Characteristics
收藏 引用
IEEE International Conference on Engineering of Complex Computer systems
作者: Stefan Naujokat Anna-Lena Lamprecht Bernhard Steffen Chair for Programming Systems Dortmund University Dortmund Germany
PROPHETS is our flexible framework for the synthesis of processes from libraries of basic services. In this paper we demonstrate how its synthesis strategy can be tailored to the considered application domain. For thi... 详细信息
来源: 评论
Large Random Forests: Optimisation for Rapid Evaluation
arXiv
收藏 引用
arXiv 2019年
作者: Gossen, Frederik Steffen, Bernhard Chair for Programming Systems TU Dortmund University Germany
Random Forests are one of the most popular classifiers in machine learning. The larger they are, the more precise is the outcome of their predictions. However, this comes at a cost: their running time for classificati... 详细信息
来源: 评论
Major threat: from formal methods without tools to tools without formal methods
Major threat: from formal methods without tools to tools wit...
收藏 引用
IEEE International Conference on Engineering of Complex Computer systems
作者: B. Steffen Chair of Programming Systems University of Dortmund Dortmund Germany
Summary form only given. The panel moderated by Bernhard Steffen (University of Dortmund) reviews this development, discusses the perspectives, and establishes recommendations for future directions of software enginee... 详细信息
来源: 评论
Exploiting Ecore's Reflexivity for Bootstrapping Domain-Specific Code-Generators
Exploiting Ecore's Reflexivity for Bootstrapping Domain-Spec...
收藏 引用
Annual IEEE/ NASA Goddard Workshop on Software Engineering
作者: Sven Jörges Bernhard Steffen Chair of Programming Systems TU Dortmund University Dortmund Germany
This paper shows how the reflexivity of Ecore can be exploited for incrementally bootstrapping domain-specific code generators in the model-driven and service-oriented code generation framework Genesys. Key to this te... 详细信息
来源: 评论