咨询与建议

限定检索结果

文献类型

  • 490 篇 会议
  • 247 篇 期刊文献
  • 6 册 图书
  • 1 件 标准

馆藏范围

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

日期分布

学科分类号

  • 611 篇 工学
    • 489 篇 计算机科学与技术...
    • 370 篇 软件工程
    • 85 篇 电气工程
    • 53 篇 信息与通信工程
    • 40 篇 控制科学与工程
    • 16 篇 生物医学工程(可授...
    • 15 篇 安全科学与工程
    • 14 篇 电子科学与技术(可...
    • 12 篇 仪器科学与技术
    • 10 篇 土木工程
    • 9 篇 机械工程
    • 9 篇 船舶与海洋工程
    • 9 篇 生物工程
    • 8 篇 材料科学与工程(可...
    • 8 篇 网络空间安全
    • 7 篇 交通运输工程
    • 6 篇 建筑学
  • 130 篇 理学
    • 84 篇 数学
    • 18 篇 生物学
    • 18 篇 统计学(可授理学、...
    • 14 篇 系统科学
    • 9 篇 物理学
    • 9 篇 化学
    • 8 篇 海洋科学
  • 70 篇 管理学
    • 48 篇 管理科学与工程(可...
    • 26 篇 图书情报与档案管...
    • 10 篇 工商管理
  • 20 篇 医学
    • 11 篇 基础医学(可授医学...
    • 10 篇 临床医学
  • 13 篇 教育学
    • 13 篇 教育学
  • 7 篇 法学
  • 5 篇 农学
  • 2 篇 经济学
  • 1 篇 文学

主题

  • 41 篇 software enginee...
  • 19 篇 computer languag...
  • 19 篇 semantics
  • 18 篇 testing
  • 17 篇 software
  • 16 篇 java
  • 15 篇 application soft...
  • 14 篇 artificial intel...
  • 13 篇 model checking
  • 13 篇 monitoring
  • 13 篇 machine learning
  • 13 篇 software design
  • 13 篇 unified modeling...
  • 12 篇 specifications
  • 12 篇 formal methods
  • 11 篇 runtime
  • 11 篇 optimization
  • 11 篇 security
  • 11 篇 hardware
  • 10 篇 internet of thin...

机构

  • 36 篇 ulm univ inst so...
  • 27 篇 univ lubeck inst...
  • 18 篇 med univ lubeck ...
  • 15 篇 institute for so...
  • 14 篇 institute of sof...
  • 13 篇 institute for so...
  • 12 篇 univ potsdam cha...
  • 9 篇 univ potsdam cha...
  • 8 篇 univ lubeck inst...
  • 8 篇 trakya univ dept...
  • 8 篇 univ oslo progra...
  • 8 篇 institute of sof...
  • 7 篇 univ dortmund ch...
  • 7 篇 institute of sof...
  • 7 篇 univ hertfordshi...
  • 6 篇 institute of sof...
  • 6 篇 univ ulm inst so...
  • 6 篇 tech univ dortmu...
  • 6 篇 institute of sof...
  • 6 篇 tu dortmund univ...

作者

  • 67 篇 margaria tiziana
  • 64 篇 tichy matthias
  • 62 篇 leucker martin
  • 61 篇 steffen bernhard
  • 24 篇 dosch walter
  • 18 篇 thoma daniel
  • 18 篇 schmitz malte
  • 18 篇 grelck clemens
  • 18 篇 raschke alexande...
  • 17 篇 groner raffaela
  • 16 篇 lamprecht anna-l...
  • 16 篇 schaefer ina
  • 16 篇 pietron jakob
  • 15 篇 scholz sven-bodo
  • 14 篇 tiziana margaria
  • 13 篇 das resul
  • 13 篇 dosch w
  • 13 篇 naujokat stefan
  • 12 篇 yevtushenko nina
  • 12 篇 juhnke katharina

语言

  • 697 篇 英文
  • 34 篇 其他
  • 10 篇 德文
  • 2 篇 中文
  • 1 篇 土耳其文
检索条件"机构=Software Programming"
744 条 记 录,以下是361-370 订阅
排序:
Delta-Oriented test case prioritization for integration testing of software product lines  15
Delta-Oriented test case prioritization for integration test...
收藏 引用
19th International software Product Line Conference, SPLC 2015
作者: Lachmann, Remo Lity, Sascha Lischke, Sabrina Beddig, Simon Schulze, Sandro Schaefer, Ina Institute of Software Engineering and Automotive Informatics Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany
software product lines have potential to allow for mass customization of products. Unfortunately, the resulting, vast amount of possible product variants with commonalities and differences leads to new challenges in s... 详细信息
来源: 评论
Common Network Attack Types and Defense Mechanisms  23
Common Network Attack Types and Defense Mechanisms
收藏 引用
23nd Signal Processing and Communications Applications Conference (SIU)
作者: Das, Resul Karabade, Abubakar Tuna, Gurkan Firat Univ Fac Technol Dept Software Engn TR-23119 Elazig Turkey Trakya Univ Dept Comp Programming TR-22020 Edirne Turkey
For every organization having a well secured network is the primary requirement to reach their goals. A network is said to be secure if it can protect itself from sophisticated attacks. Due to the rapid increase in th... 详细信息
来源: 评论
An empirical analysis of the utilization of multiple programming languages in open source projects  15
An empirical analysis of the utilization of multiple program...
收藏 引用
19th International Conference on Evaluation and Assessment in software Engineering, EASE 2015
作者: Mayer, Philip Bauer, Alexander Programming and Software Engineering Group Ludwig-Maximilians-Universität München Germany Statistical Consulting Unit Ludwig-Maximilians-Universität München Germany
Background: Anecdotal evidence suggests that software applications are usually implemented using a combination of (programming) languages. Aim: We want to provide empirical evidence on the phenomenon of multi-language... 详细信息
来源: 评论
Integrated smart home services and smart wearable technology for the disabled and elderly  4
Integrated smart home services and smart wearable technology...
收藏 引用
4th International Conference on Data Management Technologies and Applications, DATA 2015
作者: Tuna, Ayse Das, Resul Tuna, Gurkan School of Foreign Languages Trakya University Edirne Turkey Department of Software Engineering Firat University Elazig Turkey Department of Computer Programming Trakya University Edirne Turkey
Smart Home is indeed a broad concept which includes the techniques and systems applied to living spaces. While its main goal is to reduce the consumption of energy, it provides many benefits including living in comfor... 详细信息
来源: 评论
Comprehensive curriculum of programming for engineers, its teaching models and in-lab monitoring technique
Comprehensive curriculum of programming for engineers, its t...
收藏 引用
International MultiConference of Engineers and Computer Scientists 2015, IMECS 2015
作者: Satoskar, Mohit Mali, Sagar Department of Computer Science and Information Technology Ramrao Adik Institute of Technology Mumbai India Computer Programming and System Software Design Area of Computer Science at Kolhapur Maharashtra India
Issues related to the curriculum design of C programming language is analysed. Aspects and necessity of programming for engineers is discussed. The enhanced outlay of programming for engineers and generating the curri... 详细信息
来源: 评论
Device- And service profiles for integrated or systems based on open standards
收藏 引用
Current Directions in Biomedical Engineering 2015年 第1期1卷 538-542页
作者: Mildner, Alexander Janß, Armin Dell'Anna-Pudlik, Jasmin Merz, Paul Leucker, Martin Radermacher, Klaus UniTransferKlinik Lübeck Maria-Goeppert-Straße 1 Lübeck 23562 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 ... 详细信息
来源: 评论
Secured SOA for the safe interconnection of medical devices (Position paper)
Secured SOA for the safe interconnection of medical devices ...
收藏 引用
Workshops der Tagung software Engineering, SE-WS 2015
作者: Leucker, Martin Schmitz, Malte Institute for Software Engineering and Programming Languages Universität zu Lübeck Germany Graduate School for Computing in Medicine and Life Sciences Universität zu Lübeck Germany
This position paper presents a concept on how the dynamic interconnection of medical devices in a service oriented architecture (SOA) can be secured based on formal interface descriptions. In the framework OpenSDC use... 详细信息
来源: 评论
Re-engineering automation systems as dynamic software product lines  11
Re-engineering automation systems as dynamic software produc...
收藏 引用
11th Dagstuhl-Workshop Modellbasierte Entwicklung Eingebetteter Systeme, MBEES 2015 - 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems, MBEES 2015
作者: Lity, Sascha Burdek, Johannes Lochau, Malte Berens, Markus Schurr, Andy Schaefer, Ina Institute for Programming and Reactive Systems TU Braunschweig Germany Real-Time Systems Lab TU Darmstadt Germany Eckelmann AG Germany Institute of Software Engineering and Automotive Informatics TU Braunschweig Germany
software engineering is an important development task in the automation domain due to the increasing number of embedded systems applied for controlling various system functions. In general, those automation systems ar... 详细信息
来源: 评论
Development of Device-and Service-Profiles for a Safe and Secure Interconnection of Medical Devices in the Integrated Open OR  3rd
Development of Device-and Service-Profiles for a Safe and Se...
收藏 引用
3rd International Workshop on Risk Assessment and Risk-Driven Testing (RISK)
作者: Mildner, Alexander Janss, Armin Dell'Anna-Pudlik, Jasmin Merz, Paul Leucker, Martin Radermacher, Klaus UniTransferKlin Lubeck Lubeck Germany Rhein Westfal TH Aachen Helmholtz Inst Biomed Engn Chair Med Engn Aachen Germany Med Univ Lubeck Inst Software Engn & Programming Languages D-23538 Lubeck Germany
Today's integrated OR systems 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 op... 详细信息
来源: 评论
User-level synthesis: Treating product lines as systems of constraints  15
User-level synthesis: Treating product lines as systems of c...
收藏 引用
19th International software Product Line Conference, SPLC 2015
作者: Steffen, Bernhard Lamprecht, Anna-Lena Margaria, Tiziana Department for Programming Systems TU Dortmund University Dortmund44227 Germany Institute for Informatics and Computational Science Potsdam University Potsdam14482 Germany Lero - Irish Software Research Centre University of Limerick Limerick Ireland
In this paper, we sketch how treating product lines as systems of possibly heterogeneous constraints allows one to elegantly and consistently manage product lines in terms of a product line of product lines. In fact, ...
来源: 评论