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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

48 篇 会议
35 篇 期刊文献
3 篇 学位论文

馆藏范围

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

日期分布

学科分类号

74 篇 工学
- 54 篇 计算机科学与技术...
- 48 篇 软件工程
- 12 篇 电气工程
- 4 篇 控制科学与工程
- 2 篇 材料科学与工程（可...
- 1 篇 机械工程
- 1 篇 信息与通信工程
- 1 篇 石油与天然气工程
- 1 篇 航空宇航科学与技...
- 1 篇 安全科学与工程
4 篇 理学
- 2 篇 数学
- 2 篇 化学
- 1 篇 地球物理学
3 篇 管理学
- 3 篇 管理科学与工程(可...
1 篇 文学
- 1 篇 新闻传播学
1 篇 历史学
- 1 篇 考古学
1 篇 艺术学
- 1 篇 艺术学理论

主题

86 篇 generative progr...
7 篇 domain-specific ...
6 篇 languages
5 篇 pervasive comput...
5 篇 model-driven eng...
5 篇 staging
4 篇 software archite...
4 篇 design
4 篇 aspect-oriented ...
3 篇 program analysis
3 篇 reflection
3 篇 domain specific ...
3 篇 embedded systems
3 篇 c plus
3 篇 programming fram...
3 篇 template metapro...
3 篇 python
3 篇 reusable compone...
2 篇 performance
2 篇 query processing

机构

3 篇 univ bordeaux bo...
3 篇 inria bordeaux b...
2 篇 ecole polytech f...
2 篇 vtt informat tec...
2 篇 univ york york n...
2 篇 univ alabama bir...
2 篇 univ bordeaux in...
2 篇 univ maribor fac...
2 篇 ecole polytechni...
1 篇 university of ap...
1 篇 univ auckland de...
1 篇 inria bordeaux s...
1 篇 univ bordeaux 1 ...
1 篇 free univ berlin...
1 篇 clemson univ dep...
1 篇 dassault système...
1 篇 univ surrey sch ...
1 篇 inria le chesnay
1 篇 st electronics p...
1 篇 microsoft res lt...

作者

8 篇 consel charles
5 篇 balland emilie
4 篇 gokhale aniruddh...
4 篇 falcou joel
4 篇 cassou damien
3 篇 tambe sumant
3 篇 rompf tiark
2 篇 arora ritu
2 篇 loriant nicolas
2 篇 etiemble daniel
2 篇 kolovos dimitris
2 篇 miguel ian
2 篇 savikko v
2 篇 nightingale pete...
2 篇 kotthoff lars
2 篇 yohannis alfa
2 篇 balasubramaniam ...
2 篇 kabac milan
2 篇 bruneau julien
2 篇 lacassagne lione...

语言

76 篇 英文
10 篇 其他

检索条件"主题词=Generative programming"

共 86 条记录，以下是31-40 订阅

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

详细简洁

排序：

A Domain Specific Language for Interactive Enterprise Application Development

A Domain Specific Language for Interactive Enterprise Applic...

引用

International Conference on Web Information Systems and Mining (WISM 2011)

作者： Zhou, Jingang Zhao, Dazhe Liu, Jiren Northeastern Univ Coll Informat Sci & Engn Shenyang 110004 Peoples R China

ISBN: (纸本)9783642239816

Web-based enterprise applications (EAs) have become the mainstream for business systems;however, there are enormous challenges for EAs development to meet the software quality and delivery deadline. In this paper, we propose a domain specific language, called WL4EA, which combines components with generative reuse and targets for popular application frameworks (or platform) and supports high interactivity. With WL4EA, an EA can be declaratively specified as some sets of entities, views, business objects, and data access objects. Such language elements will be composed according to known EA architecture and patterns. Such a DSL and code generation can lower the development complexity and error proneness and improve efficiency.

关键词： Domain Specific Language Enterprise Application generative programming Web Application

来源：评论

学校读者我要写书评

暂无评论

Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications 11

Leveraging Software Architectures to Guide and Verify the De...

引用

33rd International Conference on Software Engineering (ICSE)

作者： Cassou, Damien Balland, Emilie Consel, Charles Lawall, Julia Univ Bordeaux INRIA Bordeaux France INRIA LIP6 DIKU Paris France

ISBN: (纸本)9781450304450

A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation is a well known challenge. A key element of this mapping is the architecture's description of the data and control-flow interactions between components. The characterization of these interactions can be rather abstract or very concrete, providing more or less implementation guidance, programming support, and static verification. In this paper, we explore one point in the design space between abstract and concrete component interaction specifications. We introduce a notion of interaction contract that expresses allowed interactions between components, describing both data and control-flow constraints. This declaration is part of the architecture description, allows generation of extensive programming support, and enables various verifications. We instantiate our approach in an architecture description language for Sense/Compute/Control applications, and describe associated compilation and verification strategies.

关键词： generative programming architectural conformance

来源：评论

学校读者我要写书评

暂无评论

ProtoTalk: A generative Software Engineering Framework for Prototyping Protocols in Smalltalk

ProtoTalk: A Generative Software Engineering Framework for P...

引用

IEEE 33rd International Computer Software and Applications Conference

作者： Razavi, Ali Kontogiannis, Kostas Univ Waterloo Software Engn Lab Waterloo ON N2L 3G1 Canada Natl Tech Univ Athens Dept Elect & Comp Engn GR-10682 Athens Greece

ISBN: (纸本)9781424445257

Network protocols are complex systems implemented by collections of equally complex software components. In many cases, the realization of such protocols requires extensive prototyping and experimentation with different alternative implementations. In this paper, we present ProtoTalk, a generative, domain-specific software framework that utilizes model driven software engineering principles for prototyping state and message driven protocols with emphasis on telecommunication and network protocols. The framework allows first, for modeling a variety of common protocol features by using mappings from state machines, sequence diagrams and packet encodings to ProtoTalk models, and second, for the consequent automatic generation of prototype Smalltalk code front the aforementioned ProtoTalk models. In this respect, the paper attempts to shed light on the use of generative model driven programming techniques within reflective object oriented programming languages and environments. As a proof of concept, we have specified in Prototalk and consequently generated in Smalltalk, several core features of the Session Initiation Protocol. (1)

关键词： Software Engineering Domain Specific Frameworks generative programming Protocol Development

来源：评论

学校读者我要写书评

暂无评论

Using Sysml to describe a new methodology for semiautomatic software generation from inferred behavioral and data models

Using Sysml to describe a new methodology for semiautomatic ...

引用

4th International Conference on Systems (ICONS 2009)

作者： Gonzalez Alonso, Ignacio Garcia Fuente, M. P. Almudena Brugos, J. A. L. Univ Oviedo Dept Comp Sci Gijon Spain

ISBN: (纸本)9781424434695

This article describes a new methodology designed for semiautomatic generation of software applications using the new standard of OMG consortium: SYSML. The methodology has behavior and data model inference steps. Both data and behavior are inferred, the first by XSD-Schema inference and the latter by Business Process Mining inferences. The paper describes how by using SYSML a better description of the methodology is given, a description that allows making a better design than using UML standard tools.

关键词： generative programming MDSD Software methogology SYSML Data Model Behaviour Model

来源：评论

学校读者我要写书评

暂无评论

Recent advances in the design of distributed embedded systems

Recent advances in the design of distributed embedded system...

引用

7th Battlespace Digitization and Network-Centric Warfare Conference

作者： Bay, JS Def Adv Res Projects Agcy Informat Technol Off Arlington VA 22203 USA

ISBN: (纸本)081944491X

The network-centric "system-of-systems" concept popular in current defense programs has been viewed from a very functional perspective. However, the heart of such a system is going to be an embedded software infrastructure of unprecedented complexity, and the technology for developing and testing this software needs as much if not more immediate attention than the concept of operations for the envisioned applications. Such an embedded software system will need to be infinitely scalable, modular, verifiable, and distributed, yet satisfy the myriad hard real-time performance constraints imposed by each of perhaps many different device types and service demands. It is suggested here that the only path to a robust design methodology for such systems is with model-based design. Model-based embedded system design is the focus of the Model-Based Integration of Embedded Software (MoBIES) program, currently underway at the Defense Advanced Research Projects Agency (DARPA), managed by the author. This paper will motivate the model-based approach to large-scale embedded software design and explain how projects funded under MoBIES are contributing to the development of interoperable model-based design tool components. An application for such technology is provided in the context of digital flight control systems for aggressive aircraft maneuvers, which is the subject of another DARPA sponsored program, Software-Enabled Control (SEC).

关键词： meta-modeling generative programming model-based computing embedded systems

来源：评论

学校读者我要写书评

暂无评论

A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages 2023

A pred-LL(*) Parsable Typed Higher-Order Macro System for Ar...

引用

22nd ACM SIGPLAN International Conference on generative programming - Concepts and Experiences (GPCE)

作者： Hochrainer, Christoph Krall, Andreas TU Wien Vienna Austria

ISBN: (纸本)9798400704062

Macro systems are powerful language extension tools for Architecture Description Languages (ADLs). Their generative power in combination with the simplicity of specification languages allows for a substantial reduction of repetitive specification sections. This paper explores how the introduction of function- and record types in a template-based macro system impacts the specification of ADLs. We present design and implementation of a pattern-based syntax macro system for the Vienna Architecture Description Language (VADL). The macro system is directly integrated into the language and is analyzed at parse time using a context-sensitive predLL(*) parser. The usefulness of the macro system is illustrated by some typical macro application design patterns. The effectiveness is shown by a detailed evaluation of the Instruction Set Architecture (ISA) specification of five different processor architectures. The observed specification reduction can be up to 90 times, leading to improved maintainability, readability and runtime performance of the specifications.

关键词： macro system higher-order macros pattern-based generative programming architecture description language

来源：评论

学校读者我要写书评

暂无评论

A Step-Wise Approach for Integrating QoS throughout Software Development

引用

14th European Joint Conferences on Theory and Practice of Software

作者： Gatti, Stephanie Balland, Emilie Consel, Charles Univ Bordeaux INRIA Bordeaux France

ISBN: (纸本)9783642198106

When developing real-time systems such as avionics software, it is critical to ensure the performance of these systems. In general, deterministic Quality of Service (QoS) is guaranteed by the execution platform, independently of a particular application. For example, in the avionics domain, the ARINC 664 standard defines a data network that provides deterministic QoS guarantees. However, this strategy falls short of addressing how the QoS requirements of an application get transformed through all development phases and artifacts. Existing approaches provide support for QoS concerns that only cover part of the development process, preventing traceability. In this paper, we propose a declarative approach for specifying QoS requirements that covers the complete software development process, from the requirements analysis to the deployment. This step-wise approach is dedicated to control-loop systems such as avionics software. The domain-specific trait of this approach enables the stakeholders to be guided and ensures QoS requirements traceability via a tool-based methodology.

关键词： Quality of Service Domain-Specific Design Language Tool-Based Development Methodology generative programming

来源：评论

学校读者我要写书评

暂无评论

HARPPIE: Hyper Algorithmic Recipe for Productive Parallelism Intensive Endeavors

HARPPIE: Hyper Algorithmic Recipe for Productive Parallelism...

引用

34th International Conference on Software Engineering (ICSE)

作者： Monteiro, Pedro Univ Nova Lisboa CITI Dept Informat Fac Ciencias & Tecnol P-2829516 Caparica Portugal

ISBN: (纸本)9781467310673

Over the last few years, Parallelism has been gaining increasing importance and multicore processing is now common. Massification of parallelism is driving research and development of novel techniques to overcome current limits of Parallel Computing. However, the scope of parallelization research focuses mainly on ever-increasing performance and much still remains to be accomplished regarding improving productivity in the development of parallel software. This PhD research aims to develop methods and tools to dilute parallel programming complexity and enable nonexpert programmer to fully benefit from a new generation of parallelism-driven programming platforms. Although much work remains to be done to reduce the skill requirements for parallel programming to become within reach of medium-skill programming workforces, it is our belief that this research will help bridge that gap.

关键词： Parallelism Concurrency Model-driven software engineering generative programming

来源：评论

学校读者我要写书评

暂无评论

generative Program Analysis and Beyond: The Power of Domain-Specific Languages 1

引用

22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) jointly with the 48th ACM SIGPLAN Symposium on Principles of programming Languages (POPL)

