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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

97 篇 会议
3 册 图书

馆藏范围

100 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

51 篇 工学
- 45 篇 计算机科学与技术...
- 40 篇 软件工程
- 5 篇 信息与通信工程
- 5 篇 控制科学与工程
- 3 篇 网络空间安全
- 2 篇 电气工程
- 2 篇 建筑学
- 2 篇 石油与天然气工程
- 2 篇 轻工技术与工程
- 1 篇 机械工程
- 1 篇 仪器科学与技术
- 1 篇 动力工程及工程热...
- 1 篇 电子科学与技术（可...
- 1 篇 土木工程
- 1 篇 测绘科学与技术
- 1 篇 化学工程与技术
- 1 篇 航空宇航科学与技...
- 1 篇 环境科学与工程（可...
12 篇 理学
- 9 篇 数学
- 2 篇 化学
- 2 篇 统计学（可授理学、...
- 1 篇 物理学
- 1 篇 生物学
5 篇 管理学
- 3 篇 管理科学与工程(可...
- 2 篇 图书情报与档案管...
2 篇 法学
- 2 篇 社会学
2 篇 教育学
- 2 篇 教育学
2 篇 医学
- 2 篇 临床医学
1 篇 文学
- 1 篇 中国语言文学
- 1 篇 外国语言文学

主题

8 篇 computer science
8 篇 pattern language
6 篇 software enginee...
5 篇 formal languages
5 篇 computer languag...
5 篇 semantics
5 篇 application prog...
5 篇 specification la...
4 篇 patterns
4 篇 blockchain
4 篇 computer program...
3 篇 programming prof...
3 篇 object oriented ...
3 篇 debugging
3 篇 permission
3 篇 software design
3 篇 logics and meani...
2 篇 educational prog...
2 篇 programming
2 篇 architecture

机构

4 篇 faculty of polic...
2 篇 institute of inf...
2 篇 school of comput...
2 篇 institute of inf...
2 篇 eötvös loránd un...
2 篇 data61 csiro
2 篇 fom university o...
2 篇 florida atlantic...
2 篇 fraunhofer insti...
2 篇 music creation m...
2 篇 keio research in...
2 篇 keio university
2 篇 keio university ...
2 篇 graduate school ...
1 篇 cs dept. winona ...
1 篇 keio futsubu sch...
1 篇 vocational high ...
1 篇 univ politecn ca...
1 篇 keio university ...
1 篇 systems and comp...

作者

9 篇 takashi iba
2 篇 sunye gerson
2 篇 eduardo b. ferna...
2 篇 enet josselin
2 篇 valentino vranić
2 篇 iba takashi
2 篇 vranic valentino
2 篇 joseph w. yoder
1 篇 dutta saikat
1 篇 aoi imai
1 篇 imai aoi
1 篇 yuki kawabe
1 篇 maria luisa lamb...
1 篇 a.k.c. lee
1 篇 gildea daniel
1 篇 lu qinghua
1 篇 reiners rene
1 篇 d.c. rajapakse
1 篇 cho cheng-hsiu
1 篇 gerassimos barla...

语言

100 篇 英文

检索条件"任意字段=Proceedings of the 27th Conference on Pattern Languages of Programs"

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

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

详细简洁

排序：

proceedings of the 27th European conference on pattern languages of programs 2022, EuroPLoP 2022

Proceedings of the 27th European Conference on Pattern Langu...

引用

2022 27th European conference on pattern languages of programs, EuroPLoP 2022

ISBN: (纸本)9781450395946

the proceedings contain 31 papers. the topics discussed include: proactive monitoring design patterns for cloud-native applications;service mesh patterns;patterns of agile coach roles;designing interfaces for multilingual users: a pattern language;process anti-pattern detection – a case study;injection testing backed refactoring;seamless upgrade: upgrade functions executing on a control system;class design for junior high school students using pattern language: a case study of the practice at Nichihara Junior High School;patterns for the advanced design of programming exercises supported by technology-enhanced assessment systems;challenges and requirements in hybrid written exams settings;from classroom to online education – an educators insights;and evolving pattern candidates for setting up educational online seminars - findings from the COVID-19 pandemic.

关键词：

来源：评论

学校读者我要写书评

暂无评论

27th International Symposium on Practical Aspects of Declarative languages, PADL 2025

27th International Symposium on Practical Aspects of Declara...

引用

27th International Symposium on Practical Aspects of Declarative languages, PADL 2025

ISBN: (纸本)9783031849237

the proceedings contain 15 papers. the special focus in this conference is on Practical Aspects of Declarative languages. the topics include: the Scenic Route to Deforestation: An Exercise in Applying Parametricity in Curry;MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs;SM-Based Semantics for Answer Set programs Containing Conditional Literals and Arithmetic;a Practical Approach to Handling Tabular Data in Logic;automated Playing of Survival Video Games with Commonsense Reasoning;checking Concurrency Coding Rules;A Weighted Bipolar Argumentation Framework and Its ASP-Based Implementation;haskell Based Spreadsheets;Leveraging LLM Reasoning with Dual Horn programs;ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia;Enhancing a Hierarchical Graph Rewriting Language Based on MELL Cut Elimination;c3G: Causally Constrained Counterfactual Generation;exploring Answer Set Programming for Provenance Graph-Based Cyber threat Detection: A Novel Approach.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Work Well-Being patterns: A pattern Language for Collective Well-Being at Work 23

Work Well-Being Patterns: A Pattern Language for Collective ...

引用

proceedings of the 30th conference on pattern languages of programs

作者： Erika Inoue Kazuki Hioki An Hikino Yutaka Otsuka Tatsuo Hidaka Masatada Kobayashi Takashi Iba Keio University Fujisawa Kanagawa Japan Rakuten Group Tokyo Japan

ISBN: (纸本)9781941652190

this paper presents an overview of the Work Well-Being patterns and the full descriptions of six of them. Work Well-Being patterns is a set of 27 patterns of practice that enable workers to continue working in a state of well-being while achieving results. this pattern language was created based on interviews with 20 employees of Rakuten Group, Inc., a continually growing company at the forefront of promoting well-being. the results revealed key factors for sustaining well-being while achieving results: taking control of your own work, maintaining your mind and body, and enriching the world around you. the pattern language is organized into three categories, each corresponding to one of these aspects of well-being, with nine patterns per category. this paper introduces six patterns, two from each category: Purpose of Work, Focus Management, Small Wrap-Up Party, Signs of Fatigue, Support for Understanding, and Continuous Updating.

关键词： pattern language

来源：评论

学校读者我要写书评

暂无评论

Start-Up patterns: A pattern Language for Developing Enterprise to Create the Future 21

Start-Up Patterns: A Pattern Language for Developing Enterpr...

引用

proceedings of the 28th conference on pattern languages of programs

作者： Yuki Kawabe Takashi Iba Yuya Oka Kotaro Chiba Graduate School of Media and Governance Keio University Faculty of Policy Management Keio University Chiba Dojo

ISBN: (纸本)9781941652176

this paper presents the Start-up patterns for supporting start-up entrepreneurs who struggle through many difficulties and attempt to achieve a fascinating future. this pattern language covers establishing powerful vision, recruiting members, inventing unique products with cutting edge technology, developing scalable businesses, motivating members and entrepreneurs themselves, fund-raising, creating a healthy organization, and growing as an entrepreneur. We conducted a mining dialogue with 16 Japanese start-up CEOs to create this pattern language in this research. these companies belong to a start-up community called Chiba Dojo, where more than 80 companies are participating. Despite the fact most of the start-up companies fail within several years, none of the participating companies have gone out of business. In addition, the companies are from a variety of business domains and business models. this pattern language consists of three categories: UNPARALLELED STRENGth, ACTUALIZING WIth SPEED and INCESSANT GROWth, and each category has nine patterns, for a total of 27 patterns. this paper covers six patterns from the UNPARALLELED STRENGth category: Catch the Star, My Strengths, Increase Clarity, With Different Experts, Rough Basics, External Collaborators.

关键词： entrepreneurship

来源：评论

学校读者我要写书评

暂无评论

Cross-IDE remote debugging of model management programs through the Debug Adapter Protocol 24

Cross-IDE remote debugging of model management programs thro...

引用

ACM/IEEE 27th International conference on Model Driven Engineering languages and Systems: Companion proceedings (MODELS)

作者： Garcia-Dominguez, Antonio Kolovos, Dimitris Univ York York N Yorkshire England

ISBN: (纸本)9798400706226

Eclipse Epsilon is an open-source family of model management languages and tools, which has seen significant use in industry and academia. Epsilon programs have been used in a variety of scenarios, from being simply run in the Eclipse IDE, to being embedded in Eclipse plugins, Java programs, web services, Ant workflows, and Gradle build scripts. When one of these embedded Epsilon programs showed unexpected behaviour, debugging it required running it from the Eclipse IDE: reproducing the behaviour was complicated if it also required recreating a complex environment. Likewise, users asked for supporting debugging from other IDEs beside Eclipse, as its market share has dropped in the last years. In this demo, we will show a new feature in Epsilon 2.6 which allows for remote debugging of Epsilon programs in a broader range of scenarios, using the Microsoft Debug Adapter Protocol. We will also demonstrate how this remote debugging support can be reused from other IDEs (specifically, Microsoft Visual Studio Code), with minimal effort compared to re-implementing a dedicated debugger.

关键词： Remote debugging Debug Adapter Protocol Eclipse Visual Studio Code Epsilon model management languages

来源：评论

学校读者我要写书评

暂无评论

Language Protocols for Domain-Specific Debugging 24

Language Protocols for Domain-Specific Debugging

引用

ACM/IEEE 27th International conference on Model Driven Engineering languages and Systems: Companion proceedings (MODELS)

作者： Enet, Josselin Nantes Univ Ecole Cent Nantes CNRS UMR 6004LS2N Nantes France

ISBN: (纸本)9798400706226

Interactive debuggers are valuable tools to localize defects within programs, but are costly to implement. We argue that existing solutions to generate or configure debuggers for DSLs are not fully satisfying. In this work, we present a novel debugging architecture tailored for the debugging of heterogeneous DSLs, while limiting the effort required from language engineers. this approach enables the use of domain-specific debugging operations, such as breakpoint types and step types. Our architecture relies on language protocols, including a reinterpretation of DAP for the integration of a configurable domain-specific debugger within existing IDEs.

关键词： Domain-specific languages Debugging Language tooling

来源：评论

学校读者我要写书评

暂无评论

Transitions in programming models

Transitions in programming models

引用

27th International conference on Software Engineering (ICSE 2005)

作者： Cardelli, L Microsoft Res Cambridge England

the future of programming languages is not what it used to be. From the 50's to the 90's, richer, more flexible, and more robust structures were imposed on raw computation. Generally, new models of data and control managed to subsume older ones. But now, as programs and applications expand beyond a single local network and a single administrative domain, the very nature of data and control changes, and many long-lasting conceptual invariants are disrupted. We discuss three of these disruptive changes, which seem to be happening all at the same time, and for related reasons: asynchronous concurrency, semistructured data, and (in much less detail) security abstractions. We outline research project that address issues in those areas, mostly as examples of much larger territories yet to explore.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

IMP-Logics: a metamodel for analysis and transformations of Datalog programs 24

IMP-Logics: a metamodel for analysis and transformations of ...

引用

ACM/IEEE 27th International conference on Model Driven Engineering languages and Systems: Companion proceedings (MODELS)

作者： Francisco Crespo, Jose Juanola, Marti Oriol, Xavier Recalde, Marti Teniente, Ernest Univ Politecn Cataluna Barcelona Spain

ISBN: (纸本)9798400706226

Datalog is a logic-based query-language used for knowledge representation and reasoning. through the years, the literature has defined highly valuable algorithms, desirable properties, and useful transformations for this language and its extensions (e.g. Datalog(+/-)). However, few to none tools facilitate the implementation of such results, making the existence of mature Datalog-based tools scarce. this demonstration presents IMP-Logics, a Java library that offers a metamodel for Datalog and its extensions Datalog(+/-) that will allow researchers to easily implement the algorithms and demonstrations of the properties and transformations the community is working on.

关键词： Datalog Datalog(+/-) dependencies metamodel

来源：评论

学校读者我要写书评

暂无评论

proceedings: MODELS 2024 - ACM/IEEE 27th International conference on Model Driven Engineering languages and Systems: Companion proceedings

Proceedings: MODELS 2024 - ACM/IEEE 27th International Confe...

引用

27th International conference on Model Driven Engineering languages and Systems, MODELS Companion 2024

ISBN: (纸本)9798400706226

the proceedings contain 156 papers. the topics discussed include: space system modeling approach for exploring of the iced-covered Ganymede moon subsurface oceans;M2AR: a web-based modeling environment for the augmented reality workflow 1–5 modeling language;Nautilus: implementation of an evolution approach for graph databases;Cross-IDE remote debugging of model management programs through the debug adapter protocol;enhancing model management with automated REST API generation;keeping clients' models up-to-date with Edelta;IMP-Logics: a metamodel for analysis and transformations of datalog programs;modelling tool extension for vulnerability management;concretize: a model-driven tool for scenario-based autonomous vehicle testing;and CertGraph: towards a comprehensive knowledge graph for cloud security certifications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

dpDebugger: a Domain-Parametric Debugger for DSLs Using DAP and Language Protocols 24

dpDebugger: a Domain-Parametric Debugger for DSLs Using DAP ...

引用

ACM/IEEE 27th International conference on Model Driven Engineering languages and Systems: Companion proceedings (MODELS)

作者： Enet, Josselin Bousse, Erwan Tisi, Massimo Sunye, Gerson Nantes Univ Ecole Cent Nantes IMT Atlantique LS2NCNRSUMR 6004 Nantes France

ISBN: (纸本)9798400706226

Interactive debuggers are established tools used by developers to understand programs and localize faults. they are equally valuable in the context of model-driven development, when working on executable behavioral models. However, development costs of interactive debuggers for Domain-Specific languages (DSLs) can be significant. In order to mitigate these costs, several reusable DSL-agnostic debugging solutions have been proposed. We argue that the applicability of these solutions is limited by being tied to a fixed set of debugging services, a specific language engineering approach, or a particular user interface. In this paper, we present dpDebugger, a domain-parametric debugger capable of controlling the execution of a program and providing domain-specific debugging operations (such as breakpoints and steps) for heterogeneous DSL runtimes. the debugger relies on a language protocol to communicate with and be configured by heterogeneous DSL runtimes, while also enabling the debugging of DSLs with non-deterministic execution semantics. the proposed debugger can itself be controlled using a reinterpretation of the Debug Adapter Protocol (DAP), for an effortless integration in existing Integrated Development Environments (IDEs) that support it.

关键词： Domain-specific languages Debugging Language tooling

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：