检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

1,513 篇 会议
110 篇 期刊文献
12 册 图书

馆藏范围

1,635 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

910 篇 工学
- 852 篇 计算机科学与技术...
- 773 篇 软件工程
- 76 篇 控制科学与工程
- 49 篇 信息与通信工程
- 48 篇 电气工程
- 17 篇 机械工程
- 16 篇 建筑学
- 15 篇 航空宇航科学与技...
- 12 篇 生物工程
- 11 篇 电子科学与技术（可...
- 9 篇 材料科学与工程（可...
- 7 篇 土木工程
- 7 篇 交通运输工程
- 5 篇 光学工程
- 5 篇 安全科学与工程
- 4 篇 仪器科学与技术
- 4 篇 化学工程与技术
- 4 篇 网络空间安全
174 篇 管理学
- 93 篇 图书情报与档案管...
- 89 篇 管理科学与工程(可...
- 38 篇 工商管理
158 篇 理学
- 106 篇 数学
- 21 篇 物理学
- 18 篇 系统科学
- 12 篇 生物学
- 8 篇 统计学（可授理学、...
- 5 篇 化学
- 3 篇 地质学
23 篇 教育学
- 23 篇 教育学
10 篇 法学
- 8 篇 社会学
4 篇 医学
2 篇 经济学
1 篇 文学
1 篇 农学

主题

391 篇 object oriented ...
294 篇 object oriented ...
126 篇 computer science
121 篇 computer languag...
116 篇 application soft...
86 篇 java
80 篇 software enginee...
75 篇 object oriented ...
68 篇 software systems
65 篇 computer archite...
59 篇 programming
54 篇 database systems
45 篇 programming prof...
45 篇 distributed comp...
44 篇 laboratories
42 篇 relational datab...
38 篇 database languag...
37 篇 prototypes
37 篇 data models
36 篇 control systems

机构

6 篇 department of co...
6 篇 massachusetts in...
6 篇 department of co...
5 篇 institute of inf...
5 篇 miles consulting
5 篇 ibm
5 篇 delft university...
5 篇 monash universit...
5 篇 irisa rennes
5 篇 letterkenny inst...
5 篇 tokyo institute ...
5 篇 tsinghua univ
4 篇 department of co...
4 篇 statoilhydro
4 篇 xi'an jiaotong u...
4 篇 business informa...
4 篇 state key labora...
4 篇 ibm haifa resear...
4 篇 sti university o...
4 篇 department of ed...

作者

7 篇 hazzan orit
6 篇 dubinsky yael
6 篇 visser eelco
6 篇 landre einar
6 篇 mezini mira
5 篇 berre arne jørge...
5 篇 de meuter wolfga...
5 篇 zeid amir
5 篇 korson tim
5 篇 d. watkins
5 篇 rinard martin
5 篇 d'hondt theo
5 篇 seidl martina
4 篇 ji wenyun
4 篇 erez petrank
4 篇 brosch petra
4 篇 chen ping
4 篇 skår lars arne
4 篇 moller anders
4 篇 gu guanqun

语言

1,628 篇 英文
7 篇 其他

检索条件"任意字段=Proceedings of the 1997 Conference on Technology of Object-Oriented Languages and Systems"

共 1635 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Research on object oriented Plan Management System modeling 18

Research on Object Oriented Plan Management System modeling

引用

18th IEEE conference on Industrial Electronics and Applications, ICIEA 2023

作者： Chang, Junjun Yang, Chao Xiao, Jin Southwest China Research Institute of Electronic Equipment Chengdu China Beihang University The State Key Lab of Virtual Reality Technology and Systems Beijing China

ISBN: (纸本)9798350312201

Under the background that the manufacturing industry is facing the digital transformation, the demand for business modeling is increasingly urgent. Only through business modeling can business processes, business rules and the authority and boundary of roles be sorted out, so as to solve the problem of "information island"among the information systems of various departments of the enterprise. There are many modeling languages/tools that can be applied to business modeling at home and abroad, including flowchart, Event-driven Process Chain(EPC), ICAM Definition languages(IDEF), Business Process Model and Notation(BPMN) and Unified Modeling Language(UML), etc. Each of these languages/tools has its own advantages and disadvantages. Business modeling under the background of digital transformation is not limited to the traditional "description"of business processes and business rules, but more to find a modeling method, starting from the needs of the organization, step by step to "develop"a business system in line with the expectations of the organization;However, at present, the academic and industrial research on this aspect is very little. Inspired by the history of software development methodology shifting from a process-oriented to an object-oriented method, this paper considers business modeling based on UML and object-oriented method. There are many object-oriented modeling methods. Through research, we find that HarmonySE method can be applied to business modeling to meet the needs of business modeling under the background of digital transformation. Then, it details how to model a plan management system based on UML and HarmonySE methodologies on Astah Professional, a UML modeling tool. Finally, the advantages of business modeling based on UML and HarmonySE are described. © 2023 IEEE.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

Defining Name Accessibility Using Scope Graphs 38

Defining Name Accessibility Using Scope Graphs

引用

38th European conference on object-oriented Programming, ECOOP 2024

作者： Zwaan, Aron Poulsen, Casper Bach Delft University of Technology Netherlands

ISBN: (纸本)9783959773416

Many programming languages allow programmers to regulate accessibility;i.e., annotating a declaration with keywords such as export and private to indicate where it can be accessed. Despite the importance of name accessibility for, e.g., compilers, editor auto-completion and tooling, and automated refactorings, few existing type systems provide a formal account of name accessibility. We present a declarative, executable, and language-parametric model for name accessibility, which provides a formal specification of name accessibility in Java, C#, C++, Rust, and Eiffel. We achieve this by defining name accessibility as a predicate on resolution paths through scope graphs. Since scope graphs are a language-independent model of name resolution, our model provides a uniform approach to defining different accessibility policies for different languages. Our model is implemented in Statix, a logic language for executable type system specification using scope graphs. We evaluate its correctness on a test suite that compares it with the C#, Java, and Rust compilers, and show we can synthesize access modifiers in programs with holes accurately. © Aron Zwaan and Casper Bach Poulsen

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

Iterative Glycan Structure Generation by Component Localization and Classification from Mass Spectra

Iterative Glycan Structure Generation by Component Localizat...

引用

2024 IEEE International conference on Bioinformatics and Biomedicine, BIBM 2024

作者： Li, Defeng Nie, Zizheng Liu, Yanmin Cai, Xiaojun Zhang, Yong Cui, Xuefeng Shandong University School of Computer Science and Technology Qingdao China Sichuan University West China Hospital Department of Nephrology Institutes for Systems Genetics Chengdu610041 China

ISBN: (纸本)9798350386226

Analyzing intact glycopeptides via mass spectrometry data elucidates the glycan composition and attachment sites, which are pivotal for investigating protein folding, stability, and function. GlycanFinder, an advanced technique, builds the glycan structure starting from the peptide (i.e., the root) and sequentially adds monosaccharide components (i.e., the leaves). However, its major limitation is the dependence on predefined rules with strong assumptions for leaf addition locations. To address this issue, we introduce MS2Glycan, a deep learning method for iteratively generating novel glycan structures from mass spectrometry data. It models component generation similarly to an object detection task, incorporating both localization and classification sub-tasks, and constructs the glycan structure component by component. MS2Glycan offers a key improvement over GlycanFinder by using a data-driven approach to predict component locations, rather than relying on predefined rules. By analyzing intact N-linked glycopeptides collected from five different mouse tissues, we assessed MS2Glycan through five-fold cross-validation, observing a notable enhancement in structural accuracy, which rose from 32% to 74%. Additionally, our findings indicate that our model more effectively mimics the principles of glycan structure construction and offers valuable insights into fully leveraging mass spectrometry data. The Python implementation can be accessed via the following link: https://***/xfcui/MS2Glycan. © 2024 IEEE.

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

VeriFx: Correct Replicated Data Types for the Masses 37

VeriFx: Correct Replicated Data Types for the Masses

引用

37th European conference on object-oriented Programming, ECOOP 2023

作者： De Porre, Kevin Ferreira, Carla Boix, Elisa Gonzalez Vrije Universiteit Brussel Belgium NOVA School of Science and Technology Caparica Portugal

ISBN: (纸本)9783959772815

Distributed systems adopt weak consistency to ensure high availability and low latency, but state convergence is hard to guarantee due to conflicts. Experts carefully design replicated data types (RDTs) that resemble sequential data types and embed conflict resolution mechanisms that ensure convergence. Designing RDTs is challenging as their correctness depends on subtleties such as the ordering of concurrent operations. Currently, researchers manually verify RDTs, either by paper proofs or using proof assistants. Unfortunately, paper proofs are subject to reasoning flaws and mechanized proofs verify a formalization instead of a real-world implementation. Furthermore, writing mechanized proofs is reserved for verification experts and is extremely time-consuming. To simplify the design, implementation, and verification of RDTs, we propose VeriFx, a specialized programming language for RDTs with automated proof capabilities. VeriFx lets programmers implement RDTs atop functional collections and express correctness properties that are verified automatically. Verified RDTs can be transpiled to mainstream languages (currently Scala and JavaScript). VeriFx provides libraries for implementing and verifying Conflict-free Replicated Data Types (CRDTs) and Operational Transformation (OT) functions. These libraries implement the general execution model of those approaches and define their correctness properties. We use the libraries to implement and verify an extensive portfolio of 51 CRDTs, 16 of which are used in industrial databases, and reproduce a study on the correctness of OT functions. © Kevin De Porre, Carla Ferreira, and Elisa Gonzalez Boix

关键词： Metadata

来源：评论

学校读者我要写书评

暂无评论

Synchron - An API and Runtime for Embedded systems 36

Synchron - An API and Runtime for Embedded Systems

引用

36th European conference on object-oriented Programming, ECOOP 2022

作者： Sarkar, Abhiroop Svensson, Bo Joel Sheeran, Mary Chalmers University of Technology Gothenburg Sweden

ISBN: (纸本)9783959772259

Programming embedded applications involves writing concurrent, event-driven and timing-aware programs. Traditionally, such programs are written in machine-oriented programming languages like C or Assembly. We present an alternative by introducing Synchron, an API that offers high-level abstractions to the programmer while supporting the low-level infrastructure in an associated runtime system and one-time-effort drivers. Embedded systems applications exhibit the general characteristics of being (i) concurrent, (ii) I/O-bound and (iii) timing-aware. To address each of these concerns, the Synchron API consists of three components - (1) a Concurrent ML (CML) inspired message-passing concurrency model, (2) a message-passing-based I/O interface that translates between low-level interrupt based and memory-mapped peripherals, and (3) a timing operator, syncT, that marries CML's sync operator with timing windows inspired from the TinyTimber kernel. We implement the Synchron API as the bytecode instructions of a virtual machine called SynchronVM. SynchronVM hosts a Caml-inspired functional language as its frontend language, and the backend of the VM supports the STM32F4 and NRF52 microcontrollers, with RAM in the order of hundreds of kilobytes. We illustrate the expressiveness of the Synchron API by showing examples of expressing state machines commonly found in embedded systems. The timing functionality is demonstrated through a music programming exercise. Finally, we provide benchmarks on the response time, jitter rates, memory, and power usage of the SynchronVM. © Abhiroop Sarkar, Bo Joel Svensson, and Mary Sheeran;licensed under Creative Commons License CC-BY 4.0

关键词： Virtual machine

来源：评论

学校读者我要写书评

暂无评论

Computer Supported Collaborative Learning for Programming: A Systematic Review 13

Computer Supported Collaborative Learning for Programming: A...

引用

13th International conference on Computer Supported Education (CSEDU)

作者： Sol, Ricardo Santos, Elci Alcione Reis, Manuel C. Pereira, Lucas ITI LARSyS Polo Cient & Tecnol Madeira Floor 2 P-9020105 Madeira Portugal Univ Madeira Fac Exact Sci & Engn Madeira Portugal Univ Tras Os Montes & Alto Douro Dept Engn Vila Real Portugal

ISBN: (纸本)9789897585029

The objective of this paper is to present the current evidence relative to the effectiveness of computer supported collaborative learning as a pedagogical tool in teaching programming. A systematic literature review in the IEEE Xplore, Web of Science, and ACM Digital Libraries was performed with studies that investigated factors affecting the effectiveness of computer supported collaborative learning for students learning programming and studies that measured the effectiveness of computer supported collaborative learning for students learning programming. Twelve papers were used in the analysis. The results showed that the object oriented programming languages are the ones that have been most frequently adopted by educators who use computer-supported collaborative learning as tools to teach programming, that course critique surveys and questionnaires are the most frequently reported methods used to assess the effectiveness of computer-supported collaborative learning interventions, and that the amount of participants who have taken part in research to evaluate the value of computer-supported collaborative learning in teaching programming varies notably between studies. Finally, in total, 83.3% of the included papers report that computer supported collaborative learning is an effective teaching tool and can help programmers in their studies.

关键词： Computer Supported Collaborative Learning Programming Educational technology Reviews

来源：评论

学校读者我要写书评

暂无评论

E-business bitpos-start up online cashier by using internet technology development 6

E-business bitpos-start up online cashier by using internet ...

引用

6th International conference on Information Management and technology, ICIMTech 2021

作者： Maryani Alianto, Hendra Bina Nusantara University School of Information Systems Information Systems Department Jakarta11480 Indonesia

ISBN: (纸本)9781665449373

The rate of technology adoption and online food ordering transactions in Indonesia is increasing over time. However, restaurant service practices, especially those in shopping centers, tend to rely on physical point-of-sale systems. This causes certain restaurants to lose leverage over balk and renege, as well as lowering the restaurant's reputation in the eyes of its customers. The writer has a note based on this phenomenon to solve the problem by using existing technology to create a POS product that combines digital POS with food ordering application named BIT. Methods that used in this research uses Porter's Five Forces Model, Lean Canvas, and smart PLS. For analysis and design, writer use object oriented Analysis and Design with Unified Modelling Language. The result of this research is BIT will be digital mediator between restaurant and their customer, so that the queueing and food ordering process can be done digitally and massively, also eliminating problems that exists in the use of traditional POS. © 2021 IEEE.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Towards generating software systems from legacy code: Gathering associations from smalltalk software 20

Towards generating software systems from legacy code: Gather...

引用

20th CIAO! Doctoral Consortium, and Enterprise Engineering Working conference Forum, CIAO!DC 2020

作者： Bliznicenko, Jan Pergl, Robert Faculty of Information Technology Czech Technical University in Prague Thakurova 9 Prague16000 Czech Republic

Generating programming code out of models is a useful approach towards maintainable software systems, yet legacy systems have often no models at all. There are multiple ways to partially automate or aid the process of generating models out of legacy code, yet there is one kind of object-oriented programming languages substantially harder to transform { dynamically typed languages. While statically typed languages enforce programmers to explicitly state the data types of various elements, dynamically typed languages do not, presenting significant difficulties when gathering associations between classes. This paper presents an ongoing effort towards dealing with gathering associations by combining various type inference techniques and tools and how the authors aim to use UML models as a transition form between origin and destination programming languages, producing UML models as useful byproducts. Pharo - Smalltalk-based dynamically typed programming language is used as a case study. © 2020 CEUR-WS. All rights reserved.

关键词： Reverse engineering

来源：评论

学校读者我要写书评

暂无评论

Signal classes: A mechanism for building synchronous and persistent signal networks 35

Signal classes: A mechanism for building synchronous and per...

引用

35th European conference on object-oriented Programming, ECOOP 2021

作者： Kamina, Tetsuo Aotani, Tomoyuki Masuhara, Hidehiko Oita University Japan Mamezou Co. Ltd. Tokyo Japan Tokyo Institute of Technology Japan

ISBN: (纸本)9783959771900

Signals are principal abstraction in reactive programming languages and constitute the basics of reactive computations in modern systems, such as the Internet of Things. Signals sometimes utilize past values, which leads to space leak, a problem where accumulated past values waste resources such as the main memory. Persistent signals, an abstraction for time-varying values with their execution histories, provide a generalized and standardized way of space leak management by leaving this management to the database system. However, the current design of persistent signals is very rudimental. For example, they cannot represent complex data structures;they can only be connected using pre-defined API methods that implicitly synchronize the persistent signal network;and they cannot be created dynamically. In this paper, we show that these problems are derived from more fundamental one: no language mechanism is provided to group related persistent signals. To address this problem, we propose a new language mechanism signal classes. A signal class packages a network of related persistent signals that comprises a complex data structure. A signal class defines the scope of synchronization, making it possible to flexibly create persistent signal networks by methods not limited to the use of pre-defined API methods. Furthermore, a signal class can be instantiated, and this instance forms a unit of lifecycle management, which enables the dynamic creation of persistent signals. We formalize signal classes as a small core language where the computation is deliberately defined to interact with the underlying database system using relational algebra. Based on this formalization, we prove the language's glitch freedom. We also formulate its type soundness by introducing an additional check of program well-formedness. This mechanism is implemented as a compiler and a runtime library that is based on a time-series database. The usefulness of the language is demonstrated through the veh

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

Prevalence of bad smells in C# projects 22

Prevalence of bad smells in C# projects

引用

22nd International conference on Enterprise Information systems, ICEIS 2020

作者： Sabóia, Amanda Lima Martins, Antônio Diogo Forte Melo, Cristiano Sousa Monteiro, José Maria de Souza, Cidcley Teixeira de Castro Machado, Javam Department of Computing Federal Institute of Ceará Fortaleza - Ceará Brazil Department of Computing Federal University of Ceará Fortaleza - Ceará Brazil

ISBN: (纸本)9789897584237

Bad smell can be defined as structures in code that suggest the possibility of refactoring. In object-oriented languages such as C# and Java, Bad Smells are heavily exploited as a way to avoid potential software failures. The presence of a high number of bad smells in a software project makes the system maintenance and evolution hard. So, identifying smells in code and refactoring them helps to improve and maintain software quality. Anti-patterns are considered inadequate programming practices, but not an error, they are bad solutions to recurring software problems. In this work, we propose an exploratory study on open source projects written in C# and published in GitHub. We empirically analyzed a total of 25 projects, studying the prevalence of Bad Smells, in a quantitatively and qualitatively manner, and their relationship in order to identify possible anti-patterns. Our results showed that implementation smells are the most common. Besides, some smells occur together, such as Missing Default and Unutilized Abstraction that are perfectly correlated, and ILS and IMN detected by association rules. Thus, the proposed study aims to assist software developers in avoiding future problems during the development of C# projects. Copyright © 2020 by SCITEPRESS – Science and technology Publications, Lda. All rights reserved

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共164页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：