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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是31-40 订阅

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

详细简洁

排序：

ICDO: Integrated cloud-based development tool for DevOps 14

ICDO: Integrated cloud-based development tool for DevOps

引用

14th symposium on programming languages and software tools, splst 2015

作者： Ahmadighohandizi, Farshad Systä, Kari Department of Pervasive Computing Tampere University of Technology Korkeakoulunkatu 10 TampereFI-33720 Finland

this research is based on three drivers. Firstly, software development and deployment cycles are getting shorter and require automatic building and deployment processes. Secondly, elastic clouds are available for both hosting and development of applications. thirdly, the increasingly popular DevOps introduces new organizational and business culture. this paper presents a research prototype and demonstrator of an integrated development tool. the tool is cloud based and thus accessible from any Web-enabled terminal. Automation is maximized so that deployment cycles can be as fast as possible. Since the aim is to use cloud resources as a utility in a flexible manner, cloud brokering { i.e. finding the most suitable provider { is included in the system. the contributions of the paper include: an idea of a new kind of DevOps tool, description on how it can be implemented on top of standard components and implications to software development processes.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

KenyaEclipse: Learning to program in eclipse

KenyaEclipse: Learning to program in eclipse

引用

ESEC/FSE'05 - Joint 10th European software Engineering Conference (ESEC) and 13th ACM SIGSOFT symposium on the Foundations of software Engineering (FSE-13)

作者： Chatley, Robert Timbul, thomas Department of Computing Imperial College London 180 Queen's Gate London SW7 2AZ

ISBN: (纸本)1595930140

A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching language" to introduce programming concepts. At the same time, we want to introduce students to popular tools that assist in the software development process. However, up until now our teaching language, Kenya, has not been supported by professional IDEs. therefore, we have been unable to progress smoothly from first principles to the state of the art within one environment. We present work that integrates the Kenya language into the Eclipse environment. Students can now become familiar with the major features of a professional IDE while learning to program, and experience a smooth transition to commercial languages within the same environment. One of the hardest things to teach students is good programming style. Compilers reveal syntactic and type errors, but do not analyse style. We have harnessed as-you-type code checking, as seen in Eclipse's Java development tools, to provide advice on program style as well as correctness. Copyright 2005 ACM.

关键词： Computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

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

Practical Aspects of Declarative Languages: 10th Internation...

引用

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

ISBN: (纸本)3540774416

the proceedings contain 21 papers. the topics discussed include: industrial fractional programming;certified development tools implementation in objective Caml;automatic coding rule conformance checking using logic programming;comprehension and dependency analysis of aspect-oriented programs through declarative reasoning;efficient reasoning for nogoods in constraint solvers with BDDs;flexible, rule-based constraint model linearisation;the role of abduction in declarative authorization policies;unification arrays in spreadsheets with logic programming;specialising simulator generators for high-performance Monte-Carlo methods;a generic programming toolkit for PADS/ML: first-class upgrades for third-party developers;and Matchete: paths through the pattern matching jungle.

关键词： Automatic programming

来源：评论

学校读者我要写书评

暂无评论

Users Beware: Preference Inconsistencies Ahead 2015

Users Beware: Preference Inconsistencies Ahead

引用

10th Joint Meeting of the European software Engineering Conference (ESEC) / ACM SIGSOFT symposium on the Foundations of software Engineering (FSE)

作者： Behrang, Farnaz Cohen, Myra B. Orso, Alessandro Georgia Tech Coll Comp Atlanta GA 30332 USA Univ Nebraska Dept Comp Sci & Engn Lincoln NE 68588 USA

ISBN: (纸本)9781450336758

the structure of preferences for modern highly-configurable software systems has become extremely complex, usually consisting of multiple layers of access that go from the user interface down to the lowest levels of the source code. this complexity can lead to inconsistencies between layers, especially during software evolution. For example, there may be preferences that users can change through the GUI, but that have no effect on the actual behavior of the system because the related source code is not present or has been removed going from one version to the next. these inconsistencies may result in unexpected program behaviors, which range in severity from mild annoyances to more critical security or performance problems. To address this problem, we present SCIC (software Configuration Inconsistency Checker), a static analysis technique that can automatically detect these kinds of inconsistencies. Unlike other configuration analysis tools, SCIC can handle software that (1) is written in multiple programming languages and (2) has a complex preference structure. In an empirical evaluation that we performed on 10 years worth of versions of both the widely used Mozilla Core and Firefox, SCIC was able to find 40 real inconsistencies (some determined as severe), whose lifetime spanned multiple versions, and whose detection required the analysis of code written in multiple languages.

关键词： Configurable systems software evolution

来源：评论

学校读者我要写书评

暂无评论

Industrial functional programming

Industrial functional programming

引用

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

作者： Launchbury, John Galois Inc. 12725 SW Millikan Way Beaverton OR 97005

ISBN: (纸本)3540774416

Functional languages have been the backbone of Galois' business for the past eight years. they have been very good for us, but not without their own share of challenges. In this talk, we shall stand back and examine the practicalities of using declarative methods over a range of projects and products, to see what works well in practice, and conversely where we have found the tools to fall short. © Springer-Verlag Berlin Heidelberg 2008.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

PANACEA - Towards a self-healing development framework

PANACEA - Towards a self-healing development framework

引用

10th IFIP/IEEE International symposium on Integrated Network Management

作者： Breitgand, David Goldstein, Maayan Henis, Ealan Shehory, Onn Weinsberg, Yaron IBM Haifa Res Lab Haifa Israel Hebrew Univ Jerusalem Jerusalem Israel

ISBN: (纸本)9781424407989

Self-healing capabilities allow software systems to overcome problems occurring during testing and run time, and thus improve overall system behavior. the PANACEA framework introduced in this paper provides a design methodology as well as ready-to-use healing elements aimed at enhancing software systems with self-healing capabilities both at design time and at run time. the PANACEA approach is based on inserting self-healing elements into the system at design and coding time, to be used later for healing at testing and run time. Specifically, the PANACEA framework is based on inserting annotations into the system code at design and coding time, to later on serve as an interface for runtime monitoring, managing, configuring and healing of the annotated system components. the current embodiment Of PANACEA includes several generic components that provide self-heating capabilities suited for a variety of application types. the PANACEA runtime environment automatically activates and invokes these components in order to optimize and heal the application. the PANACEA framework provides an innovative programming model that enables development of advanced self-healing applications. PANACEA introduces a paradigm shift in which software is made self-healing by design. this paradigm shift, however, is graceful since developers are not required to master neither new programming skills, nor languages. As our initial experiments demonstrate, PANACEA introduces a very small performance overhead, and scales well.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

ASTEC: A new approach to refactoring C

ASTEC: A new approach to refactoring C

引用

ESEC/FSE'05 - Joint 10th European software Engineering Conference (ESEC) and 13th ACM SIGSOFT symposium on the Foundations of software Engineering (FSE-13)

作者： McCloskey, Bill Brewer, Eric Computer Science Division University of California EECS Berkeley

ISBN: (纸本)1595930140

the C language is among the most widely used in the world, particularly for critical infrastructure software. C programs depend upon macros processed using the C preprocessor, but these macros are difficult to analyze and are often error-prone [4]. Existing tools that analyze and transform C source code have rudimentary support for the preprocessor, leading to obscure error messages and difficulty refactoring. We present a three part solution: (1) a replacement macro language, ASTEC, that addresses the most important important deficiencies of the preprocessor and that eliminates many of the errors it introduces;(2) a translator, Macroscope, that converts existing code into ASTEC semi-automatically;and (3), an ASTEC-aware refactoring tool that handles preprocessor constructs naturally. ASTEC'S primary benefits are its analyzability and its refactorability. We present several refactorings that are enabled by ASTEC. Additionally, ASTEC eliminates many of the sources of errors that can plague C preprocessor macros;Ernst et al. [4] estimate that more than 20% of macros may contain errors. In this paper, we describe our translation and refactoring tools and evaluate them on a suite of programs including OpenSSH and the Linux kernel. Copyright 2005 ACM.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Proceedings 10th IEEE International symposium on Object and Component-Oriented Real-Time Distributed Computing ISORC 2007

Proceedings 10th IEEE International Symposium on Object and ...

引用

10th IEEE International symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007

ISBN: (纸本)0769527655

the proceedings contain 54 papers. the topics discussed include: a systematic approach to domain-specific language design using UML;periodic finite-state machines;engineering self-coordinating real-time systems;efficient adaptations of the non-blocking buffer for event message communication between real-time threads;a timing assumption and a t-resilient protocol for implementing an eventual leader service in asynchronous shared memory systems;time-predictable task preemption for real-time systems with direct-mapped instruction cache;integrating priority inheritance algorithms in the real-time specification;analyzing behavior of concurrent software design for embedded systems;and evaluating real-time publish/subscribe service integration approaches in QoS-enabled component middleware.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Flexible and extensible notations for modeling languages

引用

10th International Conference on Fundamental Approaches to software Engineering

作者： Gao, Jimin Heimdahl, Mats Van Wyk, Eric Univ Minnesota Dept Comp Sci & Engn Minneapolis MN 55455 USA

ISBN: (纸本)9783540712886

In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. the availability of a modeling language well-suited for the system under development and appropriate tool support are of utmost importance to practitioners. Considering the diverse needs of different application domains, flexibility in the choice of modeling languages and tools may advance the industrial acceptance of formal methods. We describe a flexible modeling language framework by which language and tool. developers may better meet the special needs of various users groups without incurring prohibitive costs. the framework is based on a modular and extensible implementation of languages features using attribute grammars and forwarding. We show a prototype implementation of such a framework by extending the host language Mini-Lustre, an example synchronous data-flow language, with a collection of features such as state transitions, condition tables, and events. We also show how new languages can be created in this framework by feature composition.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Certified development tools implementation in Objective Caml

Certified development tools implementation in Objective Caml

引用

10th International symposium on Practical Aspects of Declarative languages

作者： Pagano, Bruno Andrieu, Olivier Canou, Benjamin Chailloux, Emmanuel Colaco, Jean-Louis Moniot, thomas Wang, Philippe Esterel Technol 8 Rue Blaise Pascal F-78890 Elancourt France ENS Cachan F-35170 Bruz France Univ Pierre & Marie Curie Paris 6 Lab Informat Paris 6 LIP6 - UMR 7606 F-75016 Paris France Siemens VDO Automot F-31036 Toulouse France

ISBN: (纸本)9783540774419

this paper presents our feedback from the study on the use of Objective Caml for safety-critical software development tools implementation. As a result, Objective Caml is now used for the new Scade (TM) certified embedded-code generator. the requirements for tools implementation are less strict than those for the embedded code itself. However, they are still quite demanding and linked to imperative languages properties, which are usually used for this kind of development. the use of Objective Caml is outstanding: firstly for its high level features (functional language of higher order, parametric polymorphism, pattern matching), secondly for its low level mechanisms needed by the runtime system (CC, exceptions). In order to develop the tools to check the safety-critical software development rules, it is necessary to reinterpret them for this language, and then to adapt Objective Caml so that it satisfies them. thus, we propose a language restriction and a simplified runtime library in order that we can define and measure the coverage of a program written in Objective Caml according to the MC/DC criteria. then we can look forward to seeing this kind of languages spread out the industrial environment, while raising the abstraction level in the conception and implementation of tools for certified programs production.

关键词： code coverage tests measurement functional programming objective caml civil avionics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：