咨询与建议

限定检索结果

文献类型

  • 57 篇 会议
  • 27 篇 期刊文献
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 60 篇 工学
    • 49 篇 计算机科学与技术...
    • 41 篇 软件工程
    • 8 篇 安全科学与工程
    • 7 篇 生物医学工程(可授...
    • 5 篇 仪器科学与技术
    • 5 篇 信息与通信工程
    • 4 篇 机械工程
    • 4 篇 电气工程
    • 2 篇 冶金工程
    • 2 篇 控制科学与工程
    • 2 篇 建筑学
    • 2 篇 土木工程
    • 2 篇 航空宇航科学与技...
    • 1 篇 材料科学与工程(可...
    • 1 篇 动力工程及工程热...
    • 1 篇 石油与天然气工程
  • 23 篇 理学
    • 13 篇 数学
    • 7 篇 系统科学
    • 7 篇 统计学(可授理学、...
    • 1 篇 化学
    • 1 篇 海洋科学
    • 1 篇 生物学
  • 14 篇 管理学
    • 12 篇 管理科学与工程(可...
    • 3 篇 工商管理
    • 3 篇 图书情报与档案管...
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 医学
    • 3 篇 基础医学(可授医学...
    • 3 篇 临床医学
    • 3 篇 药学(可授医学、理...
  • 2 篇 法学
    • 2 篇 社会学

主题

  • 10 篇 software enginee...
  • 5 篇 software
  • 5 篇 artificial intel...
  • 4 篇 unified modeling...
  • 3 篇 computer science
  • 3 篇 tools
  • 3 篇 runtime
  • 3 篇 java
  • 3 篇 monitoring
  • 3 篇 software testing
  • 3 篇 semantics
  • 3 篇 software design
  • 3 篇 testing
  • 2 篇 surveys
  • 2 篇 adaptive systems
  • 2 篇 object oriented ...
  • 2 篇 safety
  • 2 篇 application soft...
  • 2 篇 modeling languag...
  • 2 篇 prototypes

机构

  • 15 篇 institute for so...
  • 14 篇 institute of sof...
  • 7 篇 institute of sof...
  • 5 篇 institute for so...
  • 5 篇 ulm university i...
  • 4 篇 institute for so...
  • 3 篇 institute of dis...
  • 3 篇 ulm university i...
  • 2 篇 department of co...
  • 2 篇 université paris...
  • 2 篇 loria campus sci...
  • 2 篇 department of en...
  • 2 篇 department of me...
  • 2 篇 university of st...
  • 2 篇 department of co...
  • 2 篇 université paris...
  • 2 篇 institute of sof...
  • 2 篇 institute of sof...
  • 2 篇 western norway u...
  • 2 篇 unitransferklini...

作者

  • 27 篇 tichy matthias
  • 15 篇 leucker martin
  • 10 篇 matthias tichy
  • 10 篇 raschke alexande...
  • 7 篇 pietron jakob
  • 7 篇 groner raffaela
  • 6 篇 juhnke katharina
  • 4 篇 exelmans joeri
  • 4 篇 höppner stefan
  • 4 篇 wolfgang reif
  • 3 篇 frühwirth thom
  • 3 篇 thoma daniel
  • 3 篇 schmitz malte
  • 3 篇 schaefer ina
  • 3 篇 jakob pietron
  • 3 篇 alexander raschk...
  • 3 篇 mildner alexande...
  • 3 篇 neider daniel
  • 3 篇 witte thomas
  • 3 篇 felderer michael

语言

  • 87 篇 英文
  • 1 篇 其他
检索条件"机构=Institute of Software Engineering and Programming Languages Ulm University"
88 条 记 录,以下是1-10 订阅
Formal specification of the semantics of control state diagrams  1
收藏 引用
6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018
作者: Leitz, Markus Raschke, Alexander Institute of Software Engineering and Programming Languages Ulm University Ulm Germany
Control State Diagrams (CSD) are a graphical representation of Control State Abstract State Machines, a subclass of Abstract State Machines (ASM). We extend the existing semi-formal specification of this diagram type ... 详细信息
来源: 评论
An operation-based versioning approach for synchronous and asynchronous collaboration in graphical modeling tools  9
An operation-based versioning approach for synchronous and a...
收藏 引用
STAF 2021 Workshop: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven engineering, International Workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta) Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling, STAF-WS 2021
作者: Pietron, Jakob Füg, Fabian Tichy, Matthias Institute of Software Engineering and Programming Languages Ulm University Ulm Germany
In the domain of Model-driven engineering (MDE), modeling of software and technical systems is often a collaborative and interactive activity performed by several people. However, existing tools do not offer sufficien... 详细信息
来源: 评论
Automatic change recommendation of models and meta models based on change histories  10
Automatic change recommendation of models and meta models ba...
收藏 引用
10th Workshop on Models and Evolution, ME 2016
作者: Kögel, Stefan Groner, Raffaela Tichy, Matthias Institute of Software Engineering and Programming Languages Ulm University UlmD-89069 Germany
Model-driven software engineering uses models and meta models as key artefacts in the software development process. Typically, changes in the models (or meta models) do not come in isolation but are part of more compl... 详细信息
来源: 评论
Retro-: An event-sourced platform for serverless applications with retroactive computing support  12
Retro-: An event-sourced platform for serverless application...
收藏 引用
12th ACM International Conference on Distributed and Event-Based Systems, DEBS 2018
作者: Meißner, Dominik Erb, Benjamin Kargl, Frank Tichy, Matthias Institute of Distributed Systems Ulm University Germany Institute of Software Engineering and Programming Languages Ulm University Germany
State changes over time are inherent characteristics of stateful applications. So far, there are almost no attempts to make the past application history programmatically accessible or even modifiable. This is primaril... 详细信息
来源: 评论
Experiences with an internal dsl in the iot domain  4
Experiences with an internal dsl in the iot domain
收藏 引用
4th Workshop on Model-Driven engineering for the Internet-of-Things, 1st International Workshop on Modeling Smart Cities, and 5th International Workshop on Open and Original Problems in software Language engineering, STAF-WS 2020
作者: Tichy, Matthias Pietron, Jakob Mdinger, David Juhnke, Katharina Hauck, Franz J. Institute of Software Engineering and Programming Languages Ulm University Germany Institute of Distributed Systems Ulm University Germany
Modeling the architecture and behavior of embedded systems has long been a success story in the engineering of embedded systems due to the positive effects on quality and productivity, e.g., by declarative specificati... 详细信息
来源: 评论
A study design template for identifying usability issues in graphical modeling tools
A study design template for identifying usability issues in ...
收藏 引用
2018 MODELS Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS, MODELS-WS 2018
作者: Pietron, Jakob Raschke, Alexander Stegmaier, Michael Tichy, Matthias Rukzio, Enrico Institute of Software Engineering and Programming Languages Belgium Institute of Media Informatics Ulm University Ulm89081 Germany
Model-driven engineering aims at increasing the productivity of software engineering and the quality of the software. These positive results have been confirmed in several empirical studies. However, those studies als... 详细信息
来源: 评论
The Business Experiments Navigator (BEN)
The Business Experiments Navigator (BEN)
收藏 引用
2018 IEEE International Conference on engineering, Technology and Innovation, ICE/ITMC 2018
作者: Gutbrod, Matthias Munch, Jurgen Tichy, Matthias Faculty of Informatics Reutlingen University Reutlingen Germany Institute of Software Engineering and Programming Languages Ulm University Ulm Germany
Early reduction of risks in a startup or an innovation project is highly important. Appropriate means for risk reduction, such as testing business models with different kinds of experiments exist. However, deciding wh... 详细信息
来源: 评论
Improving Collaborative Modeling by an Operation-Based Versioning Approach
Improving Collaborative Modeling by an Operation-Based Versi...
收藏 引用
2024 software engineering, SE 2024
作者: Exelmans, Joeri Pietron, Jakob Raschke, Alexander Vangheluwe, Hans Tichy, Matthias University of Antwerp Flanders Make Antwerp Belgium Ulm University Institute of Software Engineering and Programming Languages Ulm Germany
The presented work concerns our recent research on advanced collaboration and versioning techniques supporting blended modeling, originally published in the Journal of Computer languages in August 2023 [Ex23]. Collabo... 详细信息
来源: 评论
An investigation of technical debt in automatic production systems  17
An investigation of technical debt in automatic production s...
收藏 引用
2017 XP Scientific Workshops, XP 2017
作者: Besker, Terese Martini, Antonio Bosch, Jan Tichy, Matthias Chalmers University of Technology Computer Science and Engineering Gothenburg Sweden Ulm University Institute of Software Engineering and Programming Languages Ulm Germany
Technical Debt is a recent concept, borrowed from the financial domain. It has been recently used in software development to describe technical sub-optimal solutions that have short-term benefits but long-term extra-c... 详细信息
来源: 评论
Quality indicators for automotive test case specifications
Quality indicators for automotive test case specifications
收藏 引用
2018 Combined Workshops of the German software engineering Conference, SE-WS 2018
作者: Juhnke, Katharina Tichy, Matthias Houdek, Frank Daimler AG Group Research and MBC Development Ulm Germany Ulm University Institute of Software Engineering and Programming Languages Ulm Germany
Testing is an important quality assurance activity during development of automotive software. Automotive OEMs and suppliers use test case specifications to specify, mostly informal, test cases as well as supporting in... 详细信息
来源: 评论