咨询与建议

限定检索结果

文献类型

  • 197 篇 会议
  • 64 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 178 篇 工学
    • 149 篇 计算机科学与技术...
    • 119 篇 软件工程
    • 20 篇 信息与通信工程
    • 18 篇 控制科学与工程
    • 13 篇 安全科学与工程
    • 12 篇 电气工程
    • 9 篇 仪器科学与技术
    • 9 篇 生物医学工程(可授...
    • 8 篇 电子科学与技术(可...
    • 8 篇 土木工程
    • 7 篇 船舶与海洋工程
    • 7 篇 网络空间安全
    • 6 篇 机械工程
    • 5 篇 建筑学
    • 4 篇 化学工程与技术
    • 4 篇 交通运输工程
    • 4 篇 生物工程
  • 61 篇 理学
    • 39 篇 数学
    • 10 篇 统计学(可授理学、...
    • 9 篇 系统科学
    • 7 篇 海洋科学
    • 4 篇 化学
    • 4 篇 生物学
  • 42 篇 管理学
    • 26 篇 管理科学与工程(可...
    • 18 篇 图书情报与档案管...
    • 7 篇 工商管理
  • 6 篇 法学
    • 5 篇 社会学
  • 6 篇 医学
    • 5 篇 基础医学(可授医学...
    • 5 篇 临床医学
  • 5 篇 教育学
    • 5 篇 教育学
  • 1 篇 经济学

主题

  • 21 篇 software enginee...
  • 14 篇 testing
  • 10 篇 application soft...
  • 10 篇 java
  • 10 篇 semantics
  • 10 篇 unified modeling...
  • 9 篇 runtime
  • 9 篇 software
  • 8 篇 model checking
  • 7 篇 monitoring
  • 6 篇 tools
  • 6 篇 programming
  • 5 篇 object oriented ...
  • 5 篇 specifications
  • 5 篇 software testing
  • 5 篇 software design
  • 5 篇 web services
  • 4 篇 computer science
  • 4 篇 software systems
  • 4 篇 safety

机构

  • 15 篇 institute for so...
  • 13 篇 institute for so...
  • 13 篇 institute of sof...
  • 7 篇 institute of sof...
  • 5 篇 institute for so...
  • 5 篇 department of pr...
  • 5 篇 ulm university i...
  • 3 篇 department of so...
  • 3 篇 department of so...
  • 3 篇 institute of dis...
  • 3 篇 graduate school ...
  • 3 篇 ulm university i...
  • 3 篇 institute for so...
  • 3 篇 chair of program...
  • 3 篇 department of co...
  • 3 篇 université paris...
  • 3 篇 ivannikov instit...
  • 3 篇 department of sy...
  • 3 篇 software enginee...
  • 3 篇 max planck insti...

作者

  • 28 篇 margaria tiziana
  • 27 篇 steffen bernhard
  • 26 篇 leucker martin
  • 24 篇 tichy matthias
  • 12 篇 tiziana margaria
  • 10 篇 bernhard steffen
  • 10 篇 matthias tichy
  • 10 篇 raschke alexande...
  • 9 篇 schaefer ina
  • 8 篇 yevtushenko nina
  • 7 篇 lamprecht anna-l...
  • 7 篇 thoma daniel
  • 7 篇 pietron jakob
  • 7 篇 groner raffaela
  • 6 篇 schmitz malte
  • 6 篇 naujokat stefan
  • 5 篇 merten maik
  • 5 篇 christian kubcza...
  • 5 篇 sachenbacher mar...
  • 5 篇 wolfgang reif

语言

  • 255 篇 英文
  • 4 篇 德文
  • 2 篇 其他
检索条件"机构=Programming and Software Engineering"
261 条 记 录,以下是1-10 订阅
排序:
WIP: An Engaging Undergraduate Intro to Model Checking in software engineering Using TLA+  54
WIP: An Engaging Undergraduate Intro to Model Checking in So...
收藏 引用
54th IEEE Frontiers in Education Conference, FIE 2024
作者: Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Loyola University Software and Systems Laboratory Department of Computer Science Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany
Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into com... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Digital Twin for Rescue Missions – a Case Study
Digital Twin for Rescue Missions – a Case Study
收藏 引用
2023 Workshop on Applications of Formal Methods and Digital Twins, FMDT 2023
作者: Leucker, Martin Sachenbacher, Martin Vosteen, Lars B. Institute for Software Engineering and Programming Languages Universität zu Lübeck Lübeck Germany
In this paper, we explain through a case study how to develop a digital twin that can be used for safety analysis of missions in physical contexts. More specifically, we consider a scenario where firefighters are oper... 详细信息
来源: 评论
Realizing Scenario-Based Verification Tests of Automated Vehicles With an Ai-Controlled Surrounding Vehicle in a Practice-Relevant Context  27
Realizing Scenario-Based Verification Tests of Automated Veh...
收藏 引用
27th IEEE International Conference on Intelligent Transportation Systems, ITSC 2024
作者: Beringhoff, Felix Greenyer, Joel Roesener, Christian Tichy, Matthias Volkswagen Ag Wolfsburg Germany Fhdw Hannover Hannover30173 Germany Institute for Software Engineering and Programming Languages Ulm University Germany
Scenario-based testing is seen as a key for the verification and validation of automated vehicles (AV). In a test scenario, the AV is tested under pre-defined traffic conditions. However, realizing those traffic condi... 详细信息
来源: 评论
Spam detection with fasttext based features
Spam detection with fasttext based features
收藏 引用
2024 Innovations in Intelligent Systems and Applications Conference, ASYU 2024
作者: Karadeniz, Talha Tokdemir, Gül Maraş, H. Hakan Department of Software Engineering Çankaya University Ankara Turkey Department of Computer Engineering Çankaya University Ankara Turkey Department of Computer Programming Çankaya University Ankara Turkey
Fasttext is a powerful word representation method that creates word representations based on vectors of character n-grams. In this work, we propose a method that utilizes fasttext features for a novel feature engineer... 详细信息
来源: 评论
Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring  35
Achieving Complete Structural Test Coverage in Embedded Syst...
收藏 引用
35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024
作者: Weiss, Alexander Schulz, Albert Heininger, Martin Sachenbacher, Martin Leucker, Martin Accemic Technologies GmbH Kiefersfelden Germany Heicon Global Engineering GmbH Schwendi Germany Institute for Software Engineering and Programming Languages Universität zu Lübeck Germany
This paper presents a systematic approach to achieving, in a well-defined sense, 100% structural test coverage for large embedded software projects. In embedded systems, high code coverage is a critical part of the te... 详细信息
来源: 评论
A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab
A Digital Twin for Coupling Mobility and Energy Optimization...
收藏 引用
2023 Workshop on Applications of Formal Methods and Digital Twins, FMDT 2023
作者: Thoma, Daniel Sachenbacher, Martin Leucker, Martin Ali, Aliyu Tanko Institute for Software Engineering and Programming Languages University of Lübeck Ratzeburger Allee 160 Lübeck23562 Germany
This paper presents a use case in the energy domain showing the benefits of digital twins. More specifically, we study the problem of peak shaving, which aims for managing a micro power grid in such a way that the ene... 详细信息
来源: 评论
A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies  35
A Model-Based Approach for Monitoring and Diagnosing Digital...
收藏 引用
35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024
作者: Hosseinkhani, Elaheh Leucker, Martin Sachenbacher, Martin Streichhahn, Hendrik Vosteen, Lars B. Institute for Software Engineering and Programming Languages Universität zu Lübeck Germany Dräger Safety AG & Co. KGaA. Lübeck Germany
Recent decades have seen the increasing use of Digital Twins (DTs) - that is, digital models used over the lifetime of a physical product or system for tasks such as predictive maintenance or optimization - in a numbe... 详细信息
来源: 评论
How to Drawjectory? - Trajectory Planning using programming by Demonstration
arXiv
收藏 引用
arXiv 2024年
作者: Alkewitz, Leonhard Zuccarello, Timo Raschke, Alexander Tichy, Matthias Institute of Software Engineering and Programming Languages Ulm University Ulm89081 Germany
A flight trajectory defines how exactly a quadrocopter moves in the three-dimensional space from one position to another. Automatic flight trajectory planning faces challenges such as high computational effort and a l... 详细信息
来源: 评论
ADVISE: Understanding Reconfigurations in Self-Adaptive Cloud Systems
ADVISE: Understanding Reconfigurations in Self-Adaptive Clou...
收藏 引用
IEEE International Workshop on Visualizing software for Understanding and Analysis (VISSOFT)
作者: Raphael Straub Sarah Stieß Matthias Tichy Steffen Becker Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Institute of Software Engineering University of Stuttgart Stuttgart Germany
Self-adaptive cloud systems dynamically adapt their configuration to achieve Service Level Objectives (SLOs), for example, to ensure a response time below a certain threshold, in changing environments. However, unders... 详细信息
来源: 评论