咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是31-40 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Dynamic testing via automata learning
收藏 引用
International Journal on Software Tools for Technology Transfer 2009年 第4期11卷 307-324页
作者: Raffelt, Harald Merten, Maik Steffen, Bernhard Margaria, Tiziana TU Dortmund Chair of Programming Systems University of Dortmund Dortmund Germany Chair of Service and Software Engineering Universität Potsdam Potsdam Germany
This paper presents dynamic testing, a method that exploits automata learning to systematically test (black box) systems almost without prerequisites. Based on interface descriptions and optional sample test cases, ou...
来源: 评论
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
LTL Guided Planning: Revisiting Automatic Tool Composition i...
收藏 引用
Annual IEEE/ NASA Goddard Workshop on Software Engineering
作者: Tiziana Margaria Bernhard Steffen Chair of Service and Software Engineering University of Potsdam Potsdam Germany Chair of Programming Systems University of Dortmund Dortmund Germany
We revisit the automatic tool composition feature of the electronic tool integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temporal logic-based synthesis of tool seq... 详细信息
来源: 评论
An Approach to Discovery with miAamics and jABC
An Approach to Discovery with miAamics and jABC
收藏 引用
Web Intelligence and Intelligent Agent Technology Workshops (WI-IAT)
作者: Christian Kubczak Tiziana Margaria Christian Winkler Bernhard Steffen Chair of Software Engineering Universität Dortmund Germany Chair of Service and Software Engineering Universität Postdam Germany Chair of Programming Systems Universität Dortmund Germany
We address the discovery scenario using miAamics, a framework for rule-based evaluation originally developed for efficient and scalable personalization purposes, as a reasoning engine. The discovery service is impleme... 详细信息
来源: 评论
Continuous engineering of embedded systems  1
收藏 引用
5th IFIP TC 10 Working Conference on Distributed and Parallel Embedded systems, DIPES 2006
作者: Steffen, Bernhard Margaria, Tiziana Chair of Programming Systems Universität Dortmund Germany Chair of Service and Software Engineering Universität Potsdam Germany
We investigate the late phases of the embedded systems’ life cycles, in particular the treatment of change requests, the integration of legacy components, and the problem of emerging platforms. We propose to tackle t... 详细信息
来源: 评论
A Web-Based Runtime-Reconfigurable Role Management Service
A Web-Based Runtime-Reconfigurable Role Management Service
收藏 引用
International Workshop on Automated Specification and Verification of Web systems, WWV
作者: Martin Karusseit Tiziana Margaria Chair of Programming Systems Universität Dortmund Germany Chair of Service and Software Engineering Universität Postdam Germany
Today Web-based applications are very complex and provide several hundred users with access to sensible data. Adequate access control mechanisms that prevent unauthorized access and gives policy-compliant access to us... 详细信息
来源: 评论
Model-based design of distributed collaborative bioinformatics processes in the jABC
Model-based design of distributed collaborative bioinformati...
收藏 引用
IEEE International Conference on Engineering of Complex Computer systems
作者: T. Margaria C. Kubczak M. Njoku B. Steffen Chair Servce and Software Engineering University of Potsdam Potsdam Germany Chair of Programming Systems University of Dortmund Dortmund Germany Chair of Service Engineering for Distributed Systems University of Göttingen Gottingen Germany
Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC for model driven mediation and choreography to complement a Web service-based elementary service provisio... 详细信息
来源: 评论
Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms
Biological LC/MS Preprocessing and Analysis with jABC, jETI ...
收藏 引用
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA)
作者: Christian Kubczak Tiziana Margaria Arno Fritsch Bernhard Steffen Chair of Software Engineering University of Dortmund Germany Chair of Service and Software Engineering University of Potsdam Germany Chair of Mathematical Statistics and Biometric Applications University of Dortmund Germany Chair of Programming Systems University of Dortmund Germany
LC/MS is a successful analysis technique for the statistical analysis used in several branches of biology. It requires an intense screening and combination of the raw data, which is usually done with programs and libr... 详细信息
来源: 评论
The FMICS-jETI Platform: Status and Perspectives
The FMICS-jETI Platform: Status and Perspectives
收藏 引用
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA)
作者: Tiziana Margaria Christian Kubczak Bernhard Steffen Stefan Naujokat Chair of Service and Software Engineering Universität Postdam Potsdam Germany Chair of Software Engineering Universität Dortmund Dortmund Germany Chair of Programming Systems Universität Dortmund Dortmund Germany
One of the goals of FMICS, the ERCIM Working Group on Formal Methods for Industrial Critical systems (FMICS) [8], is to transfer and promote the use formal methods technology in industry. The ongoing Verified Software... 详细信息
来源: 评论