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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

235 篇 会议
21 篇 期刊文献
7 册 图书

馆藏范围

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

日期分布

学科分类号

211 篇 工学
- 179 篇 软件工程
- 168 篇 计算机科学与技术...
- 18 篇 信息与通信工程
- 18 篇 控制科学与工程
- 15 篇 电气工程
- 5 篇 机械工程
- 4 篇 仪器科学与技术
- 4 篇 电子科学与技术（可...
- 3 篇 光学工程
- 3 篇 石油与天然气工程
- 3 篇 生物医学工程（可授...
- 3 篇 生物工程
- 2 篇 材料科学与工程（可...
- 2 篇 交通运输工程
- 2 篇 农业工程
- 2 篇 安全科学与工程
- 2 篇 网络空间安全
51 篇 理学
- 39 篇 数学
- 10 篇 统计学（可授理学、...
- 7 篇 系统科学
- 5 篇 物理学
- 5 篇 生物学
- 2 篇 化学
- 2 篇 大气科学
40 篇 管理学
- 22 篇 管理科学与工程(可...
- 20 篇 图书情报与档案管...
- 13 篇 工商管理
4 篇 经济学
- 4 篇 应用经济学
4 篇 教育学
- 4 篇 教育学
2 篇 农学
- 2 篇 作物学
1 篇 法学
1 篇 艺术学

主题

20 篇 design
19 篇 languages
19 篇 software enginee...
13 篇 computer program...
11 篇 computer program...
9 篇 object oriented ...
9 篇 algorithms
8 篇 java programming...
7 篇 feature-oriented...
7 篇 performance
7 篇 programming
7 篇 generic programm...
7 篇 programming tech...
7 篇 generative ai
7 篇 principal compon...
7 篇 code generation
6 篇 software archite...
6 篇 linear programmi...
6 篇 middleware
5 篇 component

机构

5 篇 texas a&m univ c...
3 篇 univ magdeburg d...
2 篇 univ lugano luga...
2 篇 university of co...
2 篇 orange labs maps...
2 篇 johannes kepler ...
2 篇 univ southampton...
2 篇 univ marburg d-3...
2 篇 chuyang honors c...
2 篇 kansas state uni...
2 篇 johannes kepler ...
2 篇 ecole polytech f...
2 篇 northeastern uni...
2 篇 state grid hunan...
2 篇 hunan sgit techn...
2 篇 orange labs maps...
2 篇 signalicorp port...
2 篇 mit cambridge ma...
2 篇 univ potsdam ins...
2 篇 univ nebraska de...

作者

6 篇 apel sven
6 篇 binder walter
5 篇 ansaloni danilo
5 篇 moret philippe
4 篇 kaestner christi...
4 篇 gokhale aniruddh...
4 篇 batory don
4 篇 moessenboeck han...
3 篇 hirschfeld rober...
3 篇 stefani jean-ber...
3 篇 schmitt alan
3 篇 marcus mat
3 篇 smith jacob n.
3 篇 fischer bernd
2 篇 hatcliff john
2 篇 babau jean-phili...
2 篇 judith bishop
2 篇 siek jeremy
2 篇 freeman john
2 篇 rinard martin c.

语言

248 篇 英文
11 篇 其他
4 篇 中文

检索条件"任意字段=8th International Conference on Generative Programming and Component Engineering"

共 263 条记录，以下是111-120 订阅

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

详细简洁

排序：

component-based DSL development

Component-based DSL development

引用

2nd international conference on generative programming and component engineering

作者： Cleenewerck, T Free Univ Brussels Programming Technol Lab B-1050 Brussels Belgium

ISBN: (纸本)3540201025

Domain specific languages (DSLs) have proven to be a very adequate mechanism to encapsulate and hide the complex implementation details of component-based software development. Since evolution lies at the heart of any software system the DSLs that were built around them must evolve as well. In this paper we identify important issues that cause a DSL implementation to be very rigid in which all phases are tightly coupled and highly dependent upon one another. To increase the poor evolvability of current day DSL development environments a new development environment Keyword based programming (KBP) is proposed where DSLs are built by using a language specification to compose and glue loosely coupled and independent language components (called keywords).

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Context-aware scanning for parsing extensible languages 07

Context-aware scanning for parsing extensible languages

引用

GPCE'07 - 6th international conference on generative programming and component engineering

作者： Van Wyk, Eric R. Schwerdfeger, August C. Department of Computer Science and Engineering University of Minnesota Minneapolis MN United States

ISBN: (纸本)9781595938558

this paper introduces new parsing and context-aware scanning algorithms in which the scanner uses contextual information to disambiguate lexical syntax. the parser uses a slightly modified LR-style algorithm that passes to the scanner the set of valid symbols that the scanner may return at that point in parsing. this set is those terminals whose entries in the parse table for the current parse state are shift, reduce, or accept, but not error. the scanner then only returns tokens in this set. An analysis is given that can statically verify that the scanner will never return more than one token for a single input. Context-aware scanning is especially useful when parsing and scanning extensible languages in which domain specific languages can be embedded. It has been used in extensible versions of Java 1.4 and ANSI C. We illustrate this approach with a declarative specification of a subset of Java and extensions that embed SQL queries and Boolean expression tables into Java. Copyright © 2007 ACM.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

Research on component-Based Embedded Spacecraft Software System Development 8

Research on Component-Based Embedded Spacecraft Software Sys...

引用

8th international conference on Intelligent Computing and Signal Processing, ICSP 2023

作者： Zhao, Xingsong Li, Xiaofeng Dong, Xiaogang Beijing Institute of Control Engineering Beijing China

ISBN: (纸本)9798350302455

Aiming at the reuse requirements of spacecraft embedded software assets, the commonality and variability of spacecraft embedded software requirements are analyzed, and a tree diagram-based spacecraft software component identification method based on the FODA (Feature-Oriented Domain Analysis) is proposed. Interfaces between tree-node components are identified through a structured data flow analysis. In terms of component description, a component model in the domain of spacecraft control software based on functional-programming is proposed, which removes the coupling relationship between components. Taking the Sun Search system as an example, software components were developed, a component-based Sun Search software system was established, and the feasibility of component-based spacecraft software reuse was verified. It was applied to 5 projects, and the component-reuse number reached 31. © 2023 IEEE.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

generative programming and component engineering 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Don Batory Charles Consel Walid Taha

ISBN: (数字)9783540458210

ISBN: (纸本)9783540442844

this volume constitutes the proceedings of the ?rst ACM SIGPLAN/SIGSOFT international conference on generative programming and component Engine- ing (GPCE 2002), held October 6–8, 2002, in Pittsburgh, PA, USA, as part of the PLI 2002 event, which also included ICFP, PPDP, and a?liated workshops. the future of Software engineering lies in the automation of tasks that are performed manually today. generative programming (developing programs that synthesize other programs), component engineering (raising the level of mo- larization and analysis in application design), and Domain-Speci?c Languages (elevating program speci?cations to compact domain-speci?c notations that are easier to write and maintain) are key technologies for automating program de- lopment. In a time of conference and workshop proliferation, GPCE represents acounter-trend in the merging of two distinct communities with strongly ov- lapping interests: the generative and component-Based Software engineering conference (GCSE) and the international Workshop on the Semantics, App- cations, and Implementation of Program Generation (SAIG). Researchers in the GCSE community address the topic of program automation from a contemporary software engineering viewpoint; SAIG correspondingly represents a community attacking automation from a more formal programming languages viewpoint. Together, their combination provides the depth of theory and practice that one would expect in apremier research conference. three prominent PLI invited speakers lectured at GPCE 2002: Neil Jones (University of Copenhagen), Catuscia Palamidessi (Penn State University), and Janos Sztipanovits (Vanderbilt University). GPCE 2002 received 39 submissions, of which 18 were accepted.

关键词： Software engineering/programming and Operating Systems Software engineering Management of Computing and Information Systems Computer Appl. in Administrative Data Processing programming Techniques programming Languages, Compilers, Interpreters

来源：评论

学校读者我要写书评

暂无评论

Roadmap for enhanced languages and methods to aid verification 06

Roadmap for enhanced languages and methods to aid verificati...

引用

5th international conference on generative programming and component engineering, GPCE'06. Co-located with the 21st international conference on Object-Oriented programming, Systems, Languages, and Applications, OOPSLA 2006

作者： Leavens, Gary T. Abrial, Jean-Raymond Batory, Don Butler, Michael Coglio, Alessandro Fisler, Kathi Hehner, Eric Jones, Cliff Miller, Dale Peyton-Jones, Simon Sitaraman, Murali Smith, Douglas R. Stump, Aaron Iowa State University Ames IA United States ETH Zürich Switzerland University of Texas Austin TX United States University of Southampton United Kingdom Kestrel Institute CA United States Worcester Polytechnic Institute MA United States University of Toronto Canada INRIA-Futurs Polytechnique France Microsoft Research Cambridge United Kingdom Clemson University SC United States Washington University of St. Louis MO United States

ISBN: (纸本)1595932372

this roadmap describes ways that researchers in four areas - -specification languages, program generation, correctness by construction, and programming languages - -might help further the goal of verified software. It also describes what advances the "verified software" grand challenge might anticipate or demand from work in these areas. that is, the roadmap is intended to help foster collaboration between the grand challenge and these research areas.A common goal for research in these areas is to establish language designs and tool architectures that would allow multiple annotations and tools to be used on a single program. In the long term, researchers could try to unify these annotations and integrate such tools. Copyright © 2006 ACM.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Library composition and adaptation using c++ concepts 07

Library composition and adaptation using c++ concepts

引用

GPCE'07 - 6th international conference on generative programming and component engineering

作者： Järvi, Jaakko Marcus, Matthew A. Smith, Jacob N. Texas A and M University College Station TX United States Adobe Systems Inc. Seattle WA United States

ISBN: (纸本)9781595938558

Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to APIs of another are essential for the success of large software projects. Concepts and concept maps, planned features for the next version of C++, have been designed to support adaptation, promising generic, non-intrusive, efficient, and identity preserving adapters. this paper analyses the use of concept maps for library composition and adaptation, comparing and contrasting concept maps to other common adaptation mechanisms. We report on two cases of data structure adaptation between different libraries, indicating best practices and idioms along the way. First, we adapt GUI controls from several frameworks for use with a generic layout engine, extending the application of concepts to run-time polymorphism. Second, we develop a transparent adaptation layer between an image processing library and a graph algorithm library, enabling the efficient application of graph algorithms to the image processing domain. Copyright © 2007 ACM.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

OBJECT-ORIENTED SYSTEM programming FOR SWITCHING SYSTEMS

OBJECT-ORIENTED SYSTEM PROGRAMMING FOR SWITCHING SYSTEMS

引用

8th international CONF ON SOFTWARE engineering FOR TELECOMMUNICATION SYSTEMS AND SERVICES ( SETSS 92 )

作者： PAUL, S SCHNEIDER, PM WEIKERT, P Siemens AG Germany

ISBN: (纸本)0852965427

this paper is based on a project within the Siemens Corp., where object-oriented techniques were used to develop a switching system for broadband ISDN. Some important components of system software and how their support for object-orientation should look like are discussed. One of these is an operating system that acts as a runtime system for object-oriented features. the effects of this support are shown by some typical applications for switching systems. Another system component is an analysis tool offering a novel type of object specific trace mechanism. the most important object-oriented terms are defined. the particular requirements in the area of switching systems are discussed.

关键词： Switching Systems

来源：评论

学校读者我要写书评

暂无评论

Property Models From Incidental Algorithms to Reusable components 08

Property Models From Incidental Algorithms to Reusable Compo...

引用

7th international conference on generative programming and component engineering

作者： Jarvi, Jaakko Marcus, Mat Parent, Sean Freeman, John Smith, Jacob N. Texas A&M Univ College Stn TX 77843 USA

ISBN: (纸本)9781605582672

A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for "command parameter synthesis" is usually application-specific and non-reusable, consisting of validation logic in event handlers and code that controls how values of user interface elements change in response to a user's actions, etc. these software artifacts are incidental-they are not explicitly designed and their implementation emerges from a composition of locally defined behaviors. this article presents property models to capture explicitly the algorithms, validation, and interaction rules, arising from command parameter synthesis. A user interface's behavior can be derived from a declarative property model specification, with the assistance of a component akin to a constraint solver. this allows multiple interfaces, both human and programmatic, to reuse a single model along with associated validation logic and widget activation logic. the proposed technology is deployed in large commercial software application suites. Where we have applied property models, we have measured significant reductions in source-code size with equivalent or increased functionality;additional levels of reuse are apparent, both within single applications, and across product lines;and applications are able to provide more uniform access to functionality. there is potential for wide adoption: by our measurements command parameter synthesis comprises roughly one third of the code and notably more of the defects in desktop applications.

关键词： Software reuse component software User interfaces Declarative specifications Constraint systems

来源：评论

学校读者我要写书评

暂无评论

Concept-controlled polymorphism

Concept-controlled polymorphism

引用

2nd international conference on generative programming and component engineering

作者： Järvi, J Willcock, J Lumsdaine, A Indiana Univ Open Syst Lab Bloomington IN 47405 USA

ISBN: (纸本)3540201025

Concepts - sets of abstractions related by common requirements have a central role in generic programming. this paper proposes a general framework for using concepts to control polymorphism in different ways. First, concepts can be used to constrain parametric polymorphism, as exemplified by type classes in Haskell. Second, concepts can be used to provide fine-grained control of function and operator overloading. Finally, generic functions can be overloaded (specialized) based on concepts, rather than simply on types. We describe a C++ implementation of a new mechanism, which we call enable-if, and its role in concept-controlled polymorphism.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

An extension to the subtype relationship in C++ implemented with template metaprogramming

An extension to the subtype relationship in C++ implemented ...

引用

2nd international conference on generative programming and component engineering

作者： Zólyomi, I Porkoláb, Z Kozsik, T Eotvos Lorand Univ Dept Comp Sci H-1117 Budapest Hungary

ISBN: (纸本)3540201025

Families of independent classes, where each class represents a separate, orthogonal concern are highly attractive for implementing collaboration-based design. However, required subtype relationship between such families cannot be expressed in many programming languages. this paper presents a framework to handle collaborating groups of classes using template metaprogramming based on standard C++ features in the style of Loki: :Typelist. Our solution provides tailor-made implicit conversion rules between appropriate groups, inclusion polymorphism and a tool for dynamic binding.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共27页 << < 8 9 10 11 12 13 14 15 16 17 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：