咨询与建议

限定检索结果

文献类型

  • 22 篇 会议
  • 14 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 26 篇 工学
    • 23 篇 计算机科学与技术...
    • 20 篇 软件工程
    • 5 篇 生物医学工程(可授...
    • 5 篇 安全科学与工程
    • 3 篇 机械工程
    • 3 篇 仪器科学与技术
    • 3 篇 控制科学与工程
    • 3 篇 建筑学
    • 2 篇 冶金工程
    • 2 篇 土木工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 材料科学与工程(可...
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 石油与天然气工程
    • 1 篇 轻工技术与工程
    • 1 篇 交通运输工程
    • 1 篇 船舶与海洋工程
  • 9 篇 理学
    • 4 篇 数学
    • 3 篇 系统科学
    • 3 篇 统计学(可授理学、...
    • 1 篇 化学
    • 1 篇 海洋科学
  • 9 篇 管理学
    • 6 篇 管理科学与工程(可...
    • 4 篇 图书情报与档案管...
    • 3 篇 工商管理
  • 4 篇 医学
    • 4 篇 基础医学(可授医学...
    • 4 篇 临床医学
    • 3 篇 药学(可授医学、理...
  • 3 篇 教育学
    • 3 篇 教育学

主题

  • 6 篇 software enginee...
  • 5 篇 unified modeling...
  • 4 篇 application soft...
  • 4 篇 java
  • 3 篇 computer science
  • 3 篇 computer languag...
  • 3 篇 security
  • 3 篇 cryptographic pr...
  • 3 篇 smart cards
  • 3 篇 formal specifica...
  • 2 篇 adaptive systems
  • 2 篇 object oriented ...
  • 2 篇 students
  • 2 篇 abstracting
  • 2 篇 usability engine...
  • 1 篇 runtime
  • 1 篇 reliability
  • 1 篇 personnel traini...
  • 1 篇 decision support...
  • 1 篇 cognition

机构

  • 6 篇 institute for so...
  • 3 篇 department of so...
  • 3 篇 institute for so...
  • 3 篇 institute of sof...
  • 3 篇 institute of sof...
  • 2 篇 institute for so...
  • 2 篇 department of so...
  • 2 篇 department of me...
  • 2 篇 department of co...
  • 2 篇 unitransferklini...
  • 2 篇 fondazione bruno...
  • 2 篇 unitransferklini...
  • 1 篇 department of so...
  • 1 篇 complex cyber in...
  • 1 篇 christian dopple...
  • 1 篇 heinz nixdorf in...
  • 1 篇 department of so...
  • 1 篇 department of co...
  • 1 篇 university of lü...
  • 1 篇 department of co...

作者

  • 5 篇 leucker martin
  • 5 篇 wolfgang reif
  • 4 篇 reif wolfgang
  • 4 篇 nina moebius
  • 4 篇 tichy matthias
  • 4 篇 raschke alexande...
  • 3 篇 kurt stenzel
  • 3 篇 witte thomas
  • 3 篇 felderer michael
  • 2 篇 mertin gunda
  • 2 篇 holger grandy
  • 2 篇 vovk olga
  • 2 篇 pekaric irdin
  • 2 篇 stenzel kurt
  • 2 篇 dell'anna-pudlik...
  • 2 篇 caraveo david
  • 2 篇 janß armin
  • 2 篇 pechmann ludwig
  • 2 篇 läufer konstanti...
  • 2 篇 galindo josé a.

语言

  • 35 篇 英文
  • 1 篇 其他
检索条件"机构=Department of Software Engineering and Programming Languages"
36 条 记 录,以下是11-20 订阅
排序:
B2A, A Straight-Through Approach from Basics to Advanced Level: Case Study for Python Course  11
B2A, A Straight-Through Approach from Basics to Advanced Lev...
收藏 引用
11th Workshop on software Quality Analysis, Monitoring, Improvement, and Applications, SQAMIA 2024
作者: Shazmeen, Abbasi Dakić, Pavle Zoltan, Alwahab Dhulfiqar Department of Programming Languages and Compilers Faculty of Informatics Eötvös Loránd University 1/C Pázmány Péter st. BudapestH-1117 Hungary Faculty of Informatics and Computing Singidunum University Danijelova 32 Belgrade Serbia Institute of Informatics Information Systems and Software Engineering Faculty of Informatics and Information Technologies Slovak University of Technology in Bratislava Ilkovičova 2 Bratislava842 16 Slovakia
In this study, we present a straightforward teaching strategy for teaching the Python programming language. Our method emphasizes a clear progression from fundamental to sophisticated concepts. Beginning with a thorou... 详细信息
来源: 评论
Mapping aids using source location tracking increase novices' performance in programming cyber-physical systems
arXiv
收藏 引用
arXiv 2022年
作者: Witte, Thomas Vogt, Andrea Seufert, Tina Tichy, Matthias Institute of Software Engineering and Programming Languages Ulm University Germany Department Learning and Instruction Institute of Psychology Education Ulm University Germany
Motivation and Background. Novices need to overcome initial barriers while programming cyber-physical systems behavior, like coding quadcopter missions, and should thus be supported by an adequately designed programmi... 详细信息
来源: 评论
Model-based Generation of Attack-Fault Trees
arXiv
收藏 引用
arXiv 2023年
作者: Groner, Raffaela Witte, Thomas Raschke, Alexander Hirn, Sophie Pekaric, Irdin Frick, Markus Tichy, Matthias Felderer, Michael Institute of Software Engineering and Programming Languages Ulm University Germany Department of Computer Science University of Innsbruck Austria Department of Information Systems and Computer Science University of Liechtenstein Liechtenstein Germany Department of Mathematics and Computer Science University of Cologne Germany
Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a combination of dynamic Fault Trees and ... 详细信息
来源: 评论
Uvl: Feature Modelling with the Universal Variability Language
SSRN
收藏 引用
SSRN 2024年
作者: Benavides, David Sundermann, Chico Feichtinger, Kevin Galindo, José A. Rabiser, Rick Thüm, Thomas Department of Computer Languages and Systems Universidad de Sevilla Av. Reina Mercedes Seville41012 Spain Institute of Software Engineering and Programming Languages University of Ulm Albert-Einstein-Allee 11 Ulm89069 Germany CRC 1608 KASTEL – Dependability of Software-intensive Systems Karlsruhe Institute of Technology Am Fasanengarten 5 Karlsruhe76131 Germany Christian Doppler Laboratory VaSiCS LIT CPS Lab Johannes Kepler University Linz Altenberger Straße 69 Linz4040 Austria
Feature modelling is a cornerstone of software product line engineering, providing a means to represent software variability through features and their relationships. Since its inception in 1990, feature modelling has... 详细信息
来源: 评论
A Systematic Review on Security and Safety of Self-Adaptive Systems
SSRN
收藏 引用
SSRN 2022年
作者: Pekaric, Irdin Groner, Raffaela Witte, Thomas Adigun, Jubril Gbolahan Raschke, Alexander Felderer, Michael Tichy, Matthias University of Innsbruck Department of Computer Science Technikerstraße 21a InnsbruckA-6020 Austria Ulm University Institute of Software Engineering and Programming Languages James-Franck-Ring 9 Ulm89081 Germany
Context: Cyber-physical systems (CPS) are increasingly self-adaptive, i.e. they have the ability to introspect and change their behavior. This self-adaptation process must be considered when modeling the safety and se... 详细信息
来源: 评论
Automated Computation of Therapies Using Failure Mode and Effects Analysis in the Medical Domain
arXiv
收藏 引用
arXiv 2024年
作者: Luttermann, Malte Baake, Edgar Bouchagiar, Juljan Gebel, Benjamin Grüning, Philipp Manikwadura, Dilini Schollemann, Franziska Teifke, Elisa Rostalski, Philipp Möller, Ralf Institute of Information Systems University of Lübeck Germany Institute of Telematics University of Lübeck Germany Institute for Software Engineering and Programming Languages University of Lübeck Germany Department of Infectious Diseases and Microbiology University Hospital Schleswig-Holstein Campus Lübeck Germany Institute for Neuro- and Bioinformatics University of Lübeck Germany Institute for Molecular Medicine University of Lübeck Germany Institute for Electrical Engineering in Medicine University of Lübeck Germany franziska.schollemann Department of Anesthesiology and Intensive Care University Hospital Schleswig-Holstein Campus Lübeck Germany
Failure mode and effects analysis (FMEA) is a systematic approach to identify and analyse potential failures and their effects in a system or process. The FMEA approach, however, requires domain experts to manually an... 详细信息
来源: 评论
Non-intrusive MC/DC measurement based on traces  13
Non-intrusive MC/DC measurement based on traces
收藏 引用
13th International Symposium on Theoretical Aspects of software engineering, TASE 2019
作者: Ahishakiye, Faustin Jaksic, Svetlana Lange, Felix Dino Schmitz, Malte Stolz, Volker Thoma, Daniel Department of Computing Mathematics and Physics Western Norway University of Applied Sciences Bergen Norway Institute for Software Engineering and Programming Languages University of Lübeck Lübeck Germany
We present a novel, non-intrusive approach to MC/DC coverage measurement using modern processor-based tracing facilities. Our approach does not require recompilation or instrumentation of the software under test. Inst... 详细信息
来源: 评论
SusTrainable: Promoting Sustainability as a Fundamental Driver in software Development Training and Education Teacher Training November 1–5, Nijmegen, The Netherlands Revised lecture notes
arXiv
收藏 引用
arXiv 2022年
作者: Koopman, Pieter Lubbers, Mart Fernandes, João Paulo Korečko, Štefan Paquete, Luís Porkoláb, Zoltán Szalay, Richárd Mauša, Goran Oprescu, Ana Koedijk, Lukas van Oostveen, Sander Kok, Stephan Li, Jianhao Zsók, Viktória Grbac, Tihana Galinac Grbac, Neven Valkanov, Vladimir Petrov, Mihail Radboud University Nijmegen Netherlands University of Porto Portugal Department of Computers and Informatics Faculty of Electrical Engineering and Informatics Technical University of Košice Slovakia CISUC Department of Informatics Engineering University of Coimbra Portugal Department of Programming Languages and Compilers Institute of Computer Science Faculty of Informatics Eötvös Lorád University Budapest Hungary University of Rijeka Faculty of Engineering Vukovarska 58 Rijeka51000 Croatia Complex Cyber Infrastructure University of Amsterdam Netherlands KPMG Software Engineering Master University of Amsterdam Netherlands Informatics Institute University of Amsterdam Netherlands Juraj Dobrila Univeristy of Pula Zagrebačka 30 PulaHR-52100 Croatia University Of Plovdiv "Paisii Hilendarski" Faculty of Mathematics and Informatics 24 Bulgaria Blvd. Plovdiv4027 Bulgaria
These are the proceedings of the first teacher training of the Erasmus+ project No. 2020-1-PT01-KA203-078646 -- Sustrainable. The full title of this project is Promoting Sustainability as a Fundamental Driver in Softw... 详细信息
来源: 评论
Non-Intrusive MC/DC Measurement Based on Traces
Non-Intrusive MC/DC Measurement Based on Traces
收藏 引用
Theoretical Aspects of software engineering (TASE)
作者: Faustin Ahishakiye Svetlana Jakšić Volker Stolz Felix Dino Lange Malte Schmitz Daniel Thoma Department of Computing Mathematics and Physics Western Norway University of Applied Sciences Bergen Norway Western Norway University of Applied Sciences Bergen Norway University of Lubeck Lubeck Germany Institute for Software Engineering and Programming Languages University of Lübeck Lübeck Germany
We present a novel, non-intrusive approach to MC/DC coverage measurement using modern processor-based tracing facilities. Our approach does not require recompilation or instrumentation of the software under test. Inst... 详细信息
来源: 评论
Code abstractions for automatic information flow control in a model-driven approach  10th
Code abstractions for automatic information flow control in ...
收藏 引用
10th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage, SpaCCS 2017
作者: Katkalov, Kuzman Stenzel, Kurt Reif, Wolfgang Department of Software Engineering and Programming Languages University of Augsburg Augsburg Germany
Automatic information flow control (IFC) can be used to guarantee the absence of information leaks in security-critical applications. However, IFC of real-world, complex, distributed systems is challenging. In this pa... 详细信息
来源: 评论