作者： Steffen, Bernhard Murtovi, Alnis TU Dortmund Univ Chair Programming Syst Otto Hahn Str 14 D-44227 Dortmund Germany

ISBN: (数字)9783030670672

ISBN: (纸本)9783030670665;9783030670672

In this paper we position Linear Time Temporal Logic (LTL), structural operational semantics (SOS), and a graphical generalization of BNF as central DSLs for program analysis and verification tasks in order to illustrate the impact of language to the mindset: (1) Specifying program analyses in LTL changes the classical algorithmic 'HOW' thinking into a property-oriented 'WHAT' thinking that allows one to logically combine analysis goals and eases proofs. (2) Playing with the original store component in SOS configurations allows one to elegantly realize variants of abstract program interpretations, and to align different aspects, like e.g., the symbolic values of variables and path conditions. (3) Specializing languages by refining their BNF-like meta models has the power to lift certain verification tasks from the program to the programming language level. We will illustrate the advantages of the change of mindset imposed by these three DSLs, as well as the fact that these advantages come at low price due to available adequate generator technology.

关键词： generative programming Domain-specific languages Meta modelling Program analysis (Second-order) model checking Modal transition systems Context-free/procedural transition systems Modal refinement Predicate/property transformers Binary decision diagram

来源：评论

学校读者我要写书评

