咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是41-50 订阅
排序:
LearnLib: A library for automata learning and experimentation
LearnLib: A library for automata learning and experimentatio...
收藏 引用
FMICS'05 - 10th International Workshop on Formal Methods for Industrial Critical systems
作者: Raffelt, Harald Steffen, Bernhard Berg, Therese University of Dortmund Chair of Programming Systems Baroper Str. 301 44227 Dortmund Germany Department of Information Technology Uppsala University S-751 05 Uppsala Sweden
In this paper we present the LearnLib, a library for automata learning and experimentation. Its modular structure allows users to configure their tailored learning scenarios, which exploit specific properties of the e... 详细信息
来源: 评论
Second-Order Semantic Web
Second-Order Semantic Web
收藏 引用
Annual IEEE/ NASA Goddard Workshop on Software Engineering
作者: T. Margaria B. Steffen Universität Gottingen Germany Chair of Programming Systems University of Dortmund Germany
We propose a framework for top-down Web service interoperation based on an aggressive version of model-driven development (AMDD). The point here is to govern the construction and customization of complex Web applicati... 详细信息
来源: 评论
MaTRICS: a management tool for the remote intelligent configuration of (pervasive) systems
MaTRICS: a management tool for the remote intelligent config...
收藏 引用
IEEE/ACS International Conference on Pervasive Services (ICPS)
作者: M. Bajohr T. Margaria Chair of Programming Systems University of Dortmund Germany Service Engineering for Distributed Systems Universität Gottingen Germany
With MaTRICS, we describe an architecture for pervasive management of distributed systems. It allows remotely connected users (e.g., system administrators) to modify the configuration of any service provided by a spec... 详细信息
来源: 评论
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... 详细信息
来源: 评论
System level testing of virtual switch (re-)configuration over IP
System level testing of virtual switch (re-)configuration ov...
收藏 引用
IEEE European Test Symposium (ETS)
作者: T. Margaria O. Niese B. Steffen A. Erochok METAFrame Technologies GmbH Dortmund Germany Chair of Programming Systems University of Dortmund Germany Siemens AG Witten Germany
We show how our integrated test environment can be used for the validation of evolving Internet services, since it captures the (re-)configuration phase preceding the 'classical' steady state usage. This capab... 详细信息
来源: 评论