咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是21-30 订阅
排序:
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... 详细信息
来源: 评论
An Evaluation of Service Integration Approaches of Business Process Management systems
An Evaluation of Service Integration Approaches of Business ...
收藏 引用
Annual IEEE/ NASA Goddard Workshop on Software Engineering
作者: Markus Doedt Bernhard Steffen Chair of Programming Systems TU Dortmund University Dortmund Germany
In this paper, we evaluate and categorize how five representative, Java-based, state-of-the-art business process management systems, namely jBPM (4.x and 5.x), Activiti, AristaFlow and jABC, realize the integration of... 详细信息
来源: 评论
Simplicity principles for plug-in development: The jABC approach
Simplicity principles for plug-in development: The jABC appr...
收藏 引用
Workshop on Developing Tools as Plug-ins (TOPI)
作者: Stefan Naujokat Anna-Lena Lamprecht Bernhard Steffen Sven Jörges Tiziana Margaria Chair for Programming Systems Technical University Dortmund Germany Chair for Service and Software Engineering University of Potsdam Germany
In this paper we present our experiences from a decade of plug-in development in the jABC framework, that is characterized by rigorous application of simplicity principles in two dimensions. First, the scope of the pl... 详细信息
来源: 评论
Automated continuous quality assurance
Automated continuous quality assurance
收藏 引用
Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)
作者: Johannes Neubauer Bernhard Steffen Oliver Bauer Stephan Windmüller Maik Merten Tiziana Margaria Falk Howar Chair for Programming Systems Technical University Dortmund Dortmund Germany Chair for Service and Software Engineering University of 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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Simplified Validation of Emergent systems through Automata Learning-Based Testing
Simplified Validation of Emergent Systems through Automata L...
收藏 引用
Annual IEEE/ NASA Goddard Workshop on Software Engineering
作者: Bernhard Steffen Johannes Neubauer Chair of Programming Systems Technische Universität Dortmund Germany
In this paper we present a novel approach to the test-based validation of complex heterogeneous applications which is tailored to simplify the requirements for the responsible personnel. Key to our approach is to auto... 详细信息
来源: 评论
Offline Validation of Firewalls
Offline Validation of Firewalls
收藏 引用
Annual IEEE/ NASA Goddard Workshop on Software Engineering
作者: Stephan Windmuller Chair for Programming Systems Technical University Dortmund Dortmund Germany
This paper introduces a simulation environment for testing firewall configurations without the need of an actual, complex network setup. It assists the user in defining the required rule set based on an existing, info... 详细信息
来源: 评论
Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective
Requirement-Driven Evaluation of Remote ERP-System Solutions...
收藏 引用
Annual IEEE/ NASA Goddard Workshop on Software Engineering
作者: Markus Doedt Bernhard Steffen Chair of Programming Systems Technical University Dortmund Dortmund Germany
This paper systematically evaluates four different APIs provided by popular ERP systems (SAP BAPI, SAP eSOA, Microsoft Dynamics NAV and Intuit Quick books) according to their potential for service-oriented enterprise ... 详细信息
来源: 评论