咨询与建议

限定检索结果

文献类型

  • 525 篇 会议
  • 195 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 464 篇 工学
    • 374 篇 计算机科学与技术...
    • 305 篇 软件工程
    • 55 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 27 篇 电气工程
    • 27 篇 土木工程
    • 24 篇 电子科学与技术(可...
    • 23 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 16 篇 建筑学
    • 15 篇 网络空间安全
    • 14 篇 生物医学工程(可授...
    • 10 篇 材料科学与工程(可...
    • 9 篇 农业工程
  • 222 篇 理学
    • 124 篇 数学
    • 38 篇 系统科学
    • 35 篇 物理学
    • 29 篇 生物学
    • 27 篇 统计学(可授理学、...
    • 21 篇 海洋科学
  • 117 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 44 篇 图书情报与档案管...
    • 41 篇 工商管理
  • 18 篇 经济学
    • 17 篇 应用经济学
  • 15 篇 法学
    • 14 篇 社会学
  • 15 篇 教育学
    • 13 篇 教育学
  • 15 篇 医学
    • 12 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 12 篇 农学
    • 11 篇 作物学
  • 3 篇 文学
  • 2 篇 哲学
  • 1 篇 军事学

主题

  • 21 篇 application soft...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 software enginee...
  • 12 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 11 篇 artificial intel...
  • 10 篇 java
  • 9 篇 computer archite...
  • 9 篇 model checking
  • 9 篇 analytical model...
  • 8 篇 computer science
  • 8 篇 software systems
  • 8 篇 electronic mail

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 8 篇 programming syst...
  • 7 篇 chair for progra...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 programming syst...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...

作者

  • 48 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 19 篇 bernhard steffen
  • 17 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 tiziana margaria
  • 12 篇 christopher muts...
  • 10 篇 veska gancheva
  • 9 篇 wang cheng
  • 9 篇 lamprecht anna-l...
  • 9 篇 youfeng wu
  • 9 篇 christiansen hen...
  • 9 篇 naujokat stefan
  • 9 篇 niehren joachim
  • 8 篇 mostafa abotaleb

语言

  • 693 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Systems and Programming"
720 条 记 录,以下是431-440 订阅
排序:
Dynamic testing via automata learning
Dynamic testing via automata learning
收藏 引用
作者: Raffelt, Harald Merten, Maik Steffen, Bernhard Margaria, Tiziana TU Dortmund Programming Systems University of Dortmund Otto-Hahn-Str. 14 44227 Dortmund Germany Service and Software Engineering Universität Potsdam August-Bebel-Str. 89 14482 Potsdam Germany
This paper presents dynamic testing, a method that exploits automata learning to systematically test (black box) systems almost without prerequisites. Based on interface descriptions and optional sample test cases, ou... 详细信息
来源: 评论
Dynamic testing via automata learning
收藏 引用
International Journal on Software Tools for Technology Transfer 2009年 第4期11卷 307-324页
作者: Raffelt, Harald Merten, Maik Steffen, Bernhard Margaria, Tiziana TU Dortmund Chair of Programming Systems University of Dortmund Dortmund Germany Chair of Service and Software Engineering Universität Potsdam Potsdam Germany
This paper presents dynamic testing, a method that exploits automata learning to systematically test (black box) systems almost without prerequisites. Based on interface descriptions and optional sample test cases, ou...
来源: 评论
Data envelopment analysis for optimal generators start-up strategy
Data envelopment analysis for optimal generators start-up st...
收藏 引用
8th International Conference on Advances in Power System Control, Operation and Management (APSCOM 2009)
作者: Q. Liu L. B. Shi Y. X. Ni L. Zh. Yao M. Bazargan Programming Research Center CPECC China National Key Laboratory of Power Systems in Shenzhen Tsinghua University China Technology Centre AREVA T and D Inc. UK
An optimal strategy involving the corresponding model and approach to the generators start-up during power system restoration is presented. The aim of the method is to maximize the total power generation capability (M...
来源: 评论
Performance Characterization of SPEC CPU2006 Benchmarks on Intel and AMD Platform
Performance Characterization of SPEC CPU2006 Benchmarks on I...
收藏 引用
International Workshop on Education Technology and Computer Science, ETCS
作者: Shengmei Li Buqi Cheng Xingyu Gao Lin Qiao Zhizhong Tang Department of Computer Science and Technology Tsinghua University Beijing China Programming Systems Laboratory Intel China Research Center Limited Beijing China Chinese Academy and Sciences Beijing China
For understanding the performance differences caused by different computer architectures and optimization technologies, the paper characterizes performance of SPEC CPU2006 benchmarks both on Intel and AMD platform. Us... 详细信息
来源: 评论
Comparing university rankings
Comparing university rankings
收藏 引用
12th International Conference on Scientometrics and Informetrics, ISSI 2009
作者: Aguillo, Isidro F. Bar-Ilan, Judit Levene, Mark Ortega, José Luis Cybermetrics Lab CCHS - CSIC Albasanz 26-28 28037 Madrid Spain Dept. Information Science Bar-Ilan University Ramat Gan 52900 Israel School of Computer Science and Information Systems Birkbeck University of London London WC1E 7HX United Kingdom Scientific Programming Division VICYT - CSIC Serrano 113 28006 Madrid Spain
Recently there is increasing interest in university rankings. Annual rankings of world universities are published by QS for the Times Higher Education Supplement, the Shanghai Jiao Tong University, the Higher Educatio...
来源: 评论
An XML based General Document Algebra supporting conflict resolving in cooperative text editions - HypereiDoc revisited  11
An XML based General Document Algebra supporting conflict re...
收藏 引用
11th Symposium on programming Languages and Software Tools and 7th Nordic Workshop on Model Driven Software Engineering, SPLST 2009 and NW-MODE 2009
作者: Hernáth, Zsolt Bauer, Péter Porkoláb, Zoltán Dept. of Information Systems Faculty of Informatics Eötvös Lorand University Pázmany Péter Sétány 1/C BudapestH-1117 Hungary Dept. of Programming Languages and Compilers Faculty of Informatics Eötvös Lorand University Pázmany Péter Sétány 1/C BudapestH-1117 Hungary
HypereiDoc [1] is an XML based framework that has been designed to support multi-layered processing of epigraphical, papyrological or similar texts in a cooperative, and distributed manner for modern critical editions... 详细信息
来源: 评论
A case study of software testers
收藏 引用
AI EDAM 2009年 第1期3卷 35-51页
作者: Robin Lampert David Hamilton Elliot Soloway Yale University Department of Computer Science Cognition and Programming Project P. O. Box 2158 Yale Station New Haven CT 06520 IBM Systems Integration Division 3700 Bay Area Blvd. Houston TX 77058 U.S.A.
In an effort to learn more about how testers test code, we observed several testers while they designed tests to check a change which had been made to code. Using a case study methodology, we gathered empirical data f...
来源: 评论
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... 详细信息
来源: 评论
Semantic business process modeling - Benefits and capability
Semantic business process modeling - Benefits and capability
收藏 引用
2008 AAAI Spring Symposium
作者: Lautenbacher, Florian Bauer, Bernhard Seitz, Christian Programming Distributed Systems Lab. University of Augsburg Germany
Models describing business processes in a company nowadays have the drawback that they are not machine-processable for two reasons: First the terminology is not formalized. Second the dynamic semantics of the process ... 详细信息
来源: 评论
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. ... 详细信息
来源: 评论