咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是31-40 订阅
排序:
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... 详细信息
来源: 评论
Model Based Safety Analysis
收藏 引用
IFAC Proceedings Volumes 2009年 第5期42卷 3-3页
作者: Wolfgang Reif Department of Software Engineering and Programming Languages Institute of ComputerScience University of Augsburg 86135 Augsburg Germany
In safety critical applications, the growing complexity and risk associated with embedded software intensive systems demands for reliable safety assessments. Additionally, in many application areas standards and norms...
来源: 评论
A modeling framework for the development of provably secure E-commerce applications
A modeling framework for the development of provably secure ...
收藏 引用
2nd International Conference on software engineering Advances - ICSEA 2007
作者: Moebius, Nina Haneberg, Dominik Reif, Wolfgang Schellhorn, Gerhard Institute of Computer Science University Augsburg Department of Software Engineering and Programming Languages 86135 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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2004年 2981卷 V-VI页
作者: Müller-Schloer, Christian Ungerer, Theo Bauer, Bernhard University of Hannover Institute of Systems Engineering System and Computer Architecture - SRA Appelstr. 4 Hannover Germany University of Augsburg Institute of Informatics Augsburg Germany University of Augsburg Department of Software Engineering and Programming Languages Augsburg Germany
来源: 评论
CLEER - AN AI-SYSTEM DEVELOPED TO ASSIST EQUIPMENT ARRANGEMENTS ON WARSHIPS
收藏 引用
NAVAL ENGINEERS JOURNAL 1989年 第3期101卷 127-137页
作者: ZHOU, HH SILVERMAN, BG SIMKOL, J Dr. H. Harry Zhou:is a research professor at the Institute for Artificial Intelligence of The George Washington University. Dr. Zhou received his master's degree and Ph.D. in computer science from Vanderbilt University in 1984 and 1987 respectively. He did his dissertation in the fields of artificial intelligence analogical reasoning and machine learning. His research interests include: classifier systems genetic algorithms learning by analogy inductive learning adaptive expert systems automated knowledge acquisition and adaption. He is also interested in data base design programming languages mental modeling and software engineering. Dr. Barry G. Silverman:is director of the Institute for Artificial Intelligence and a professor at the Engineering Administration Department of The George Washington University. He is also president of IntelliTek Inc. an AI consulting firm. Dr. Silverman received the B.S.E. M.S.E. and Ph.D. degrees from the University of Pennsylvania. He has been a principal developer of four generic AI products as well as eight AI applications. Since 1979 he has written over 100 papers and reports on these AI efforts. Joel Simkol:is a research scientist currently engaged in designing expert system architectures to support electronic warfare vulnerability analyses threat assessments shipboard topside antenna arrangements and C3countermeasures employment. Mr. Simkol's work in applying expert systems technology to electromagnetic interference and to spectrum management has generated increased interest and participation from all branches of government agencies.
This paper describes a modularized AI system being built to help improve electromagnetic compatibility (EMC) among shipboard topside equipment and their associated systems. CLEER is intended to act as an easy to use i... 详细信息
来源: 评论