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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

277 篇 会议
23 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

232 篇 工学
- 190 篇 软件工程
- 176 篇 计算机科学与技术...
- 17 篇 电气工程
- 17 篇 信息与通信工程
- 16 篇 控制科学与工程
- 11 篇 机械工程
- 11 篇 生物医学工程（可授...
- 8 篇 生物工程
- 6 篇 光学工程
- 6 篇 化学工程与技术
- 4 篇 土木工程
- 4 篇 交通运输工程
- 3 篇 力学（可授工学、理...
- 3 篇 材料科学与工程（可...
- 3 篇 电子科学与技术（可...
- 3 篇 建筑学
- 3 篇 水利工程
54 篇 理学
- 39 篇 数学
- 9 篇 物理学
- 9 篇 统计学（可授理学、...
- 8 篇 系统科学
- 7 篇 生物学
- 4 篇 化学
40 篇 管理学
- 23 篇 管理科学与工程(可...
- 19 篇 图书情报与档案管...
- 10 篇 工商管理
6 篇 医学
- 5 篇 基础医学(可授医学...
- 5 篇 临床医学
- 4 篇 药学(可授医学、理...
5 篇 教育学
- 5 篇 教育学
2 篇 经济学
1 篇 艺术学

主题

21 篇 design
20 篇 languages
18 篇 software enginee...
13 篇 computer program...
10 篇 algorithms
10 篇 computer program...
9 篇 object oriented ...
8 篇 performance
7 篇 feature-oriented...
7 篇 generative adver...
7 篇 linear programmi...
7 篇 generic programm...
7 篇 middleware
6 篇 principal compon...
6 篇 code generation
5 篇 aspect oriented ...
5 篇 automatic progra...
5 篇 optimization
5 篇 logic programmin...
5 篇 analytical model...

机构

4 篇 texas a&m univ c...
3 篇 univ magdeburg d...
2 篇 school of electr...
2 篇 fudan univ sch c...
2 篇 univ lugano luga...
2 篇 university of co...
2 篇 orange labs maps...
2 篇 johannes kepler ...
2 篇 school of comput...
2 篇 univ southampton...
2 篇 univ marburg d-3...
2 篇 fraunhofer inst ...
2 篇 univ leicester d...
2 篇 kansas state uni...
2 篇 johannes kepler ...
2 篇 univ newcastle u...
2 篇 ecole polytech f...
2 篇 school of vehicl...
2 篇 northeastern uni...
2 篇 orange labs maps...

作者

7 篇 apel sven
6 篇 binder walter
5 篇 ansaloni danilo
5 篇 moret philippe
4 篇 kaestner christi...
4 篇 batory don
4 篇 moessenboeck han...
3 篇 stefani jean-ber...
3 篇 schmitt alan
3 篇 marcus mat
3 篇 smith jacob n.
3 篇 fischer bernd
2 篇 hatcliff john
2 篇 pataki norbert
2 篇 babau jean-phili...
2 篇 pistikopoulos en
2 篇 bozinis na
2 篇 aniruddha gokhal...
2 篇 siek jeremy
2 篇 freeman john

语言

288 篇 英文
12 篇 其他
1 篇 法文

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

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

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

详细简洁

排序：

Comparing Complexity of API Designs: An Exploratory Experiment on DSL-based Framework Integration 11

Comparing Complexity of API Designs: An Exploratory Experime...

引用

10th ACM international conference on generative programming and component engineering (GPCE)/conference on Systems, programming, Languages and Application - Software for Humanity (SPLASH)

作者： Sobernig, Stefan Gaubatz, Patrick Strembeck, Mark Zdun, Uwe WU Vienna Inst IS & New Media Vienna Austria Univ Vienna Software Architecture Grp Vienna Austria

ISBN: (纸本)9781450306898

Embedded, textual DSLs are often provided as an API wrapped around object-oriented application frameworks to ease framework integration. While literature presents claims that DSL-based application development is beneficial, empirical evidence for this is rare. We present the results of an experiment comparing the complexity of three different object-oriented framework APIs and an embedded, textual DSL. For this comparative experiment, we implemented the same, non-trivial application scenario using these four different APIs. then, we performed an Object-Points (OP) analysis, yielding indicators for the API complexity specific to each API variant. the main observation for our experiment is that the embedded, textual DSL incurs the smallest API complexity. Although the results are exploratory, as well as limited to the given application scenario and a single embedded DSL, our findings can direct future empirical work. the experiment design is applicable for similar API design evaluations.

关键词： Design Experimentation Measurement Domain-Specific Language Application programming Interface Complexity Object Points

来源：评论

学校读者我要写书评

暂无评论

Toward generative Design for Digital Publishing on Mobile Devices

Toward Generative Design for Digital Publishing on Mobile De...

引用

7th international conference on Computing and Convergence Technology (ICCCT)

作者： Tsai, Tse-Ming Chou, Shih-Chun Liu, Bo-Fu Lin, Jih-Yiing Lin, Yu-Ting Chou, Seng-Cho T. Inst Informat Ind Innovat DigiTech Enabled Applicat & Serv Inst Taipei Taiwan Natl Taiwan Univ Dept Informat Management Taipei Taiwan

ISBN: (纸本)9781467308946;9788994364261

the importance of mobile devices has attracted increasing attention among designers, traditional media publishers, ad agencies, and companies of all sizes to create, distribute, monetize, and optimize interactive content for ubiquitous mobile application. Nonetheless, creating a good mobile application providing rich interactive user experience is time consuming due to the design chaos, communication cost and mobile technical issues. In this paper, a generative design framework is proposed to streamline this design process. this framework comprising three tools, template extraction tool, design exploration tool and packaging tool, is capable of providing non-programming application publishers an easy environment to design their application at the abstract user interface level. Grounded on this study, efficient creation of mobile applications providing rich interactive user experience and ubiquitous delivery is possible.

关键词： digital publishing generative design mobile application page component

来源：评论

学校读者我要写书评

暂无评论

Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems 11

Towards Automatic Generation of Formal Specifications to Val...

引用

10th ACM international conference on generative programming and component engineering (GPCE)/conference on Systems, programming, Languages and Application - Software for Humanity (SPLASH)

作者： Slatten, Vidar Kraemer, Frank Alexander Herrmann, Peter Norwegian Univ Sci & Technol NTNU Dept Telemat N-7491 Trondheim Norway

ISBN: (纸本)9781450306898

the validation and verification of reliable systems is a difficult and complex task, mainly for two reasons: First, it is difficult to precisely state which formal properties a system needs to fulfil to be of high quality. Second, it is complex to automatically verify such properties, due to the size of the analysis state space which grows exponentially with the number of components. We tackle these problems by a tool-supported method which embeds application functionality in building blocks that use UML activities to describe their internal behaviour. To describe their externally visible behaviour, we use a combination of complementary interface contracts, so-called ESMs and EESMs. In this paper, we present an extension of the interface contracts, External Reliability Contracts (ERCs), that capture failure behaviour. this separation of different behavioural aspects in separate descriptions facilitates a two-step analysis, in which the first step is completely automated and the second step is facilitated by an automatic translation of the models to the input syntax of the model checker TLC. Further, the cascade of contracts is used to separate the work of domain and reliability experts. the concepts are proposed with the background of a real industry case, and we demonstrate how the use of interface

关键词： Design Reliability Verification Model-driven engineering reliable systems fault tolerance component contracts compositional verification model checking

来源：评论

学校读者我要写书评

暂无评论

An inheritance system for structural & behavioral reuse in component-based software programming 12

An inheritance system for structural & behavioral reuse in c...

引用

11th ACM international conference on generative programming and component engineering, GPCE 2012

作者： Spacek, Petr Dony, Christophe Tibermacine, Chouki Fabresse, Luc LIRMM CNRS Montpellier II University 161 rue Ada 34392 Montpellier Cedex 5 France Université Lille Nord de France Ecole des Mines de Douai 941 rue Charles Bourseul 59508 Douai Cedex France

ISBN: (纸本)9781450311298

In the context of component-based programming, which addresses the implementation stage of a component-based software engineering development process, this paper describes a specification and an operational integration of an inheritance system into a self-contained new component-based programming language named Compo. Our proposal completes and extends related works by making it possible to apply inheritance to the full description of components, i.e. both to structural (description of provisions and requirements, of component architecture) and behavioral (full implementations of services) parts in component descriptions. Inheritance in Compo is designed to be used in conjunction with composition to maximize reuse capabilities and expressive power. Compo implementation proposes a clear operational solution for inheritance and for achieving and testing substitutions. Copyright 2012 ACM.

关键词： Computer software reusability

来源：评论

学校读者我要写书评

暂无评论

A three-level component model in component based software development 12

A three-level component model in component based software de...

引用

11th ACM international conference on generative programming and component engineering, GPCE 2012

作者： Zhang, Huaxi Zhang, Lei Urtado, Christelle Vauttier, Sylvain Huchard, Marianne Dept. Math/Info Université Toulouse 2 Toulouse France Research Center of Automation Northeastern University Shenyang China LGI2P EMA Nîmes France Lirmm Cnrs Univ. Montpellier 2 Montpellier France

ISBN: (纸本)9781450311298

component-based development promotes a software development process that focuses on component reuse. How to describe a desired component before searching in the repository? How to find an existing component that fulfills the required functionalities? How to capture the system personalization based on its constitutive components' customization? To answer these questions, this paper claims that components should be described using three different forms at three development stages: architecture specification, configuration and assembly. However, no architecture description language proposes such a detailed description for components that supports such a three step component-based development. this paper proposes a three-level Adl, named Dedal, that enables the explicit and separate definitions of component roles, component classes, and component instances. Copyright 2012 ACM.

关键词： Software architecture

来源：评论

学校读者我要写书评

暂无评论

Family-based deductive verification of software product lines 12

Family-based deductive verification of software product line...

引用

11th ACM international conference on generative programming and component engineering, GPCE 2012

作者： thüm, thomas Schaefer, Ina Apel, Sven Hentschel, Martin University of Magdeburg Germany University of Braunschweig Germany University of Passau Germany University of Darmstadt Germany

ISBN: (纸本)9781450311298

A software product line is a set of similar software products that share a common code base. While software product lines can be implemented efficiently using feature-oriented programming, verifying each product individually does not scale, especially if human effort is required (e.g., as in interactive theorem proving). We present a family-based approach of deductive verification to prove the correctness of a software product line efficiently. We illustrate and evaluate our approach for software product lines written in a feature-oriented dialect of Java and specified using the Java Modeling Language. We show that the theorem prover KeY can be used off-the-shelf for this task, without any modifications. Compared to the individual verification of each product, our approach reduces the verification time needed for our case study by more than 85 %. Copyright 2012 ACM.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

Xbase: Implementing domain-specific languages for java 12

Xbase: Implementing domain-specific languages for java

引用

11th ACM international conference on generative programming and component engineering, GPCE 2012

作者： Efftinge, Sven Eysholdt, Moritz Köhnlein, Jan Zarnekow, Sebastian Hasselbring, Wilhelm Von Massow, Robert Hanus, Michael Itemis AG D-24143 Kiel Germany Software Engineering Group University of Kiel Germany Programming Languages and Compiler Construction Group University of Kiel Germany

ISBN: (纸本)9781450311298

Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools focus on structural aspects such as service specifications and entities. Because behavioral aspects are significantly more complicated to implement, they are often delegated to generalpurpose programming languages. this approach introduces complex integration patterns and the DSL's high level of abstraction is compromised. We present Xbase as part of Xtext, an expression language that can be reused via language inheritance in any DSL implementation based on Xtext. Xbase expressions provide both control structures and program expressions in a uniform way. Xbase is statically typed and tightly integrated with the Java type system. Languages extending Xbase inherit the syntax of a Java-like expression language as well as language infrastructure components, including a parser, an unparser, a linker, a compiler and an interpreter. Furthermore, the framework provides integration into the Eclipse IDE including debug and refactoring support. the application of Xbase is presented by means of a domain model language which serves as a tutorial example and by the implementation of the programming language Xtend. Xtend is a functional and object-oriented general purpose language for the Java Virtual Machine (JVM). It is built on top of Xbase which is the reusable expression language that is the foundation of Xtend. Copyright 2012 ACM.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Model driven engineering in systems integration

Model driven engineering in systems integration

引用

9th international Network conference, INC 2012

作者： Minich, M. Harriehausen-Mühlbauer, B. Wentzel, C. Communications and Network Research Centre for Security Plymouth University Plymouth United Kingdom Department of Computer Science University of Applied Sciences Darmstadt Darmstadt Germany

ISBN: (纸本)9781841023151

Software development in systems integration projects is still reliant on craftsmanship of highly skilled workers. To make such projects more profitable, an industrialized production, characterized by high efficiency, quality, and automation seems inevitable. While first milestones of software industrialization have recently been achieved, it is questionable if these can be applied to the field of systems integration as well. Besides specialization, standardization and systematic reuse, automation represents the final and most sophisticated key concept of industrialization, represented by Model Driven engineering (MDE). the present work discusses the most prominent MDE approaches, while considering the particularities of systems integration. It identifies generative programming as being most suitable and integrates it into previous works on Software Product Lines and component Based Development in Systems Integration.

关键词： Automation

来源：评论

学校读者我要写书评

暂无评论

A Collaborative Expandable Framework for Software End-Users and Programmers

A Collaborative Expandable Framework for Software End-Users ...

引用

9th Annual international conference on Cooperative Design, Visualization, and engineering (CDVE)

作者： Almeida, Tiago Ferreira, Hugo Sereno Sousa, Tiago Boldt Univ Porto Fac Engn Dept Informat Engn Oporto Portugal

ISBN: (纸本)9783642326080;9783642326097

the quantity and complexity that end-users are increasingly demanding from their applications and devices makes it impractical for a software developer to "foresee" every possible combination and explore every valid alternative. One solution is to empower end-users with tools that allows them to explore their necessities in a collaborative framework, where novices and experts can co-exist and share. We believe that such a tool could not only reduce the number of "small", specific-tailored applications, but also foster discovery and experimentation.

关键词： component-based programming End-user programming Cooperative programming

来源：评论

学校读者我要写书评

暂无评论

A transparent control-flow based approach to record-replay non-deterministic bugs

A transparent control-flow based approach to record-replay n...

引用

2012 IEEE 7th international conference on Networking, Architecture and Storage, NAS 2012

作者： Wang, Nan Han, Jizhong Fang, Jinyun Institute of Computing Technology Chinese Academy of Sciences Beijing 100000 China Graduate University Chinese Academy of Sciences Beijing 100000 China Institute of Information Engineering Chinese Academy of Sciences Beijing 100000 China

ISBN: (纸本)9780769547220

Record-replay is effective to reproduce non-deterministic bugs, and has gained attentions in research community. However, current approaches fall short of handling nondeterministic bugs in multi-processor platforms and distributed systems due to several reasons. First, multi-thread programs on multi-processor platforms, which are common in today's distributed systems, are difficult to be recorded and replayed because of data-races. Second, increasing systems scale makes production environment more sensitive to perturbation from recording. Even hacking control scripts has been unacceptable because of the boosting complexity comes from variety of programs and large number of computing cores. third, when deployed in distributed systems, large scale will also multiply recording traces, which overwhelms developers, and also slows down the whole system dramatically. To address the above issues, we propose following mechanisms to efficiently record-reply in multi-processor distributed systems: control-flow based record-replay, low-perturbation loading and proportion sampling. We have implemented these mechanisms in ReBranch - a practical record-replay system for debugging multi-thread programs in multi-processor platforms and distributed systems. ReBranch has already shown its power on dealing with real bugs. We also present our debugging experiences using ReBranch with a case study on handling a bug in memcached - an important component in many commercial systems. © 2012 IEEE.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：