咨询与建议

限定检索结果

文献类型

  • 60 篇 会议
  • 56 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 111 篇 工学
    • 85 篇 计算机科学与技术...
    • 54 篇 软件工程
    • 28 篇 电气工程
    • 9 篇 控制科学与工程
    • 4 篇 机械工程
    • 3 篇 信息与通信工程
    • 2 篇 电子科学与技术(可...
    • 1 篇 仪器科学与技术
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物工程
  • 20 篇 理学
    • 18 篇 数学
    • 2 篇 系统科学
    • 1 篇 生物学
  • 11 篇 管理学
    • 11 篇 管理科学与工程(可...
  • 2 篇 教育学
    • 1 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 1 篇 经济学
    • 1 篇 理论经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 117 篇 programming lang...
  • 16 篇 semantics
  • 13 篇 formal verificat...
  • 11 篇 formal specifica...
  • 9 篇 semiotics
  • 7 篇 denotational sem...
  • 7 篇 specification la...
  • 6 篇 rewriting logic
  • 6 篇 concurrency
  • 6 篇 formal specifica...
  • 5 篇 software archite...
  • 5 篇 syntax
  • 5 篇 program compiler...
  • 5 篇 functional progr...
  • 5 篇 unified modeling...
  • 4 篇 type theory
  • 4 篇 real-time system...
  • 4 篇 algebra
  • 4 篇 object-oriented ...
  • 4 篇 programming lang...

机构

  • 3 篇 swansea univ dep...
  • 2 篇 saab ab jarfalla
  • 2 篇 univ utrecht dep...
  • 2 篇 univ illinois ur...
  • 2 篇 alexandru ioan c...
  • 2 篇 kth royal inst t...
  • 2 篇 univ missouri co...
  • 2 篇 univ illinois de...
  • 1 篇 univ strathclyde...
  • 1 篇 nanyang technol ...
  • 1 篇 univ complutense...
  • 1 篇 caltech jet prop...
  • 1 篇 iit bhubaneshwar...
  • 1 篇 univ birmingham ...
  • 1 篇 cispa helmholz c...
  • 1 篇 oracle corp redw...
  • 1 篇 indian inst tech...
  • 1 篇 inria paris equi...
  • 1 篇 univ calif irvin...
  • 1 篇 east china norma...

作者

  • 4 篇 rosu grigore
  • 3 篇 mosses peter d.
  • 2 篇 hathhorn chris
  • 2 篇 guanciale robert...
  • 2 篇 lundberg didrik
  • 2 篇 bruza peter d.
  • 2 篇 alshnakat anoud
  • 2 篇 dam mads
  • 2 篇 meseguer jose
  • 2 篇 hills mark
  • 2 篇 ciobaca stefan
  • 1 篇 king andrew l.
  • 1 篇 hongwei sun
  • 1 篇 nummenmaa j.
  • 1 篇 wang y.
  • 1 篇 ramesh s.
  • 1 篇 simpson alex
  • 1 篇 granell carlos
  • 1 篇 erez mattan
  • 1 篇 dong jin song

语言

  • 106 篇 英文
  • 11 篇 其他
检索条件"主题词=PROGRAMMING language semantics"
117 条 记 录,以下是81-90 订阅
Integrating semantic and syntactic descriptions to chain geographic services
收藏 引用
IEEE INTERNET COMPUTING 2006年 第5期10卷 42-52页
作者: Lemmens, Rob Wytzisk, Andreas de By, Rolf Granell, Carlos Gould, Michael Univ Jaume 1 Castellon Spain Delft Univ Technol Delft Netherlands
Integrating multiple geographic services from different information communities and spatiolinguistic regions is challenging because of its inherent complexity and heterogeneity. A geographic information systems workfl... 详细信息
来源: 评论
Abstraction preservation and subtyping in distributed languages
收藏 引用
ACM SIGPLAN NOTICES 2006年 第9期41卷 286-297页
作者: Denielou, Pierre-Malo Leifer, James J. INRIA Rocquencourt France
In most programming languages, type abstraction is guaranteed by syntactic scoping in a single program, but is not preserved by marshalling during distributed communication. A solution is to generate hash types at com... 详细信息
来源: 评论
The formal semantics of the timeER model  06
The formal semantics of the timeER model
收藏 引用
Asia-Pacific Conference on Conceptual Modelling
作者: Heidi Gregersen Aarhus School of Business Aarhus V Denmark
A wide range of database applications manage information that varies over time. Many of the underlying database schemas of these were designed using one of the several versions of the Entity-Relationship (ER) model. I... 详细信息
来源: 评论
Formally specifying the syntax and semantics of a visual query language for the domain of high energy physics data analysis
Formally specifying the syntax and semantics of a visual que...
收藏 引用
IEEE Symposium on Visual languages and Human-Centric Computing
作者: Amaral, V Helmer, S Moerkotte, G Univ Nova Lisboa P-1200 Lisbon Portugal
Currently, physicists working in High Energy Physics experiments have to write their queries in general purpose programming languages using complex frameworks for accessing the data. This distracts them from their act... 详细信息
来源: 评论
An experimental study into the default reading of constraint diagrams
An experimental study into the default reading of constraint...
收藏 引用
IEEE Symposium on Visual languages and Human-Centric Computing
作者: Fish, A Masthoff, J Univ Brighton Brighton BN2 4AT E Sussex England
Constraint diagrams (Kent, 1997) are a complex diagrammatic notation designed to express logical statements especially for use in software specification and reasoning. Not surprisingly, since this is an expressive lan... 详细信息
来源: 评论
Transformation of UML state machines for direct execution
Transformation of UML state machines for direct execution
收藏 引用
IEEE Symposium on Visual languages and Human-Centric Computing
作者: Schattkowsky, T Müller, W Paderborn Univ C LAB Paderborn Germany
Executable UML models (ire nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In this context, the direct execution of... 详细信息
来源: 评论
Using objects of measurement to detect spreadsheet errors
Using objects of measurement to detect spreadsheet errors
收藏 引用
IEEE Symposium on Visual languages and Human-Centric Computing
作者: Coblenz, MJ Ko, AJ Myers, BA Carnegie Mellon Univ Sch Comp Sci Pittsburgh PA 15213 USA
There are many common spreadsheet errors that traditional spreadsheet systems do not help users find. This paper presents a statically-typed spreadsheet language that adds additional information about the objects that... 详细信息
来源: 评论
Kedama: A GUI-based interactive massively parallel particle programming system
Kedama: A GUI-based interactive massively parallel particle ...
收藏 引用
IEEE Symposium on Visual languages and Human-Centric Computing
作者: Ohshima, Y Twin Sun Inc El Segundo CA 90245 USA
Decentralized and complex systems can be powerful tools for modeling concepts in mathematics, science and engineering. StarLogo and NetLogo were the first systems to allow middle and high school children to build dyna... 详细信息
来源: 评论
A port ontology for conceptual design of systems
收藏 引用
JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING 2004年 第3期4卷 206-217页
作者: Liang, VC Paredis, CJJ Carnegie Mellon Univ Inst Complex Engineered Syst Pittsburgh PA 15213 USA Georgia Inst Technol George W Woodruff Sch Mech Engn Syst Realizat Lab Atlanta GA 30332 USA
During conceptual design of systems, the emphasis is on generating the system architecture: the configuration of sub-systems and the interactions between them. Ports, as locations of intended interaction, play an impo... 详细信息
来源: 评论
An XML-Based Schema Translation Method for Relational Data Sharing and Exchanging
An XML-Based Schema Translation Method for Relational Data S...
收藏 引用
The 8th International Conference on Computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)
作者: Shusheng Zhang Mingwei Wang Jingtao Zhou Hongwei Sun National Specialty Laboratory of CAD/CAM Northwestern Polytechnical UniversityXi'anChina710072 National Specialty Laboratory of CAD/CAM Northwestern Polytechnical UniversityXi'anChina710072
Representing the sharing and exchanging data withmachine-readable format allows cooperative taskautomation. In this paper we propose an XML Schemaand semantic based relational data translation approach,which aims at p... 详细信息
来源: 评论