咨询与建议

限定检索结果

文献类型

  • 526 篇 会议
  • 196 篇 期刊文献
  • 21 册 图书

馆藏范围

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

日期分布

学科分类号

  • 466 篇 工学
    • 376 篇 计算机科学与技术...
    • 307 篇 软件工程
    • 55 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 27 篇 电气工程
    • 27 篇 土木工程
    • 24 篇 电子科学与技术(可...
    • 23 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 16 篇 建筑学
    • 15 篇 网络空间安全
    • 14 篇 生物医学工程(可授...
    • 10 篇 材料科学与工程(可...
    • 9 篇 农业工程
  • 222 篇 理学
    • 124 篇 数学
    • 38 篇 系统科学
    • 35 篇 物理学
    • 29 篇 生物学
    • 27 篇 统计学(可授理学、...
    • 21 篇 海洋科学
  • 117 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 44 篇 图书情报与档案管...
    • 41 篇 工商管理
  • 18 篇 经济学
    • 17 篇 应用经济学
  • 15 篇 法学
    • 14 篇 社会学
  • 15 篇 教育学
    • 13 篇 教育学
  • 15 篇 医学
    • 12 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 12 篇 农学
    • 11 篇 作物学
  • 3 篇 文学
  • 2 篇 哲学
  • 1 篇 军事学

主题

  • 21 篇 application soft...
  • 21 篇 artificial intel...
  • 20 篇 software enginee...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 10 篇 java
  • 9 篇 computer archite...
  • 9 篇 model checking
  • 9 篇 analytical model...
  • 8 篇 computer science
  • 8 篇 software systems
  • 8 篇 electronic mail

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 8 篇 programming syst...
  • 7 篇 chair for progra...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 programming syst...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...

作者

  • 49 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 22 篇 bernhard steffen
  • 18 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 14 篇 tiziana margaria
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 christopher muts...
  • 10 篇 veska gancheva
  • 9 篇 wang cheng
  • 9 篇 lamprecht anna-l...
  • 9 篇 youfeng wu
  • 9 篇 christiansen hen...
  • 9 篇 naujokat stefan
  • 9 篇 niehren joachim
  • 8 篇 mostafa abotaleb

语言

  • 714 篇 英文
  • 19 篇 其他
  • 6 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Systems and Programming"
743 条 记 录,以下是51-60 订阅
排序:
An Introduction to Graphical Modeling of CI/CD Workflows with Rig  10th
An Introduction to Graphical Modeling of CI/CD Workflows wit...
收藏 引用
10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021
作者: Tegeler, Tim Teumert, Sebastian Schürmann, Jonas Bainczyk, Alexander Busch, Daniel Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany
We present an introduction to the usage of Rig, our Cinco product for the graphical modeling of CI/CD workflows. While CI/CD has become a de facto standard in modern software engineering (e.g. DevOps) and the benefits... 详细信息
来源: 评论
A survey on workflow annotation & composition approaches
A survey on workflow annotation & composition approaches
收藏 引用
Workshop on Semantic Business Process and Product Lifecycle Management, SBPM 2007 - Held in Conjunction with the 3rd European Semantic Web Conference, ESWC 2007
作者: Lautenbacher, Florian Bauer, Bernhard Programming Distributed Systems Lab. University of Augsburg Germany
Efficient business processes are key to economic success. With the need to frequently adapt or restructure business processes and workflows in a dynamic market, agile processes and (semi-)automatic workflow and proces... 详细信息
来源: 评论
On the difficulty of drawing the line  8th
On the difficulty of drawing the line
收藏 引用
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
作者: Boßelmann, Steve Naujokat, Stefan Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany
The paper considers domain-specific tool support as a means to turn descriptive into prescriptive models, and to blur the difference between models and programs, and even between developers and users. Conceptual under... 详细信息
来源: 评论
Integrated environment for software reliability modeling
Integrated environment for software reliability modeling
收藏 引用
Proceedings of the 17th Annual International Computer Software & Applications Conference - COMPSAC 93
作者: Tian, Jeff Lu, Peng IBM Programming Systems Toronto Lab North York Canada
This paper introduces an integrated environment for software reliability modeling. The environment consists of three major components: 1) a software reliability modeling tool SMERFS adapted to fit our development envi... 详细信息
来源: 评论
Semantic-enabled software engineering and development
Semantic-enabled software engineering and development
收藏 引用
36th Jahrestagung der Gesellschaft fur Informatik e.V. (GI): Informatik fur Menschen, INFORMATIK 2006
作者: Bauer, Bernhard Roser, Stephan Programming of Distributed Systems University of Augsburg 86135 Augsburg Germany
Like in automotive and other production oriented domains industrialization was the key issue for reducing production costs and bein competitive. However software is still developed mainly from scratch in a labour inte... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Extended cross-serial dependencies in Tree Adjoining Grammars  8
Extended cross-serial dependencies in Tree Adjoining Grammar...
收藏 引用
8th International Workshop on Tree Adjoining Grammar and Related Formalisms, TAG 2006, co-located with COLING/ACL 2006
作者: Kuhlmann, Marco Möhl, Mathias Programming Systems Lab Saarland University Saarbrücken Germany
The ability to represent cross-serial dependencies is one of the central features of Tree Adjoining Grammar (TAG). The class of dependency structures representable by lexicalized TAG derivations can be captured by two... 详细信息
来源: 评论
Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition  10th
Pyrus: An Online Modeling Environment for No-Code Data-Analy...
收藏 引用
10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021
作者: Zweihoff, Philip Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany
We present Pyrus, a domain-specific online modeling environment for building graphical processes for data analysis, machine learning and artificial intelligence. Pyrus aims at bridging the gap between de facto (often ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
An attribute-based approach to the analysis of model characteristics
An attribute-based approach to the analysis of model charact...
收藏 引用
1st International Workshop on Future Trends of Model-Driven Development - FTMDD 2009 In Conjunction with ICEIS 2009
作者: Saad, Christian Lautenbacher, Florian Bauer, Bernhard Programming Distributed Systems Lab. University of Augsburg Germany
Modeling languages provide a powerful technique for describing domain-specific concepts and their relationships. Since the syntactical structure is determined by a meta-model, expressions can be defined on the meta la... 详细信息
来源: 评论