咨询与建议

限定检索结果

文献类型

  • 145 篇 会议
  • 74 篇 期刊文献
  • 9 册 图书

馆藏范围

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

日期分布

学科分类号

  • 140 篇 工学
    • 100 篇 计算机科学与技术...
    • 88 篇 软件工程
    • 17 篇 控制科学与工程
    • 10 篇 信息与通信工程
    • 9 篇 土木工程
    • 9 篇 船舶与海洋工程
    • 8 篇 电气工程
    • 7 篇 机械工程
    • 5 篇 建筑学
    • 5 篇 生物医学工程(可授...
    • 5 篇 生物工程
    • 4 篇 力学(可授工学、理...
    • 4 篇 航空宇航科学与技...
    • 4 篇 环境科学与工程(可...
    • 4 篇 安全科学与工程
    • 3 篇 材料科学与工程(可...
  • 78 篇 理学
    • 48 篇 数学
    • 16 篇 系统科学
    • 12 篇 物理学
    • 12 篇 统计学(可授理学、...
    • 7 篇 海洋科学
    • 6 篇 生物学
  • 30 篇 管理学
    • 22 篇 管理科学与工程(可...
    • 10 篇 图书情报与档案管...
    • 8 篇 工商管理
  • 7 篇 医学
    • 6 篇 临床医学
    • 5 篇 基础医学(可授医学...
  • 5 篇 教育学
    • 4 篇 教育学
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 4 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
  • 1 篇 军事学

主题

  • 10 篇 unified modeling...
  • 8 篇 software enginee...
  • 7 篇 semantics
  • 7 篇 testing
  • 6 篇 software
  • 5 篇 programming
  • 5 篇 embedded systems
  • 5 篇 petri nets
  • 5 篇 analytical model...
  • 5 篇 artificial intel...
  • 4 篇 runtime
  • 4 篇 safety
  • 4 篇 application soft...
  • 4 篇 model checking
  • 4 篇 software archite...
  • 4 篇 optimization
  • 4 篇 monitoring
  • 4 篇 control systems
  • 4 篇 dipper throated ...
  • 4 篇 hardware

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 6 篇 department of co...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...
  • 5 篇 institute of sof...
  • 4 篇 school of electr...
  • 4 篇 department of el...
  • 4 篇 department of co...
  • 4 篇 institute for pr...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 institute for so...

作者

  • 13 篇 goltz ursula
  • 13 篇 lochau malte
  • 8 篇 mostafa abotaleb
  • 8 篇 abdelhameed ibra...
  • 7 篇 tichy matthias
  • 6 篇 bauer bernhard
  • 6 篇 schaefer ina
  • 6 篇 christopher muts...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 leucker martin
  • 5 篇 ursula goltz
  • 5 篇 doaa sami khafag...
  • 5 篇 malte lochau
  • 4 篇 mennicke stephan
  • 4 篇 michael philipps...
  • 4 篇 lity sascha
  • 4 篇 van glabbeek rob
  • 4 篇 kolesnikova s.i.
  • 4 篇 matthias hagner

语言

  • 224 篇 英文
  • 3 篇 其他
  • 1 篇 日文
检索条件"机构=Institute of Programming Systems"
228 条 记 录,以下是21-30 订阅
排序:
Aggressive model-driven development: Synthesizing systems from models viewed as constraints
Aggressive model-driven development: Synthesizing systems fr...
收藏 引用
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme - Workshop on Model-Based Development of Embedded systems, MBEES 2005
作者: Margaria, Tiziana Steffen, Bernhard Service Engineering for Distributed Systems Institute for Informatics University of Göttingen Germany Department of Programming Systems University of Dortmund Germany
We propose an aggressive version of model-driven development (AMDD) 1, which moves most of the recurring problems of compatibility and consistency of software (mass-) construction and customization from the coding and... 详细信息
来源: 评论
Approaches for mastering change
Approaches for mastering change
收藏 引用
5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
作者: Schaefer, Ina Lochau, Malte Leucker, Martin Institute for Software Engineering and Automotive Informatics Technical University of Braunschweig Germany Institute for Programming and Reactive Systems Technical University of Braunschweig Germany Institute for Software Engineering and Programming Languages University of Lübeck Germany
Modern software systems are highly configurable and exist in many different variants in order to operate different application contexts. This is called static variability and predominantly considered in software produ... 详细信息
来源: 评论
Integration of scheduling analysis into UML based development processes through model transformation
Integration of scheduling analysis into UML based developmen...
收藏 引用
作者: Hagner, Matthias Goltz, Ursula Institute for Programming and Reactive Systems TU Braunschweig Mühlenpfordtst. 23 38106 Braunschweig Germany
The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and control of the development. Neverthe... 详细信息
来源: 评论
Inside architecture evaluation: Analysis and representation of optimization potential
Inside architecture evaluation: Analysis and representation ...
收藏 引用
2007 Working IEEE/IFIP Conference on Software Architecture, WICSA'07
作者: Florentz, Bastian Institute for Programming and Reactive Systems Technical University Braunschweig P.O. Box 3329 38023 Germany
The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation has become an important part of embedded systems design to define, asse... 详细信息
来源: 评论
MoSo-PoLiTe - Tool support for pairwise and model-based software product line testing  11
MoSo-PoLiTe - Tool support for pairwise and model-based soft...
收藏 引用
Proceedings of the 5th International Workshop on Variability Modeling of Software-Intensive systems
作者: Oster, Sebastian Zorcic, Ivan Markert, Florian Lochau, Malte Real-Time Systems Group Technische Universität Darmstadt Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany
Testing Software Product Lines is a very challenging task and approaches like combinatorial testing and model-based testing are frequently used to reduce the effort of testing Software Product Lines and to reuse test ... 详细信息
来源: 评论
Formalization of Data Exchange Between the systems of Monitoring and Control over an Anaerobic Bioreactor  4
Formalization of Data Exchange Between the Systems of Monito...
收藏 引用
4th International Conference on Control systems, Mathematical Modeling, Automation and Energy Efficiency, SUMMA 2022
作者: Kolesnikova, Svetlana Fomenkova, Anastasia Institute of Computational Systems and Programming St. Petersburg State University of Aerospace Instrumentation St. Petersburg Russia
A conceptual scheme for monitoring and control of the technical state of a complex system - an anaerobic bioreactor - is proposed. A mathematical apparatus and the heart of its algorithmic software are presented as a ... 详细信息
来源: 评论
Soliton dynamics and Peierls-Nabarro barrier in a discrete molecular chain
收藏 引用
Physical Review B 2000年 第2期61卷 1129-1129页
作者: Larissa Brizhik Alexander Eremko Leonor Cruzeiro-Hansson Yulia Olkhovska Institute of Programming Systems 252187 Kyiv Ukraine
We investigate the motion of a self-localized quasiparticle in a discrete lattice taking into account the interaction of the quasiparticle with the vibrations of the lattice. Using an original method to control the ve...
来源: 评论
Approbation of a Generalization of the Synergetic Design of Regulators for a Stochastic Base Immunology System  10
Approbation of a Generalization of the Synergetic Design of ...
收藏 引用
10th International Conference on Information Technology and Nanotechnology, ITNT 2024
作者: Kolesnikova, Svetlana Kustova, Ekaterina Institute Of Computational Systems And Programming St. Petersburg State University Of Aerospace Instrumentation St. Petersburg Russia
The results of application of the invariance condition as the basic principle of the synergetic control theory to a stochastic biomedical object - immunology, are presented. Using four-dimensional nonlinear base objec... 详细信息
来源: 评论
Stochastic Algorithm for Designing Control over Electrohydraulic Brake System  3
Stochastic Algorithm for Designing Control over Electrohydra...
收藏 引用
3rd International Conference on Control systems, Mathematical Modeling, Automation and Energy Efficiency, SUMMA 2021
作者: Kolesnikova, S.I. Semenikhin, E.L. Institute of Computational Systems and Programming St.Petersburg State University of Aerospace Instrumentation St. Petersburg Russia
The problem of control over a nonlinear four-order object (a self-energizing electrohydraulic brake) on a target manifold with two types of uncertainties in the description is discussed. Two new algorithms for the syn... 详细信息
来源: 评论
Storage of key Features of Images of Sulfur Imprints in the Mathematical Structure Form
Storage of key Features of Images of Sulfur Imprints in the ...
收藏 引用
2020 International Multi-Conference on Industrial Engineering and Modern Technologies, FarEastCon 2020
作者: Bagaev, I.I. Logunova, O.S. Institute of Energy and Automated Systems Nosov Magnitogorsk State Technical University Department of Computer Engineering and Programming Magnitogorsk Russia
The aim of the study is to develop a method for storing images of sulfur imprints. In the framework of the study, a more effective method of representing images of sulfur imprints by using knowledge of the specificity... 详细信息
来源: 评论