咨询与建议

限定检索结果

文献类型

  • 22 篇 会议
  • 14 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 38 篇 电子文献
  • 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 篇 教育学

主题

  • 8 篇 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 篇 artificial intel...
  • 2 篇 usability engine...
  • 1 篇 runtime
  • 1 篇 reliability
  • 1 篇 information syst...
  • 1 篇 personnel traini...

机构

  • 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...

作者

  • 6 篇 wolfgang reif
  • 5 篇 leucker martin
  • 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.

语言

  • 37 篇 英文
  • 1 篇 其他
检索条件"机构=Department of Software Engineering and Programming Languages"
38 条 记 录,以下是11-20 订阅
排序:
Highlights in systems verification
收藏 引用
Queue 2017年 第4期15卷
作者: Kwon, Albert Wilcox, James EECS Department MIT United States University of Washington Programming Languages and Software Engineering Lab United States
来源: 评论
Device- And service profiles for integrated or systems based on open standards
Device- And service profiles for integrated or systems based...
收藏 引用
作者: Mildner, Alexander Janß, Armin Dell'Anna-Pudlik, Jasmin Merz, Paul Leucker, Martin Radermacher, Klaus UniTransferKlinik Lübeck Maria-Goeppert-Straße 1 Lübeck23562 Germany Institute for Software Engineering and Programming Languages University of Lübeck Germany Department of Medical Engineering Helmholtz-Institute for Biomedical Engineering RWTH Aachen University Germany
Integrated OR systems nowadays are closed and proprietary, so that the interconnection of components from third-party vendors is only possible with high time and cost effort. An integrated operating theatre with open ... 详细信息
来源: 评论
A Modeling Framework for the Development of Provably Secure E-Commerce Applications
A Modeling Framework for the Development of Provably Secure ...
收藏 引用
International Conference on software engineering Advances (ICSEA)
作者: Nina Moebius Dominik Haneberg Wolfgang Reif Gerhard Schellhorn Institute of Computer Science Department of Software Engineering and Programming Languages University of Augsburg Augsburg Germany
Developing security-critical applications is very difficult and the past has shown that many applications turned out to be erroneous after years of usage. For this reason it is desirable to have a sound methodology fo... 详细信息
来源: 评论
Generating formal specifications for security-critical applications - A model-driven approach
Generating formal specifications for security-critical appli...
收藏 引用
International Workshop on software engineering for Secure Systems (SESS)
作者: Nina Moebius Kurt Stenzel Wolfgang Reif Department of Software Engineering and Programming Languages Institute of Computer Science University of Augsburg Augsburg Germany
The SecureMDD approach aims to generate both, a formal specification for verification and executable code, from UML diagrams. The UML models define the static as well as dynamic components of the system under developm... 详细信息
来源: 评论
A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device
A Case Study on Data Protection for a Cloud- and AI-based Ho...
收藏 引用
2022 International Health Data Workshop, HEDA 2022
作者: Bende, Philipp Vovk, Olga Caraveo, David Pechmann, Ludwig Leucker, Martin University of Lübeck Institute for Software Engineering and Programming Languages Lübeck Germany Tallinn University of Technology School of Information Technologies Department of Health Technologies Tallinn Estonia UniTransferKlinik Lübeck GmbH Lübeck Germany
To improve the treatment of many diseases, continuous monitoring of the patient at home with the ability of doctors to interact with individual cases demands an increasing number of medical devices connected to the cl... 详细信息
来源: 评论
A Case Study on Data Protection for a Cloud- and AI-Based Homecare Medical Device  43rd
A Case Study on Data Protection for a Cloud- and AI-Based...
收藏 引用
43rd International Conference on Application and Theory of Petri Nets and Concurrency , Petri Nets 2022
作者: Bende, Philipp Vovk, Olga Caraveo, David Pechmann, Ludwig Leucker, Martin Institute for Software Engineering and Programming Languages University of Lübeck Lübeck Germany School of Information Technologies Department of Health Technologies Tallinn University of Technology Tallinn Estonia UniTransferKlinik Lübeck GmbH Lübeck Germany
To improve the treatment of many diseases, continuous monitoring of the patient at home with the ability of doctors to interact with individual cases demands an increasing number of medical devices connected to the cl... 详细信息
来源: 评论
Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service  5
Runtime Verification of Autonomous Systems Utilizing Digital...
收藏 引用
5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2024
作者: Kristensen, Morten Haahr Bonizzi, Alberto Gomes, Claudio Hansen, Simon Thrane Isasa, Carlos Iven, Hannes Kamburjan, Eduard Larsen, Peter Gorm Leucker, Martin Talasila, Prasad Tang, Valdemar Trojgard Tonetta, Stefano Vosteen, Lars B. Wright, Thomas Aarhus University Department of Electrical and Computer Engineering Denmark Fondazione Bruno Kessler Italy University of Luxembourg Interdisciplinary Centre for Security Reliability and Trust Luxembourg Institute for Software Engineering and Programming Languages Universität zu Lübeck Germany University of Oslo Department of Informatics Norway
Autonomous Systems (AS) enable systems to adapt to drastic and unprecedented environmental changes, a capability that can be enhanced through the utilization of Digital Twins (DTs). However, the additional capabilitie... 详细信息
来源: 评论
WIP: An Engaging Undergraduate Intro to Model Checking in software engineering Using TLA+
WIP: An Engaging Undergraduate Intro to Model Checking in So...
收藏 引用
Frontiers in Education (FIE) Conference
作者: Konstantin Läufer Gunda Mertin George K. Thiruvathukal Department of Computer Science Software and Systems Laboratory Loyola University Chicago Institute for Software Engineering and Programming Languages University of Lübeck
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 $(\text{TLA}^{+}... 详细信息
来源: 评论
Uvlhub: A Feature Model Data Repository Using Uvl and Open Science Principles
SSRN
收藏 引用
SSRN 2023年
作者: Romero-Organvidez, David Galindo, José A. Sundermann, Chico Horcas, Jose-Miguel Benavides, David Department of Computer Languages and Systems University of Seville Spain Institute of Software Engineering and Programming Languages Ulm University Germany CAOSD ITIS Software University of Málaga Spain
Feature models are the de facto standard for modelling variabilities and commonalities. Concrete models in different domains exist;however, many are in private or sparse repositories or belong to discontinued projects... 详细信息
来源: 评论
Leveraging Applications of Formal Methods, Verification, and Validation  1
收藏 引用
丛书名: Communications in Computer and Information Science
1000年
作者: Reiner Hähnle Jens Knoop Tiziana Margaria Dietmar Schreiner Bernhard Steffen
This volume contains a selection of revised papers that were presented at the software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during O... 详细信息
来源: 评论