咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是161-170 订阅
排序:
A static aspect language for modelica models
A static aspect language for modelica models
收藏 引用
2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2008 - In Conjunction with the ECOOP 2008 Conference
作者: Lochau, Malte Günther, Henning Institute for Programming and Reactive Systems TU Braunschweig Germany
With the introduction of the new Modelica major version 3, innovations mainly consist of further model restrictions for increased model quality. In addition, developers often want to ensure the compliance to further r... 详细信息
来源: 评论
Automatic generation and evolution of model transformations using ontology engineering space
Automatic generation and evolution of model transformations ...
收藏 引用
作者: Roser, Stephan Bauer, Bernhard Programming of Distributed Systems Institute of Computer Science University of Augsburg Augsburg D-86135 Germany
Model-driven software development facilitates faster and more flexible integration of information and communication systems. It divides system descriptions into models of different view points and abstraction levels. ... 详细信息
来源: 评论
Program recursive forms and programming automatization for functional languages
收藏 引用
WSEAS Transactions on Computers 2009年 第8期8卷 1256-1265页
作者: Archvadze, N. Pkhovelishvili, M. Shetsiruli, L. Nizharadze, M. Department of Computer Sciences Faculty of Exact and Natural Sciences I. Javakhishvili Tbilisi State University 2. University st. 0143 Tbilisi South Georgia and the South Sandwich Islands Department of Programming N. Muskhelishvili Computing Mathematic Institute 7 Akuri st. 0193 Tbilisi South Georgia and the South Sandwich Islands Department of Mathematics and Computer Science Shota Rustaveli State University 35 Ninoshvili st. 6010 Batumi South Georgia and the South Sandwich Islands Faculty of Informatics and Control Systems Georgian Technical University 77 Kostava st. 0175 Tbilisi South Georgia and the South Sandwich Islands
The automatic programming system has been considered by means of which it becomes easier to carry out traditional programming stages. There is discussed both recursive forms: parallel, interrecursion and recursion of ... 详细信息
来源: 评论
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams
Executable Requirements Specification: Formal Semantics of L...
收藏 引用
Theoretical Aspects of Software Engineering (TASE)
作者: Christoph Knieke Michaela Huhn Malte Lochau TU Braunschweig Institute for Programming and Reactive Systems Brunswick Germany
Errors, inconsistences, incompletenesses and ambiguities in the requirements specification are major reasons for the failure of IT projects. Since the new major version 2 of the UML, the suitability of activity diagra... 详细信息
来源: 评论
Modeling and Validation of Executable Requirements Using Live Activity Diagrams
Modeling and Validation of Executable Requirements Using Liv...
收藏 引用
International Conference on Software Engineering Research, Management and Applications (SERA)
作者: Christoph Knieke Michaela Huhn Malte Lochau Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany
A seamless model-based methodology for requirements specification becomes increasingly the key to successful software systems engineering. The enhanced activity diagrams of UML 2 offer a promising intuitive modeling a... 详细信息
来源: 评论
Modeling semantic web services using UML 2
Modeling semantic web services using UML 2
收藏 引用
3rd International Workshop on Model-Driven Enterprise Information systems - MDEIS 2007;In Conjunction with ICEIS 2007
作者: Lautenbacher, Florian Bauer, Bemhard Programming Distributed Systems Lab. Institute of Computer Science University of Augsburg Germany
The development of web services and especially semantic web services is a tremendous task for people who are not familiar with all language constructs. Especially with the growing mass of several semantic web service ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A proposal for parallel self-adjusting computation
A proposal for parallel self-adjusting computation
收藏 引用
DAMP 2007: Workshop on Declarative Aspects of Multicore programming
作者: Hammer, Matthew Acar, Umut A. Rajagopalan, Mohan Ghuloum, Anwar Toyota Technological Institute Chicago IL United States Programming Systems Lab. Intel Santa Clara CA United States
We present an overview of our ongoing work on parallelizing self-adjusting-computation techniques. In self-adjusting computation, programs can respond to changes to their data (e.g., inputs, outcomes of comparisons) a... 详细信息
来源: 评论
Architecture potential analysis: A closer look inside architecture evaluation
Journal of Software
收藏 引用
Journal of Software 2007年 第4期2卷 43-56页
作者: Florentz, Bastian Huhn, Michaela Institute for Programming and Reactive Systems Technical University Brunswick Germany
The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation have become important parts of the development of embedded systems to d... 详细信息
来源: 评论
Runtime Analysis of a Self-Adaptive Hard Real-Time Robotic Control System
Runtime Analysis of a Self-Adaptive Hard Real-Time Robotic C...
收藏 引用
IEEE Workshop on Engineering of Autonomic and Autonomous systems (EASE)
作者: Jens Steiner Matthias Hagner Institute for Programming and Reactive Systems Technical University of Braunschweig Germany
This paper describes a software architecture for parallel kinematic machines and its evolvement to a self-adaptive system striving to optimize, protect and heal itself Self-* properties are provided by self-manager co... 详细信息
来源: 评论