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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

220 篇 会议
57 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

236 篇 工学
- 223 篇 计算机科学与技术...
- 165 篇 软件工程
- 15 篇 控制科学与工程
- 5 篇 电气工程
- 5 篇 电子科学与技术（可...
- 5 篇 建筑学
- 4 篇 信息与通信工程
- 4 篇 土木工程
- 4 篇 生物工程
- 3 篇 化学工程与技术
- 3 篇 环境科学与工程（可...
- 2 篇 材料科学与工程（可...
- 2 篇 纺织科学与工程
- 1 篇 光学工程
- 1 篇 冶金工程
- 1 篇 交通运输工程
- 1 篇 农业工程
40 篇 理学
- 21 篇 数学
- 12 篇 系统科学
- 5 篇 生物学
- 4 篇 物理学
- 3 篇 化学
- 1 篇 地质学
29 篇 管理学
- 20 篇 图书情报与档案管...
- 12 篇 管理科学与工程(可...
- 8 篇 工商管理
4 篇 法学
- 4 篇 社会学
- 1 篇 法学
4 篇 教育学
- 4 篇 教育学
1 篇 农学
- 1 篇 作物学

主题

38 篇 object oriented ...
30 篇 computer systems...
25 篇 computer program...
7 篇 java programming...
6 篇 aspect oriented ...
6 篇 parallel program...
6 篇 concurrency
4 篇 computer systems...
4 篇 static analysis
4 篇 semantics
4 篇 synchronization
3 篇 message passing
3 篇 languages
3 篇 memory managemen...
3 篇 pattern matching
3 篇 logic programmin...
3 篇 computer graphic...
3 篇 specifications
2 篇 computer circuit...
2 篇 type systems

机构

3 篇 uppsala univ upp...
3 篇 university of ca...
3 篇 university of to...
3 篇 mit united state...
3 篇 university of bo...
3 篇 stockholm univer...
3 篇 purdue universit...
2 篇 univ of rocheste...
2 篇 univ bologna dis...
2 篇 univ edinburgh e...
2 篇 brown univ unite...
2 篇 school of softwa...
2 篇 columbia univ un...
2 篇 tokyo inst of te...
2 篇 univ paris vi
2 篇 carnegie mellon ...
2 篇 ibm research
2 篇 virginia tech un...
2 篇 department of co...
2 篇 department of co...

作者

7 篇 ricci alessandro
6 篇 wrigstad tobias
5 篇 agha gul
5 篇 masuhara hidehik...
4 篇 hirschfeld rober...
4 篇 yonezawa akinori
4 篇 tokoro mario
3 篇 watanabe takuo
3 篇 nystrom nathanie...
3 篇 santi andrea
3 篇 van den bos jan
3 篇 kafura dennis
3 篇 sarkar vivek
3 篇 springer matthia...
3 篇 vitek jan
2 篇 wegner peter
2 篇 meseguer josé
2 篇 ducasse stéphane
2 篇 wheelhouse mark
2 篇 lincke daniel

语言

277 篇 英文
1 篇 其他

检索条件"任意字段=Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming"

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

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

详细简洁

排序：

24th European Conference on object-Oriented programming, ECOOP 2010 workshop proceedings - workshop 5:12th workshop on Formal Techniques for Java-Like Programs, FTFJP'10

24th European Conference on Object-Oriented Programming, ECO...

引用

24th European Conference on object-Oriented programming, ECOOP 2010 - 12th workshop on Formal Techniques for Java-Like Programs, FTFJP'10

ISBN: (纸本)9781450305402

The proceedings contain 9 papers. The topics discussed include: complete coinductive subtyping for abstract compilation of object-oriented languages;towards a semantic model for java wildcards;strong exception-safety for java-like languages;modular verification of linked lists with views via separation logic;procedure-modular verification of control flow safety properties;prototyping a tool environment for run-time assertion checking in JML with communication histories;aliasing control with view-based typestate;refactoring and representation independence for class hierarchies;and a theory of typestate-oriented programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Formalization of the design phase of software lifecycle: A grammar based approach

Formalization of the design phase of software lifecycle: A g...

引用

24th European Conference on object-Oriented programming, ECOOP 2010 - International workshop on Formalization of Modeling Languages, FML'10

作者： Chanda, Jayeeta Sengupta, Sabnam Kanjilal, Ananya Bhattacharya, Swapan B. P. Poddar Institute of Management and Technology Kolkata India National Institute of Technology Durgapur India

ISBN: (纸本)9781450305327

In object Oriented systems, the design phase can be modeled using the three diagrams: Sequence diagram (which depicts responses of all objects that are involved in a single use case), Class Diagram (which is used to depict the structural aspect of design) and State chart diagram (which is used to depicts the states and state dependent behavior for objects). In this paper, we have proposed a framework for verification of these diagrams, which includes syntactic correctness and inter-diagram consistency. This is done by proposing Context Free Grammar for the three diagrams. The proposed grammar is validated by using Lex and Yacc and parse tree is generated which is an alternate form of the grammar. This framework, being built based on a formal approach, would enable us to automate the process of correctness and consistency verification among the diagrams used in design phase. This would also help us in ensuring requirement traceability on the long run. Copyright 2010 acm.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Designing event-based context transition in context-oriented programming

Designing event-based context transition in context-oriented...

引用

24th European Conference on object-Oriented programming, ECOOP 2010 - 2nd International workshop on Context-Oriented programming, COP'10

作者： Kamina, Tetsuo Aotani, Tomoyuki Masuhara, Hidehiko University of Tokyo Japan Japan Advanced Institute of Science and Technology Japan

ISBN: (纸本)9781450305310

This paper proposes a new programming language EventCJ. Its design stems from our observation that, in many context-aware applications, context changes are triggered by external events. Thus, in addition to the current COP language mechanisms, namely the one to activate/deactivate layers in accordance with a flow of control in programs, and the one to dispatch method calls to partial methods on active layers, we propose a mechanism to declaratively switch contexts of the receiver of events. EventCJ can declare events that trigger context transitions, and context transition rules that define how each instance's context changes when it receives a specific event. After the transition, the instance acquires the context dependent behaviors provided by the activated context. Each event is declared in an AspectJ-like pointcut that specifies where the event is fired in the join points of the system. EventCJ separates the specification of when each context is activated and deactivated that may crosscut whole program in the existing COP languages. Furthermore, the declarative nature of the context transition rules help validation of some properties that the contexts should satisfy. © 2010 acm.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Aliasing control with view-based typestate

Aliasing control with view-based typestate

引用

24th European Conference on object-Oriented programming, ECOOP 2010 - 12th workshop on Formal Techniques for Java-Like Programs, FTFJP'10

作者： Militão, Filipe Aldrich, Jonathan Caires, Luís Carnegie Mellon University United States Dep. de Informática CITI Univ. Nova de Lisboa Portugal

ISBN: (纸本)9781450305402

Tracking the state of an object (in the sense of how a File can be in an Open or Closed state) is difficult not just because of the problem of managing state transitions but also due to the complexity introduced by aliasing. Unchecked duplication of object references makes local reasoning impossible by allowing situations where transitions can be triggered unexpectedly (for instance, passing aliased parameters to a method that expects unaliased parameters, or calling a method that has a side effect through an alias deeply nested in a data structure). We propose a generalization of access permissions that goes beyond a fixed set of permissions to an object. In this paper we present a new aliasing control mechanism that uses a small set of permissions as building block for the creation of views that capture a projection of an object with specific access constraints to its fields and/or methods. This makes permission tracking more fine grained while also making the designer's intent more explicit. We present a few meaningful examples of how these views handle situations such as: separating different sections of an object for safe initialization;and access with either an unbounded number of readers or a single writer (multiple readers or unique writer). Finally, we show a type system for checking correctness of state use in the presence of this kind of controlled aliasing. © 2010 acm.

关键词： Aliasing control View typestate

来源：评论

学校读者我要写书评

暂无评论

Writing concurrent desktop applications in an actor-based programming model

Writing concurrent desktop applications in an actor-based pr...

引用

3rd International workshop on Multicore Software Engineering, IWMSE 2010, in Conjunction with the 32nd acm/IEEE International Conference on Software Engineering, ICSE 2010

作者： Schäfer, Jan Poetzsch-Heffter, Arnd University of Kaiserslautern Computer Science Department D-67653 Kaiserslautern Germany

ISBN: (纸本)9781605589640

GUI frameworks, like Swing, are typically not thread-safe. Desktop applications are thus often written in a purely single-threaded, event-based style. Introducing threads into such applications is not an easy task as potentially all parts of the application may be affected by this change. Instead of using a thread-based programming model, actor models are regaining attention lately. The actor-based CoBox model is based on isolated object-oriented components communicating via asynchronous method calls. The model is implemented in a Java extension, called JCoBox, and has been successfully used to implemented several concurrent desktop applications. In this paper we show how a typical desktop application is designed and implemented in JCoBox. © 2010 acm.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Using a web-based repository to integrate testing tools into programming courses

Using a web-based repository to integrate testing tools into...

引用

acm International Conference Companion on object Oriented programming Systems Languages and Applications Companion, SPLASH '10

作者： Clarke, Peter J. Allen, Andrew A. King, Tariq M. Jones, Edward L. Natesan, Prathiba School of Computing and Info. Sciences Florida International University Miami FL 33199 United States Dept. of Computer Science North Dakota State University Fargo ND 58108 United States Dept. of Computer and Info. Sciences Florida A and M University Tallahassee FL 32307 United States Department of Educational Psychology University of North Texas Denton TX 76203 United States

ISBN: (纸本)9781450302401

Improving the quality of software developed in the 21st century is one of the major challenges in the software industry. Addressing this problem will require that academic institutions play a key role in training developers to produce high quality software. Unfortunately, students and instructors continue to be frustrated by the lack of support provided when selecting appropriate testing tools and program analyzers to verify programs under development. In this paper we present an approach that integrates the use of software testing tools into programming and software engineering courses. The approach consists of three phases, developing an online repository with learning resources, training instructors in the area of testing techniques and tools, and integrating the use of testing tools into various programming courses. We also present the results of the first instructors' workshop and studies on integrating testing tools into two courses, CS2 and Software Engineering (SE). © 2010 acm.

关键词： Integration testing

来源：评论

学校读者我要写书评

暂无评论

Modular typestate checking in concurrent Java programs

Modular typestate checking in concurrent Java programs

引用

OOPSLA 2009 Companion - 24th Annual acm Conference on object-Oriented programming, Systems, Languages and Applications, OOPSLA 2009

作者： Beckman, Nels E. Institute for Software Research School of Computer Science Carnegie Mellon University United States

ISBN: (纸本)9781605587660

In previous work we described a modular static analysis based on access permission annotations, which describe the ways in which a reference can be aliased, for preventing the improper use of object protocols in concurrent programs. That system was based on atomic blocks, a mutual exclusion primitive not yet in wide use. Now we extend that system to programs written using synchronized blocks, which are in wide use today. This system can verify concurrent programs without any concurrency-specific annotations.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Erlang'09 - proceedings of the 2009 acm sigplan Erlang workshop, Co-located with the International Conference on Functional programming, ICFP'09

Erlang'09 - Proceedings of the 2009 ACM SIGPLAN Erlang Works...

引用

8th acm sigplan Erlang workshop, Erlang'09, Co-located with the Annual International Conference on Functional programming, ICFP'09

ISBN: (纸本)9781605585079

The proceedings contain 10 papers. The topics discussed include: cleaning up Erlang code is a dirty job but somebodys gotta do it;automated module interface upgrade;automatic assessment of failure recovery in Erlang applications;teaching Erlang using robotics and player/stage;development of a distributed system applied to teaching and learning;ECT: an object-oriented extension to Erlang;implementing an LTL-to-Büchi translator in Erlang;model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck;automatic testing of TCP/IP implementations using Quickcheck;and recent improvements to the McErlang model checker.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The function concept in C++: An empirical study

The function concept in C++: An empirical study

引用

2009 acm sigplan workshop on Generic programming, WGP'09, Co-located with the International Conference on Functional programming, ICFP 2009

作者： Lincke, Daniel Schupp, Sibylle Potsdam Institute for Climate Impact Research Germany Hamburg Univ. of Technology Germany

ISBN: (纸本)9781605585109

Higher-order functions are essential for generic programming. While they are naturally supported in functional programming languages, there are no higher-order functions in C++. There, various function datatypes exist that simulate the effect of higher-order programming in different ways-as classes designed in the imperative, object-oriented, or meta-programming *** the recent addition of concepts, another alternative for supporting parameterization by functions has yet become available. No guidelines exist, however, whether, or when, to prefer a concept for functions over any of the existing function datatypes;nor have the function datatypes themselves been compared. We provide an empirical study that assesses performance, expressivity, and convenience. The study shows that the function concept mechanism is faster and at least as expressive as the best function datatype, but, due to the principal difference between concept- and type-based approaches, also less convenient to use. Copyright © 2009 acm.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

On PDG-based noninterference and its modular proof

On PDG-based noninterference and its modular proof

引用

acm sigplan 4th workshop on programming Languages and Analysis for Security, PLAS 2009

作者： Wasserrab, Daniel Lohner, Denis Snelting, Gregor Germany

ISBN: (纸本)9781605586458

We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensitive, context-sensitive, and object-sensitive;thus offering more precision than traditional approaches. While the method has been implemented and successfully applied to realistic Java programs, only a manual proof of a fundamental correctness property was available so far. The new proof is based on a new correctness proof for intraprocedural PDGs and program slices. Both proofs are formalized in Isabelle/HOL. They rely on abstract structures and properties instead of concrete syntax and definitions. Carrying the correctness proof over to any given language or dependence definition reduces to just showing that it fulfills the necessary preconditions, thus eliminating the need to develop another full proof. We instantiate the framework with both a simple while language and Java bytecode, as well as with three different control dependence definitions. Thus we obtain 6 IFC correctness proofs for the price of 11 2 . Copyright c 2009 acm.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：