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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

59 篇 会议
2 册 图书

馆藏范围

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

日期分布

学科分类号

45 篇 工学
- 41 篇 计算机科学与技术...
- 39 篇 软件工程
- 3 篇 电气工程
- 3 篇 信息与通信工程
- 2 篇 电子科学与技术（可...
- 2 篇 控制科学与工程
- 2 篇 农业工程
- 1 篇 土木工程
- 1 篇 矿业工程
- 1 篇 生物医学工程（可授...
- 1 篇 生物工程
- 1 篇 安全科学与工程
8 篇 理学
- 5 篇 数学
- 1 篇 大气科学
- 1 篇 生物学
- 1 篇 系统科学
6 篇 管理学
- 3 篇 管理科学与工程(可...
- 3 篇 工商管理
- 3 篇 图书情报与档案管...
3 篇 教育学
- 3 篇 教育学
2 篇 农学
- 2 篇 作物学

主题

9 篇 application soft...
7 篇 computer program...
5 篇 embedded system
5 篇 hardware
4 篇 software systems
4 篇 programming prof...
4 篇 embedded softwar...
3 篇 software enginee...
3 篇 computer languag...
3 篇 multiprocessing ...
3 篇 software testing
2 篇 object oriented ...
2 篇 computer science
2 篇 business applica...
2 篇 software enginee...
2 篇 operating system...
2 篇 programming
2 篇 meta-data
2 篇 computer archite...
2 篇 software tools

机构

4 篇 department of pr...
3 篇 dept. of program...
2 篇 department of pr...
1 篇 shanghai jiao to...
1 篇 pacific nw natl ...
1 篇 bussines school ...
1 篇 college of dunau...
1 篇 dept. of compute...
1 篇 institute of sof...
1 篇 software composi...
1 篇 computer science...
1 篇 eszterházy károl...
1 篇 faculty of infor...
1 篇 iit dept comp sc...
1 篇 univ minnesota d...
1 篇 univ new s wales...
1 篇 listic universit...
1 篇 lawrence livemor...
1 篇 graduate school ...
1 篇 computer science...

作者

3 篇 porkoláb zoltán
2 篇 pataki norbert
2 篇 pócza krisztián
2 篇 horvath zoltan
1 篇 kenneth b. kent
1 篇 fredlund lars-åk...
1 篇 shehory onn
1 篇 vartiala mikko
1 篇 fei xie
1 篇 zheng yudi
1 篇 fornasier patric
1 篇 lovei laszlo
1 篇 christof kutsche...
1 篇 canou benjamin
1 篇 markstrum shane
1 篇 marek lukáš
1 篇 hartikainen vesa...
1 篇 kiss ákos
1 篇 mcintosh paul
1 篇 lóki gábor

语言

61 篇 英文

检索条件"任意字段=10th Symposium on Programming Languages and Software Tools, SPLST 2007"

共 61 条记录，以下是41-50 订阅

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

详细简洁

排序：

Object-Oriented Technology: ECOOP 2006 Workshop Reader ECOOP 2006 Workshops

Object-Oriented Technology: ECOOP 2006 Workshop Reader ECOOP...

引用

ECOOP 2006 Workshop Reader - 10th European Conference on Obiect-Oriented programming

ISBN: (纸本)9783540717720

the proceedings contain 15 papers. the topics discussed include: implementation, compilation, optimization of object-oriented languages, programs and systems;aspects, dependencies, and interactions;formal techniques for Java-like programs;program analysis for security and privacy;object-oriented reengineering;quantitative approaches in object-oriented software engineering;component-oriented programming;fractal component-based software engineering;object technology for ambient intelligence and pervasive computing: language constructs and infrastructures;parallel/high-performance object-oriented scientific computing today;and tenth workshop on pedagogies and tools for the teaching and learning of object oriented concepts.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Java bytecode instrumentation made easy: the DiSL framework for dynamic program analysis 1

引用

10th Asian symposium on programming languages and Systems, APLAS 2012

作者： Marek, Lukáš Zheng, Yudi Ansaloni, Danilo Sarimbekov, Aibek Binder, Walter Tůma, Petr Qi, Zhengwei Charles University Czech Republic Shanghai Jiao Tong University China University of Lugano Switzerland

ISBN: (数字)9783642351822

ISBN: (纸本)9783642351815

Many software development tools (e.g., profilers, debuggers, testing tools) and frameworks (e.g., aspect weavers) are based on bytecode instrumentation techniques. While there are many low-level bytecode manipulation libraries that support the development of such tools and frameworks, they typically provide only low-level abstractions and require detailed knowledge of the Java Virtual Machine. In addition, they often lack the necessary infrastructure for load-time instrumentation with complete bytecode coverage to ensure that each method with a bytecode representation gets instrumented. In this paper we give an introduction to DiSL, a domain-specific aspect language and framework for bytecode instrumentation that reconciles high expressiveness of the language, high level of abstraction, and efficiency of the generated code. We illustrate the strengths of DiSL with a concrete analysis as a case study. the DiSL framework is open-source and has been successfully used in several research projects. © Springer-Verlag Berlin Heidelberg 2012.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

X3D-UML: Enabling advanced UML visualisation through X3D 05

X3D-UML: Enabling advanced UML visualisation through X3D

引用

10th International Conference on 3D Web Technology

作者： McIntosh, Paul Hamilton, Margaret Van Schyndel, Ron School of Computer Science and Information Technology RMIT University GPO Box 2476V Melbourne Vic. 3000 Australia

ISBN: (纸本)9781595930125

the Unified Modelling Language (UML) has become a commercially accepted standard for visualising software systems. Much of this success can be attributed to the computer aided software engineering (CASE) tools, which enable the UML to be effectively integrated into the software development life cycle. the UML is designed to be tool independent, however, in practice it would not be possible to manage the complexities of developing a large software system with "pencil and paper" UML diagrams. the UML is also designed to be extensible, allowing advanced use of visualisation such as 3D, however, in practice this extensibility is limited by the CASE tool used. With X3D-UML we present a means of using extensible 3D (X3D) as a visualisation medium for UML, enabling both standard and advanced visualisation to occur independent of CASE tools. We discuss the means, problems and benefits of transforming existing software system information into UML within an X3D environment. Copyright © 2005 by the Association for Computing Machinery, Inc.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Soya: A programming model and runtime environment for component composition using SSDL

Soya: A programming model and runtime environment for compon...

引用

10th International symposium on Component-Based software Engineering

作者： Fornasier, Patric Webber, Jim Gorton, Ian Univ New S Wales Natl ICT Australia Sch Comp Sci & Engn Empir Software Engn Sydney NSW 2052 Australia Pacific NW Natl Lab Richland WA 99352 USA

ISBN: (纸本)9783540735502

the SOAP Service Description Language (SSDL) is a SOAP-centric language for describing Web Service contracts. SSDL focuses on message abstraction as the building block for creating service-oriented applications and provides an extensible range of protocol frameworks that can be used to describe and formally model component composition based on Web Service interactions. Given its novel approach, implementing support for SSDL contracts presents interesting challenges to middleware developers. At one end of the spectrum, programming abstractions that support message-oriented designs need to be created. At the other end, new functionality and semantics must be added to existing SOAP engines. In this paper we explain how component developers can create message-oriented Web Service interfaces with contemporary tool support (specifically the Windows Communication Foundation) using SSDL. We show how SSDL can be used as an alternative and powerful metadata language natively alongside existing tooling without imposing additional burdens on application developers. Moreover, we describe the design and architecture of the Soya middleware which supports SSDL-based development of Web Services on the WCF platform.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

FM 2009: Formal Methods 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Ana Cavalcanti Dennis R. Dams

ISBN: (数字)9783642050893

ISBN: (纸本)9783642050886

th FM 2009, the 16 International symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebrate this by advertising and organizing FM 2009 as the Second World Congress in the FM series, aiming to once again bring together the formal methods communities from all over the world. the statistics displayed in the table on the next page include the number of countries represented by the Programme Committee members, as well as of the authors of submitted and accepted papers. Novel this year was a special track on tools and industrial applications. Subm- sions of papers on these topics were especially encouraged, but not given any special treatment. (It was just as hard to get a special track paper accepted as any other paper.) What we did promote, however, was a discussion of how originality, contri- tion, and soundness should be judged for these papers. the following questions were used by our Programme Committee.

关键词： software Engineering software Engineering/programming and Operating Systems User Interfaces and Human Computer Interaction Logics and Meanings of Programs programming languages, Compilers, Interpreters programming Techniques

来源：评论

学校读者我要写书评

暂无评论

Automatic coding rule conformance checking using logic programming

Automatic coding rule conformance checking using logic progr...

引用

10th International symposium on Practical Aspects of Declarative languages, PADL 2008

作者： Marpons, Guillem Mariño, Julio Carro, Manuel Herranz, Ángel Moreno-Navarro, Juan José Fredlund, Lars-Åke Universidad Politécnica de Madrid IMDEA Software

ISBN: (纸本)3540774416

An extended practice in the realm of software Engineering and programming in industry is the application of coding rules. Coding rules are customarily used to constrain the use (or abuse) of certain programming language constructions. However, these rules are usually written using natural language, which is intrinsically ambiguous and which may complicate their use and hinder their automatic enforcement. this paper presents some early work aiming at defining a framework to formalise and check for coding rule conformance using logic programming. We show how a certain class of rules - structural rules - can be reformulated as logic programs, which provides both a framework for formal specification and also for automatic conformance checking using a Prolog engine. Some examples of rules belonging to actual, third-party coding rule sets are discussed, along with the corresponding Prolog code. Experimental data regarding the practicality and impact of their application to real-life software projects is presented and discussed. © Springer-Verlag Berlin Heidelberg 2008.

关键词： Encoding (symbols)

来源：评论

学校读者我要写书评

暂无评论

DCGs + Memoing = Packrat parsing but is it worth it?

DCGs + Memoing = Packrat parsing but is it worth it?

引用

10th International symposium on Practical Aspects of Declarative languages, PADL 2008

作者： Becket, Ralph Somogyi, Zoltan NICTA Department of Computer Science and Software Engineering University of Melbourne 111 Barry Street Parkville VIC 3010 Australia

ISBN: (纸本)3540774416

Packrat parsing is a newly popular technique for efficiently implementing recursive descent parsers. Packrat parsing avoids the potential exponential costs of recursive descent parsing with backtracking by ensuring that each production rule in the grammar is tested at most once against each position in the input stream. this paper argues that (a) packrat parsers can be trivially implemented using a combination of definite clause grammar rules and memoing, and that (b) packrat parsing may actually be significantly less efficient than plain recursive descent with backtracking, but (c) memoing the recognizers of just one or two nonterminals, selected in accordance with Amdahl's law, can sometimes yield speedups. We present experimental evidence to support these claims. © Springer-Verlag Berlin Heidelberg 2008.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Magritte - A meta-driven approach to empower developers and end users

Magritte - A meta-driven approach to empower developers and ...

引用

10th International Conference on Model Driven Engineering languages and Systems

作者： Renggli, Lukas Ducasse, Stephane Kuhn, Adrian Univ Bern Software Composit Grp CH-3012 Bern Switzerland Univ Savoie INRIA LISTIC Lille France

ISBN: (纸本)9783540752080

Model-driven engineering is a powerful approach to build large-scale applications. However, an application's metamodel often remains static after the initial development phase and cannot be changed unless a new development effort occurs. Yet, end users often need to rapidly adapt their applications to new needs. In many cases, end users would know how to make the required adaptations, if only the application would let them do so. In this paper we present how we built a runtime-dynamic meta-environment into Smalltalk's reflective language model. Our solution offers the best of both worlds: developers can develop their applications using the same tools they are used to and gain the power of meta-programming. We show in particular that our approach is suitable to support end user customization without writing new code: the adaptive model of Magritte not only describes existing classes, but also lets end users build their own metamodels on the fly.

关键词： meta-modeling meta-data adaptive object model business application development Smalltalk

来源：评论

学校读者我要写书评

暂无评论

On the Verifiability of Programs Written in the Feature Language Extensions

On the Verifiability of Programs Written in the Feature Lang...

引用

IEEE International Symposim on High Assurance Systems Engineering

作者： Wu-Hon F. Leung Computer Science Department Istituto Italiano di Tecnologia Canada

High assurance in embedded system software is difficult to attain. Verification relies on testing. the unreliable and costly testing process is made much worse because the software base constantly changes: Adding a feature is by changing the code of other features, and the programs of the features entangle in the same reusable program unit of the programming language. For a large class of applications, including those requiring exception handling, this entanglement problem cannot be solved using existing general purpose programming languages. the Feature Language Extensions (FLX) is a set of language constructs designed to enable the programmer to solve the entanglement problem. It provides language support for assertion based verification. the satisfiability of first order assertions composed of variables defined by FLX can be determined without iterations of trials and errors. An executable FLX program is compiled into a finite state machine even if the state variables are unbounded.

关键词： Computer languages programming profession Automata software systems software testing Embedded system Embedded software software reusability Application software Java

来源：评论

学校读者我要写书评

暂无评论

Component-Based Hardware/software Co-Simulation

Component-Based Hardware/Software Co-Simulation

引用

Euromicro symposium on Digital System Design

作者： Ping Hang Cheung Kecheng Hao Fei Xie Department of ECE Portland State University Portland OR USA Department of Computer Science Portland State University Portland OR USA

Developing highly efficient and reliable embedded systems demands hardware/software (HW/SW) co-design and, therefore, co-simulation. In order to be highly configurable, embedded systems are increasingly component-based in both hardware and software. In this paper, we present a novel approach to hardware/software co-simulation of component-based embedded systems. Our approach features a component model which unifies hardware and software component models with the concept of bridge component. Bridge components raise the level of abstraction for designing HW/SW interfaces. their specifications are used to configure the co-simulators. Our approach has been applied to co-simulation of sensor system instances included in the TinyOS distribution. the case studies have demonstrated that our approach is readily applicable to real-world embedded systems and reduces co-simulation complexities.

关键词： Bridges Embedded system Hardware design languages Embedded software Sensor systems Computer science Computer languages Specification languages software systems Application software

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：