咨询与建议

限定检索结果

文献类型

  • 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 篇 日文
检索条件"机构=Programming Systems"
743 条 记 录,以下是111-120 订阅
排序:
Towards LLM-Based System Migration in Language-Driven Engineering  8th
Towards LLM-Based System Migration in Language-Driven Engin...
收藏 引用
8th International Conference on Engineering of Computer-Based systems, ECBS 2023
作者: Busch, Daniel Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany
In this paper we show how our approach of extending Language Driven Engineering (LDE) with natural language-based code generation supports system migration: The characteristic decomposition of LDE into tasks that are ... 详细信息
来源: 评论
Resource-oriented consistency analysis of engineering processes
Resource-oriented consistency analysis of engineering proces...
收藏 引用
14th International Conference on Enterprise Information systems, ICEIS 2012
作者: Bauer, Bernhard Eisenbarth, Thomas Frenzel, Christoph Honke, Benjamin Programming Distributed Systems Lab. Institute of Computer Science University of Augsburg Augsburg Germany
A number of popular engineering processes and methodologies emerged over the past years which attracted interest in research and industry. For process enactment, enterprises have to match requirements of engineering p... 详细信息
来源: 评论
ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages  1st
ChatGPT in the Loop: A Natural Language Extension for Dom...
收藏 引用
1st International Conference on Bridging the Gap between AI and Reality, AISoLA 2023
作者: Busch, Daniel Nolte, Gerrit Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany
This paper presents an approach to no-code development based on the interplay of formally defined (graphical) Domain-Specific Languages and informal, intuitive Natural Language which is enriched with contextual inform... 详细信息
来源: 评论
Elementary indefinite integration theory for the computer
收藏 引用
Journal of Computer and System Sciences 1969年 第4期3卷 387-408页
作者: Morris Jr., Alfred H. Programming Systems Branch U. S. Naval Weapons Laboratory Dahlgren VA 22448 United States
In this paper various algebraic properties of the indefinite Riemann integral that are appropriate for its use on the computer are examined. From this analysis it is seen that the operation of the integral on certain ...
来源: 评论
Automatic generation and evolution of model transformations using ontology engineering space
Automatic generation and evolution of model transformations ...
收藏 引用
作者: Roser, Stephan Bauer, Bernhard Programming of Distributed Systems Institute of Computer Science University of Augsburg Augsburg D-86135 Germany
Model-driven software development facilitates faster and more flexible integration of information and communication systems. It divides system descriptions into models of different view points and abstraction levels. ... 详细信息
来源: 评论
Synchrony vs causality in the asynchronous PiCalculus  18
Synchrony vs causality in the asynchronous PiCalculus
收藏 引用
18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011
作者: Peters, Kirstin Schicke, Jenswolfhard Nestmann, Uwe School of EECS TU Berlin Germany Institute for Programming and Reactive Systems TU Braunschweig Germany
We study the relation between process calculi that differ in their either synchronous or asynchronous interaction mechanism. Concretely, we are interested in the conditions under which synchronous interaction can be i... 详细信息
来源: 评论
Hybrid test of web applications with webtest
Hybrid test of web applications with webtest
收藏 引用
Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB 2008
作者: Raffelt, Harald Steffen, Bernhard Margaria, Tiziana Merten, Maik Department of Programming Systems TU Dortmund Department of Services and Software Engineering Universität Potsdam
In this paper, we present hybrid testing, a method that combines replay-testing (static testing) with automata learning techniques that generate models of black box systems (dynamic testing). This combination helps br... 详细信息
来源: 评论
Synchrony vs. causality in asynchronous Petri nets  18
Synchrony vs. causality in asynchronous Petri nets
收藏 引用
18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011
作者: Schicke, Jenswolfhard Peters, Kirstin GoltZ, Ursula Institute for Programming and Reactive Systems TU Braunschweig Germany School of EECS TU Berlin Germany
Given a synchronous system, we study the question whether the behaviour of that system can be exhibited by a (non-trivially) distributed and hence asynchronous implementation. In this paper we show, by counterexample,... 详细信息
来源: 评论
Enhancing data locality in a fully decentralised P2P cycle stealing framework
Enhancing data locality in a fully decentralised P2P cycle s...
收藏 引用
30th Australasian Computer Science Conference, ACSC 2007
作者: Mason, Richard Kelly, Wayne Programming Languages and Systems Research Group Queensland University of Technology Brisbane QLD 4001 Australia
Peer-to-peer (P2P) networks such as Gnutella and BitTorrent have revolutionised Internet based applications. P2P approaches provide a number of benefits, however most cycle stealing projects, such as SETI@home, have c... 详细信息
来源: 评论
programming software agents as designing executable business processes: A Model-driven perspective  1
Programming software agents as designing executable business...
收藏 引用
First International Workshop ProMAS 2003: programming Multi-Agent systems
作者: Müller, Jörg P. Bauer, Bernhard Friese, Thomas Siemens AG Corporate Technology Intelligent Autonomous Systems Otto-Hahn-Ring 6 D-81739 München Germany Programming of Distributed Systems Institute of Computer Science University of Augsburg D-86135 Augsburg Dept. of Mathematics and Computer Science University of Marburg D-35032 Marburg Germany
The contribution of this paper is fourfold. First, we sketch an architecture of agent-enabled business process management that cleanly separates between agent capabilities, business process modeling, and the modeling ... 详细信息
来源: 评论