咨询与建议

限定检索结果

文献类型

  • 103 篇 会议
  • 19 篇 期刊文献
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 93 篇 工学
    • 92 篇 计算机科学与技术...
    • 76 篇 软件工程
    • 4 篇 控制科学与工程
    • 3 篇 电气工程
    • 1 篇 仪器科学与技术
    • 1 篇 动力工程及工程热...
    • 1 篇 信息与通信工程
    • 1 篇 化学工程与技术
    • 1 篇 食品科学与工程(可...
    • 1 篇 安全科学与工程
  • 61 篇 理学
    • 57 篇 数学
    • 3 篇 系统科学
    • 2 篇 生物学
    • 1 篇 物理学
    • 1 篇 化学
  • 3 篇 医学
    • 1 篇 基础医学(可授医学...
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 22 篇 logic programmin...
  • 17 篇 answer set progr...
  • 9 篇 semantics
  • 6 篇 logic
  • 6 篇 computer languag...
  • 5 篇 programming
  • 5 篇 inductive logic ...
  • 4 篇 program transfor...
  • 4 篇 java
  • 4 篇 distributed comp...
  • 4 篇 artificial intel...
  • 3 篇 software systems
  • 3 篇 programming prof...
  • 3 篇 software enginee...
  • 3 篇 electronic mail
  • 3 篇 parallel program...
  • 3 篇 stable models
  • 3 篇 visualization
  • 3 篇 machine learning
  • 3 篇 verification

机构

  • 4 篇 imdea software i...
  • 2 篇 alan turing inst...
  • 2 篇 roskilde univ ro...
  • 2 篇 univ melbourne d...
  • 2 篇 univ piemonte or...
  • 2 篇 univ nova lisboa...
  • 2 篇 dept informat p-...
  • 2 篇 spanish council ...
  • 2 篇 katholieke univ ...
  • 2 篇 kobe univ nada k...
  • 2 篇 university of ox...
  • 2 篇 abb research lad...
  • 2 篇 sabanci univ fac...
  • 2 篇 univ alberta edm...
  • 2 篇 abb research ban...
  • 2 篇 univ potsdam d-1...
  • 2 篇 res org informat...
  • 2 篇 macquarie univ d...
  • 2 篇 univ so calif de...
  • 2 篇 suny stony brook...

作者

  • 4 篇 stuckey peter j.
  • 3 篇 bartholomew mich...
  • 3 篇 schaub torsten
  • 3 篇 hermenegildo man...
  • 3 篇 zhang yan
  • 3 篇 balduccini marce...
  • 3 篇 erdem esra
  • 3 篇 chu geoffrey
  • 3 篇 aziz rehan abdul
  • 3 篇 morales jose f.
  • 3 篇 lee joohyung
  • 3 篇 inoue katsumi
  • 2 篇 uras tansel
  • 2 篇 giordano laura
  • 2 篇 dumancic sebasti...
  • 2 篇 soh takehide
  • 2 篇 maher michael j.
  • 2 篇 spiotta matteo
  • 2 篇 jorissen albert
  • 2 篇 janssens gerda

语言

  • 125 篇 英文
  • 1 篇 中文
检索条件"任意字段=29th International Conference on Inductive Logic Programming"
126 条 记 录,以下是121-130 订阅
排序:
A specification construction unit-based editor for Z
A specification construction unit-based editor for Z
收藏 引用
IEEE Annual international Computer Software and Applications conference (COMPSAC)
作者: H. Ishikawa Department of Information Processing Engineering Fukuyama University Hiroshima Japan
this paper proposes a formal specification supporting tool. It is designed on the basis of the specification reusability and the convenience to construct specification repository. the tool, called ZEditor, is designed... 详细信息
来源: 评论
Overview and Evaluation of Constraint Validation Approaches in Java
Overview and Evaluation of Constraint Validation Approaches ...
收藏 引用
international conference on Software Engineering (ICSE)
作者: Lorenz Froihofer Gerhard Glos Johannes Osrael Karl M. Goeschka Institute of Information Systems University of Technology Vienna Vienna Austria
Integrity is a dependability attribute partially ensured through runtime validation of integrity constraints. A wide range of different constraint validation approaches exists-ranging from simple if conditions over ex... 详细信息
来源: 评论
Automated Control logic Test Case Generation using Large Language Models
Automated Control Logic Test Case Generation using Large Lan...
收藏 引用
international conference on Emerging Technologies and Factory Automation (ETFA)
作者: Heiko Koziolek Virendra Ashiwal Soumyadip Bandyopadhyay Chandrika K R ABB Research Ladenburg Germany ABB Research Bangalore India
Testing PLC and DCS control logic in industrial automation is laborious and challenging since appropriate test cases are often complex and difficult to formulate. Researchers have previously proposed several automated... 详细信息
来源: 评论
Comparison of block-based and hybrid-based environments in transferring programming skills to text-based environments  19
Comparison of block-based and hybrid-based environments in t...
收藏 引用
Proceedings of the 29th Annual international conference on Computer Science and Software Engineering
作者: Hussein Alrubaye Stephanie Ludi Mohamed Wiem Mkaouer Rochester Institute of Technology University of North Texas
Teachers face several challenges when presenting fundamental concepts of programming in the classroom. Several tools are introduced to give a visual dimension to support the learning process. they rely on code blocks,... 详细信息
来源: 评论
Deodorant for Shotgun Surgery Bad Smell in IEC 61499-Based Control Software
Deodorant for Shotgun Surgery Bad Smell in IEC 61499-Based C...
收藏 引用
international conference on Emerging Technologies and Factory Automation (ETFA)
作者: Dunja Životin Lisa Sonnleithner Alois Zoitl CDL VaSiCS LIT CPS Lab Johannes Kepler University Linz Austria
Bad smells negatively influence different aspects of software, such as maintainability and quality. From development to maintenance, smells contribute to error-proneness and control software is no exception. Code smel... 详细信息
来源: 评论
READ-based In-Memory Computing using Sentential Decision Diagrams
READ-based In-Memory Computing using Sentential Decision Dia...
收藏 引用
Asia and South Pacific Design Automation conference
作者: Sven thijssen Muhammad Rashedul Haq Rashed Sumit Kumar Jha Rickard Ewetz Department of Computer Science University of Central Florida Orlando USA Department of Electrical and Computer Engineering University of Central Florida Orlando USA Computer Science Department Florida International University Miami USA
Processing-in-memory (PIM) has the potential to unleash unprecedented computing capabilities. While most in-memory computing paradigms rely on repeatedly programming the non-volatile memory devices, recent computing p...
来源: 评论