咨询与建议

限定检索结果

文献类型

  • 2,212 篇 会议
  • 479 篇 期刊文献
  • 5 篇 学位论文
  • 2 册 图书
  • 2 篇 科技报告

馆藏范围

  • 2,700 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,643 篇 工学
    • 2,409 篇 计算机科学与技术...
    • 2,213 篇 软件工程
    • 211 篇 电气工程
    • 207 篇 信息与通信工程
    • 126 篇 控制科学与工程
    • 60 篇 电子科学与技术(可...
    • 42 篇 机械工程
    • 37 篇 生物工程
    • 25 篇 安全科学与工程
    • 22 篇 仪器科学与技术
    • 22 篇 建筑学
    • 21 篇 生物医学工程(可授...
    • 20 篇 土木工程
    • 19 篇 航空宇航科学与技...
    • 18 篇 材料科学与工程(可...
    • 18 篇 环境科学与工程(可...
    • 17 篇 动力工程及工程热...
    • 17 篇 化学工程与技术
  • 491 篇 理学
    • 366 篇 数学
    • 42 篇 统计学(可授理学、...
    • 40 篇 生物学
    • 40 篇 系统科学
    • 38 篇 物理学
    • 17 篇 化学
  • 414 篇 管理学
    • 221 篇 图书情报与档案管...
    • 218 篇 管理科学与工程(可...
    • 128 篇 工商管理
  • 121 篇 教育学
    • 121 篇 教育学
  • 30 篇 法学
    • 21 篇 社会学
  • 24 篇 经济学
    • 23 篇 应用经济学
  • 24 篇 医学
  • 8 篇 农学
  • 5 篇 文学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 2,700 篇 java programming...
  • 255 篇 java
  • 44 篇 computer softwar...
  • 33 篇 software
  • 21 篇 codes
  • 20 篇 libraries
  • 18 篇 computer personn...
  • 16 篇 software systems
  • 16 篇 software enginee...
  • 16 篇 semantics
  • 16 篇 graphical user i...
  • 16 篇 language
  • 15 篇 source code
  • 14 篇 analysis program...
  • 14 篇 open source soft...
  • 13 篇 runtime
  • 13 篇 extensible marku...
  • 13 篇 testing
  • 13 篇 computer program...
  • 12 篇 computer program...

机构

  • 6 篇 unisys corporati...
  • 6 篇 kth royal instit...
  • 5 篇 graduate school ...
  • 5 篇 ibm corp thomas ...
  • 5 篇 ibm t.j. watson ...
  • 4 篇 ibm ottawa
  • 4 篇 dipartimento di ...
  • 4 篇 singapore manage...
  • 4 篇 inria sophia ant...
  • 4 篇 department of co...
  • 4 篇 univ york dept c...
  • 4 篇 carnegie mellon ...
  • 3 篇 univ york york y...
  • 3 篇 université de mo...
  • 3 篇 cwi
  • 3 篇 school of comput...
  • 3 篇 utrecht universi...
  • 3 篇 iit dept comp sc...
  • 3 篇 department of ma...
  • 3 篇 indiana univ dep...

作者

  • 16 篇 bettini lorenzo
  • 15 篇 inoue katsuro
  • 14 篇 binder walter
  • 11 篇 leavens gary t.
  • 9 篇 schoeberl martin
  • 9 篇 ernst michael d.
  • 8 篇 ishio takashi
  • 8 篇 monperrus martin
  • 8 篇 carpenter bryan
  • 8 篇 wellings andy
  • 7 篇 visser willem
  • 7 篇 baudry benoit
  • 7 篇 fox geoffrey
  • 7 篇 damiani ferrucci...
  • 7 篇 poll erik
  • 7 篇 poetzsch-heffter...
  • 7 篇 bal henri e.
  • 7 篇 vitek jan
  • 6 篇 kielmann thilo
  • 6 篇 milanova ana

语言

  • 2,532 篇 英文
  • 131 篇 其他
  • 14 篇 中文
  • 10 篇 日文
  • 8 篇 德文
  • 3 篇 俄文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 塞尔维亚文
  • 1 篇 乌克兰文
检索条件"主题词=Java programming language"
2700 条 记 录,以下是321-330 订阅
排序:
An execution trace recording method using a limited size storage for java
Computer Software
收藏 引用
Computer Software 2019年 第4期36卷 107-113页
作者: Shimari, Kazumasa Inoue, Katsuro Ishio, Takashi Graduate School of Information Science and Technology Osaka University Japan Graduate School of Science and Technology Nara Institute of Science and Technology Japan
In this paper, we propose a method to collect an execution trace to analyze the internal states of software with a planned amount of storage. The method uses separated data buffers to record the actual values used by ... 详细信息
来源: 评论
TripleAgent: Monitoring, Perturbation and Failure-Obliviousness for Automated Resilience Improvement in java Applications
TripleAgent: Monitoring, Perturbation and Failure-Obliviousn...
收藏 引用
International Symposium on Software Reliability Engineering (ISSRE)
作者: Long Zhang Martin Monperrus KTH Royal Institute of Technology Stockholm Sweden KTH Royal Institute of Technology Sweden
In this paper, we present a novel resilience improvement system for java applications. The unique feature of this system is to combine automated monitoring, automated perturbation injection, and automated resilience i... 详细信息
来源: 评论
RETICULA: Real-Time Code Quality Assessment  25
RETICULA: Real-Time Code Quality Assessment
收藏 引用
25th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
作者: Frunzio, Luigi Lin, Bin Lanza, Michele Bavota, Gabriele Univ Svizzera Italiana USI Fac Informat Lugano Switzerland
Code metrics can be used to assess the internal quality of software systems, and in particular their adherence to good design principles. While providing hints about code quality, metrics are difficult to interpret. I... 详细信息
来源: 评论
Ashy. alRescate(): A videogame for developing basic object oriented programming skills  37
Ashy. alRescate(): A videogame for developing basic object o...
收藏 引用
37th International Conference of the Chilean-Computer-Science-Society (SCCC)
作者: Bourgeois, Michelle Cubillos, Claudio Mellado, Rafael Roncagliolo, Silvana Sentis, Felipe Pontificia Univ Catolica Valparaiso Escuela Ingn Informat Valparaiso Chile Pontificia Univ Catolica Valparaiso Escuela Comercio Valparaiso Chile
This document will present an educational videogame called Ashy. alRescate () that aims to teach the subject of object-oriented programming (OOP) in java programming language through the mixture of a baseline story of... 详细信息
来源: 评论
Integer programming of cement distribution by train  4
Integer programming of cement distribution by train
收藏 引用
4th International Conference on Operational Research (InteriOR)
作者: Indarsih Univ Gadjah Mada Dept Math Yogyakarta Indonesia
Cement industry in Central java distributes cement by train to meet daily demand in Yogyakarta and Central java area. There are five destination stations. For each destination station, there is a warehouse to load cem... 详细信息
来源: 评论
Practical Methods for Reasoning About java 8's Functional programming Features  1
收藏 引用
10th International Working Conference on Verified Software - Theories, Tools, and Experiments (VSTTE) held as Part of the Federated Logic Conference (FLoC)
作者: Cok, David R. Tasiran, Serdar Amazon Web Serv Seattle WA 98109 USA
We describe new capabilities added to the java Modeling language and the OpenJML deductive program verification tool to support functional programming features introduced in java 8. We also report on the application o... 详细信息
来源: 评论
Deadlock Detection of java Bytecode  27th
Deadlock Detection of Java Bytecode
收藏 引用
27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
作者: Laneve, Cosimo Garcia, Abel Univ Bologna Dept Comp Sci & Engn Inria Focus Bologna Italy
This paper presents a technique for deadlock detection of java programs. The technique uses typing rules for extracting infinitestate abstract models of the dependencies among the components of the java intermediate l... 详细信息
来源: 评论
Automatically Repairing Dependency-Related Build Breakage  25
Automatically Repairing Dependency-Related Build Breakage
收藏 引用
25th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
作者: Macho, Christian McIntosh, Shane Pinzger, Martin Univ Klagenfurt Software Engn Res Grp Klagenfurt Austria McGill Univ Dept Elect & Comp Engn Montreal PQ Canada
Build systems are widely used in today's software projects to automate integration and build processes. Similar to source code, build specifications need to be maintained to avoid outdated specifications, and buil... 详细信息
来源: 评论
A Simple java Code Generator for ACL2 Based on a Deep Embedding of ACL2 in java  15
A Simple Java Code Generator for ACL2 Based on a Deep Embedd...
收藏 引用
15th International Workshop on the ACL2 Theorem Prover and Its Applications
作者: Coglio, Alessandro Kestrel Inst Palo Alto CA 94304 USA
AIJ (ACL2 In java) is a deep embedding in java of an executable, side-effect-free, non-stobj-accessing subset of the ACL2 language without guards. ATJ (ACL2 To java) is a simple java code generator that turns ACL2 fun... 详细信息
来源: 评论
Design of an Ontology Model Based Ship Condition Monitoring Middleware
Design of an Ontology Model Based Ship Condition Monitoring ...
收藏 引用
International Conference on Intelligent Computing, Automation and Systems (ICICAS)
作者: Bin Zeng Lu Yao Rui Wang Department of Management and Economics Naval University of Engineering Wuhan China Teaching Guarantee Center Naval University of Engineering Wuhan China
It is important for the ship automation management to implement the ship condition monitoring and real-time fault early warning. In order to improve the efficiency of data collection and intelligence of ship monitorin... 详细信息
来源: 评论