咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 2,697 篇 电子文献
  • 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,697 篇 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 篇 computer program...
  • 12 篇 computer program...
  • 12 篇 software tools

机构

  • 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,528 篇 英文
  • 132 篇 其他
  • 14 篇 中文
  • 10 篇 日文
  • 8 篇 德文
  • 3 篇 俄文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 塞尔维亚文
  • 1 篇 乌克兰文
检索条件"主题词=Java programming language"
2697 条 记 录,以下是281-290 订阅
排序:
Megadiff: A dataset of 600k java source code changes categorized by diff size
arXiv
收藏 引用
arXiv 2021年
作者: Monperrus, Martin Martinez, Matias Ye, He Madeiral, Fernanda Durieux, Thomas Yu, Zhongxing
This paper presents Megadiff, a dataset of source code diffs. It focuses on java, with strict inclusion criteria based on commit message and diff size. Megadiff contains 663 029 java diffs that can be used for researc... 详细信息
来源: 评论
A longitudinal analysis of bloated java dependencies
arXiv
收藏 引用
arXiv 2021年
作者: Soto-Valero, César Durieux, Thomas Baudry, Benoit KTH Royal Institute of Technology Sweden
We study the evolution and impact of bloated dependencies in a single software ecosystem: java/Maven. Bloated dependencies are third-party libraries that are packaged in the application binary but are not needed to ru... 详细信息
来源: 评论
Design of University Grants Evaluation System Based on Big Data
Frontiers in Economics and Management
收藏 引用
Frontiers in Economics and Management 2020年 第3期1卷 16-33页
作者: Haoran Fu Lin Li
Poverty subsidy is a subsidy policy set up by national and local colleges and universities to help students with family difficulties. However, with the growth of population and the expansion of student groups, the tra... 详细信息
来源: 评论
Model-based, Platform-independent Logging for Heterogeneous Targets  22
Model-based, Platform-independent Logging for Heterogeneous ...
收藏 引用
22nd ACM/IEEE International Conference on Model Driven Engineering languages and Systems (MODELS)
作者: Morin, Brice Ferry, Nicolas SINTEF Digital Oslo Norway
A recurring issue in generative approaches, in particular if they generate code for multiple target languages, is logging. How to ensure that logging is performed consistently for all the supported languages? How to e... 详细信息
来源: 评论
A Repair: A Repair Framework for Alloy  19
A Repair: A Repair Framework for Alloy
收藏 引用
IEEE/ACM 41st International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP)
作者: Wang, Kaiyuan Sullivan, Allison Khurshid, Sarfraz Google Inc Mountain View CA 94043 USA North Carolina A&T State Univ Greensboro NC USA Univ Texas Austin Austin TX 78712 USA
Researchers have proposed many automated program repair techniques for imperative languages, e.g. java. However, little work has been done to repair programs written in declarative languages, e.g. Alloy. We proposed A... 详细信息
来源: 评论
SecureQualitas: A Security Corpus of Real java Applications
SecureQualitas: A Security Corpus of Real Java Applications
收藏 引用
International Conference on Cyber Security for Emerging Technologies (CSET)
作者: Benabidallah, Raounak Sadou, Salah Borne, Isabelle Univ Bretagne Sud IRISA Lorient France
The preventive approach of software security is the basis of what is referred to as secure by design. The principle is to avoid vulnerabilities as soon as the system is designed. Several research work are aimed to thi... 详细信息
来源: 评论
A type system for detecting non-terminating stream operations with java Stream API
Computer Software
收藏 引用
Computer Software 2020年 第2期37卷 59-75页
作者: Hasegawa, Kenta Kuwabara, Hiroaki Kunieda, Yoshitoshi Graduate School of Information Science and Engineering Ritsumeikan University Japan Center for Information and Communication Technology Nanzan University Japan College of Information Science and Engineering Ritsumeikan University Japan
In this paper, we propose a type system to detect non-terminating stream operations in java programs using Stream API. java Stream API makes it possible to write programs processing data collections in a declarative m... 详细信息
来源: 评论
Optimal Construction Facilities Location Selection for Linear Infrastructure Projects
Optimal Construction Facilities Location Selection for Linea...
收藏 引用
ASCE International Conference on Computing in Civil Engineering (i3CE)
作者: Mansour, Amr G. Eid, Mohamed S. Elbeltagi, Emad E. Arab Acad Sci Technol & Maritime Construct & Bldg Engn Cairo 11799 Egypt Mansoura Univ Dept Struct Engn Mansoura 35516 Egypt
Planning an efficient construction site layout increases safety and productivity of operations. As opposed to considering only confined construction sites, this paper optimizes site layout for linear infrastructure pr... 详细信息
来源: 评论
Spot the Learning: Heatmaps for Learning java  19
Spot the Learning: Heatmaps for Learning Java
收藏 引用
24th Western Canadian Conference on Computing Education (WCCCE)
作者: Wu, Leanne Univ Calgary Dept Comp Sci Calgary AB Canada
Heatmaps generated by student input can be used in an exercise to help students understand their progress in learning a new programming language.
来源: 评论
Automatic Verification of C and java Programs: SV-COMP 2019  25th
Automatic Verification of C and Java Programs: SV-COMP 2019
收藏 引用
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) held as part of the 22nd European Joint Conferences on Theory and Practice of Software (ETAPS)
作者: Beyer, Dirk Ludwig Maximilians Univ Munchen Munich Germany
This report describes the 2019 Competition on Software Verification (SV-COMP), the 8th edition of a series of comparative evaluations of fully automatic software verifiers for C programs, and now also for java program... 详细信息
来源: 评论