暂无评论

Model-driven generative Framework for Automated OMG DDS Performance Testing in the Cloud 13

Model-driven Generative Framework for Automated OMG DDS Perf...

引用

12th International Conference on generative programming: Concepts and Experiences

作者： An, Kyoungho Kuroda, Takayuki Gokhale, Aniruddha Tambe, Sumant Sorbini, Andrea Vanderbilt Univ ISIS Nashville TN 37235 USA RTI Sunnyvale CA USA

ISBN: (纸本)9781450323734

The Object Management Group's (OMG) Data Distribution Service (DDS) provides many configurable policies which determine end-to-end quality of service (QoS) of applications. It is challenging to predict the system's performance in terms of latencies, throughput, and resource usage because diverse combinations of QoS configurations influence QoS of applications in different ways. To overcome this problem, design-time formal methods have been applied with mixed success, but lack of sufficient accuracy in prediction, tool support, and understanding of formalism has prevented wider adoption of the formal techniques. A promising approach to address this challenge is to emulate system behavior and gather data on the QoS parameters of interest by experimentation. To realize this approach, which is preferred over formal methods due to their limitations in accurately predicting QoS, we have developed a model-based automatic performance testing framework with generative capabilities to reduce manual efforts in generating a large number of relevant QoS configurations that can be deployed and tested on a cloud platform. This paper describes our initial efforts in developing and using this technology.

关键词： Model-driven Engineering generative programming Publish/Subscribe Performance Testing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：