咨询与建议

限定检索结果

文献类型

  • 12,489 篇 会议
  • 95 册 图书

馆藏范围

  • 12,582 篇 电子文献
  • 8 种 纸本馆藏

日期分布

学科分类号

  • 4,941 篇 工学
    • 4,393 篇 软件工程
    • 3,193 篇 计算机科学与技术...
    • 975 篇 电气工程
    • 362 篇 控制科学与工程
    • 79 篇 信息与通信工程
    • 39 篇 电子科学与技术(可...
    • 21 篇 机械工程
    • 17 篇 材料科学与工程(可...
    • 12 篇 仪器科学与技术
    • 11 篇 交通运输工程
    • 11 篇 生物工程
    • 8 篇 安全科学与工程
    • 7 篇 网络空间安全
    • 6 篇 生物医学工程(可授...
    • 5 篇 建筑学
    • 4 篇 光学工程
    • 4 篇 动力工程及工程热...
  • 218 篇 管理学
    • 200 篇 管理科学与工程(可...
    • 29 篇 工商管理
    • 23 篇 图书情报与档案管...
  • 102 篇 理学
    • 66 篇 数学
    • 19 篇 系统科学
    • 16 篇 生物学
    • 14 篇 物理学
    • 9 篇 统计学(可授理学、...
  • 63 篇 教育学
    • 63 篇 教育学
  • 35 篇 医学
    • 33 篇 临床医学
    • 6 篇 基础医学(可授医学...
  • 19 篇 法学
    • 18 篇 社会学
  • 9 篇 经济学
    • 9 篇 应用经济学
  • 4 篇 农学
  • 1 篇 文学
  • 1 篇 军事学

主题

  • 1,888 篇 software enginee...
  • 1,733 篇 software tools
  • 1,517 篇 tools
  • 1,503 篇 software
  • 1,252 篇 application soft...
  • 1,085 篇 programming
  • 1,018 篇 computer science
  • 1,011 篇 software systems
  • 801 篇 java
  • 777 篇 computer archite...
  • 644 篇 software testing
  • 639 篇 testing
  • 583 篇 software mainten...
  • 473 篇 object oriented ...
  • 447 篇 software quality
  • 421 篇 computer bugs
  • 402 篇 unified modeling...
  • 382 篇 data mining
  • 381 篇 conferences
  • 373 篇 programming prof...

机构

  • 35 篇 delft univ techn...
  • 28 篇 nanjing univ sta...
  • 25 篇 state key labora...
  • 24 篇 univ chinese aca...
  • 23 篇 chinese acad sci...
  • 22 篇 software enginee...
  • 21 篇 delft university...
  • 21 篇 school of inform...
  • 21 篇 univ british col...
  • 19 篇 microsoft res re...
  • 19 篇 university of ch...
  • 19 篇 carnegie mellon ...
  • 18 篇 department of co...
  • 18 篇 natl univ singap...
  • 17 篇 university of wa...
  • 16 篇 department of in...
  • 16 篇 univ saskatchewa...
  • 16 篇 univ passau pass...
  • 16 篇 carnegie mellon ...
  • 16 篇 univ texas austi...

作者

  • 30 篇 li li
  • 29 篇 roy chanchal k.
  • 27 篇 david lo
  • 22 篇 michele lanza
  • 21 篇 chanchal k. roy
  • 21 篇 fraser gordon
  • 21 篇 lo david
  • 20 篇 gordon fraser
  • 19 篇 lanza michele
  • 18 篇 liu yang
  • 18 篇 xie tao
  • 17 篇 tao xie
  • 17 篇 john grundy
  • 16 篇 palomba fabio
  • 15 篇 wang chong-jun
  • 15 篇 denys poshyvanyk
  • 15 篇 bavota gabriele
  • 14 篇 le traon yves
  • 14 篇 alexander serebr...
  • 14 篇 filippo lanubile

语言

  • 12,526 篇 英文
  • 53 篇 中文
  • 4 篇 西班牙文
  • 1 篇 德文
检索条件"丛书名=Software, Environments, and Tools"
12584 条 记 录,以下是1-10 订阅
排序:
PowerJoular and JoularJX: Multi-Platform software Power Monitoring tools  18
PowerJoular and JoularJX: Multi-Platform Software Power Moni...
收藏 引用
18th International Conference on Intelligent environments (IE)
作者: Noureddine, Adel Univ Pau & Pays Adour E2S UPPA LIUPPA Anglet France
Monitoring the power consumption of applications and source code is an important step in writing green software. In this paper, we propose PowerJoular and JoularJX, our software power monitoring tools. We aim to help ... 详细信息
来源: 评论
Using Generative Artificial Intelligence tools in software Engineering Courses  36
Using Generative Artificial Intelligence Tools in Software E...
收藏 引用
36th International Conference on software Engineering Education and Training (CSEE and T)
作者: Datta, Soma Univ Houston Clear Lake Dept Engn Houston TX 77058 USA
This pilot study focuses on allowing students to use generative Artificial intelligence (AI) tools for their learning and assignments. Therefore, the study looks to improve the assignments to assess their learning. St... 详细信息
来源: 评论
University Students' Perception and Expectations of Generative AI tools for software Engineering  36
University Students' Perception and Expectations of Generati...
收藏 引用
36th International Conference on software Engineering Education and Training (CSEE and T)
作者: Yabaku, Mounika Ouhbi, Sofia Uppsala Univ Dept Informat Technol Uppsala Sweden
Adopting Generative Artificial Intelligence (AI) tools in software engineering represents a shift in how tasks like coding and idea generation are approached. This paper investigates university students' perceptio... 详细信息
来源: 评论
Make Your tools Sparkle with Trust: The PICSE Framework for Trust in software tools  23
Make Your Tools Sparkle with Trust: The PICSE Framework for ...
收藏 引用
IEEE/ACM 45th International Conference on software Engineering - software Engineering in Practice (ICSE-SEIP)
作者: Johnson, Brittany Bird, Christian Ford, Denae Forsgren, Nicole Zimmermann, Thomas George Mason Univ Fairfax VA 22030 USA Microsoft Res Washington DC USA
The day to day of a software engineer involves a variety of tasks. While many of these tasks are collaborative and completed as such, it is not always possible or feasible to engage with other engineers for task compl... 详细信息
来源: 评论
Sibyl: Improving software Engineering tools with SMT Selection  23
Sibyl: Improving Software Engineering Tools with SMT Selecti...
收藏 引用
45th IEEE/ACM International Conference on software Engineering (ICSE)
作者: Leeson, Will Dwyer, Matthew B. Filieri, Antonio Univ Virginia Dept Comp Sci Charlottesville VA 22904 USA Imperial Coll London Dept Comp London England
SMT solvers are often used in the back end of different software engineering tools-e.g., program verifiers, test generators, or program synthesizers. There are a plethora of algorithmic techniques for solving SMT quer... 详细信息
来源: 评论
PETSc for Partial Differential Equations: Numerical Solutions in C and Python
收藏 引用
丛书名: software, environments, and tools
2020年
作者: Ed Bueler
The Portable, Extensible Toolkit for Scientific Computation (PETSc) is an open-source library of advanced data structures and methods for solving linear and nonlinear equations and for managing discretizations. This b... 详细信息
来源: 评论
A software Repository for Gaussian Quadratures and Christoffel Functions
收藏 引用
丛书名: software, environments, and tools
2020年
作者: Walter Gautschi
This companion piece to the author's 2018 book, A software Repository for Orthogonal Polynomials, focuses on Gaussian quadrature and the related Christoffel function. The book makes Gauss quadrature rules of any o... 详细信息
来源: 评论
Exploring potential implications of intelligent tools for human aspects of software engineering  17
Exploring potential implications of intelligent tools for hu...
收藏 引用
17th IEEE/ACM International Conference on Cooperative and Human Aspects of software Engineering (CHASE)
作者: Melegati, Jorge Nascimento, Nicolas Chanin, Rafael Sales, Afonso Wiese, Igor Free Univ Bozen Bolzano Bolzano Italy Pontificia Univ Catolica Rio Grande do Sul Porto Alegre RS Brazil Fed Univ Technol Parana UTFPR Campo Mourao Brazil
Background. The emergence of tools based on artificial intelligence (AI) to support software development suggests an overhaul on how developers program and interact among themselves. This disruption might bring challe... 详细信息
来源: 评论
Factors Influencing the Performance of Students in software Automated Test tools Course
Factors Influencing the Performance of Students in Software ...
收藏 引用
17th IEEE International Conference on software Testing, Verification, and Validation (ICST)
作者: Haldar, Susmita Pierce, Mary Capretz, Luiz Fernando Fanshawe Coll Sch Informat Technol London ON Canada Fanshawe Coll Fac Business Info Technol & Pt Studies London ON Canada Western Univ Dept Elect & Comp Engn London ON Canada
Formal software testing education is important for building efficient QA professionals. Various aspects of quality assurance approaches are usually covered in courses for training software testing students. Automated ... 详细信息
来源: 评论
Memory and Schema in Human-Generative Artificial Intelligence Interactions  36
Memory and Schema in Human-Generative Artificial Intelligenc...
收藏 引用
36th International Conference on tools with Artificial Intelligence
作者: Panagoulias, Dimitrios P. Papatheodosiou, Persephone Bonakis, Anastasios Dikeos, Dimitrios Virvou, Maria Tsihrintzis, George A. Univ Piraeus Dept Informat Piraeus 18534 Greece Natl & Kapodistrian Univ Athens Sleep Res Unit Dept Psychiat Athens 12462 Greece Natl & Kapodistrian Univ Athens Dept Neurol 2 Athens 12462 Greece Univ Piraeus Lab Software Engn Dept Informat Piraeus 18534 Greece Univ Piraeus Dept Informat Lab Pattern Recognit & Machine Learning Multimed Piraeus 18534 Greece
In this paper, we explore memory and Schema through the lens of mathematical representation. By defining themes related to cognitive processes, we propose a compression algorithm that measures and retains important in... 详细信息
来源: 评论