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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

27 篇 会议
2 册 图书

馆藏范围

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

日期分布

学科分类号

21 篇 工学
- 20 篇 计算机科学与技术...
- 7 篇 软件工程
- 2 篇 信息与通信工程
- 1 篇 电气工程
1 篇 教育学
- 1 篇 教育学
1 篇 理学
- 1 篇 数学
1 篇 管理学
- 1 篇 图书情报与档案管...

主题

8 篇 object oriented ...
2 篇 software enginee...
2 篇 c++ (programming...
2 篇 database managem...
2 篇 programming tech...
2 篇 programming lang...
1 篇 oriented languag...
1 篇 programming prof...
1 篇 learning program...
1 篇 object-oriented ...
1 篇 software documen...
1 篇 java
1 篇 game-based learn...
1 篇 model-based
1 篇 categories type ...
1 篇 multicast commun...
1 篇 calculations
1 篇 symbolic animati...
1 篇 hypertext system...
1 篇 costs

机构

1 篇 univ minnesota d...
1 篇 univ siegen dept...
1 篇 lirmm university...
1 篇 kdu univ coll sc...
1 篇 school of comput...
1 篇 univ franche com...
1 篇 rank xerox resea...
1 篇 department of co...
1 篇 memorial univers...
1 篇 tech univ darmst...
1 篇 umeä university
1 篇 department of co...
1 篇 univ paris 01 cr...
1 篇 williams college...
1 篇 daimler benz ag ...
1 篇 microsoft res re...
1 篇 polish japanese ...
1 篇 institut für com...
1 篇 institute of tel...
1 篇 object technol i...

作者

1 篇 miller r
1 篇 fiech adrian
1 篇 czarnecki krzysz...
1 篇 khoo li jing
1 篇 strauss t
1 篇 schulte w
1 篇 jurgen borstler
1 篇 czarnecki k
1 篇 irit hadar
1 篇 mezini m
1 篇 meijers m
1 篇 mario tokoro
1 篇 theel o
1 篇 reupke urs
1 篇 subieta kazimier...
1 篇 liquori l
1 篇 quibeldey-cirkel...
1 篇 tan wee hoe
1 篇 szafron duane
1 篇 holst wade

语言

29 篇 英文

检索条件"任意字段=Proceedings of the 1997 11th European Conference on Object-Oriented Programming, ECOOP"

共 29 条记录，以下是1-10 订阅

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

详细简洁

排序：

Owicki-gries reasoning for C11 RAR 34

Owicki-gries reasoning for C11 RAR

引用

34th european conference on object-oriented programming, ecoop 2020

作者： Dalvandi, Sadegh Doherty, Simon Dongol, Brijesh Wehrheim, Heike University of Surrey United Kingdom University of Sheffield United Kingdom Paderborn University Germany

ISBN: (纸本)9783959771542

Owicki-Gries reasoning for concurrent programs uses Hoare logic together with an interference freedom rule for concurrency. In this paper, we develop a new proof calculus for the C11 RAR memory model (a fragment of C11 with both relaxed and release-acquire accesses) that allows all Owicki-Gries proof rules for compound statements, including non-interference, to remain unchanged. Our proof method features novel assertions specifying thread-specific views on the state of programs. this is combined with a set of Hoare logic rules that describe how these assertions are affected by atomic program steps. We demonstrate the utility of our proof calculus by verifying a number of standard C11 litmus tests and Peterson’s algorithm adapted for C11. Our proof calculus and its application to program verification have been fully mechanised in the theorem prover Isabelle. © Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, and Heike Wehrheim.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

Odyssey of Phoenix: A Propriety Game Based Learning Game to Learn object-oriented programming 11

Odyssey of Phoenix: A Propriety Game Based Learning Game to ...

引用

11th european conference on Game-Based Learning (ECGBL)

作者： Wong, Yoke Seng Yatim, Maizatul Hayati Binti Mohammad Tan, Wee Hoe Khoo, Li Jing KDU Univ Coll Sch Comp & Creat Media Shah Alam Malaysia Sultan Idris Educ Univ Falcuty Art Comp & Creat Ind Tanjung Malim Malaysia

ISBN: (纸本)9781911218579;9781911218562

object-oriented programming is a required fundamental skillset for all computer science related students. However, teaching object-oriented programming to undergraduate year one students is challenging and academician need to use a different approach to find suitable methods to enhance student understanding, self-interest and self-experimentation. However, the classroom-based learning and teaching methods are insufficient to support learners or students, especially in learning a programming related subject. A game-based learning approach could be an efficient way for the students to learn object-oriented programming. this is mainly because the empirical evidence that validates computer games is an efficient tool for learning object-oriented programming is still absent from the literature. the proposed computer game is developed according to the game-based learning design approach model, where several relevant theories, such as condition of learn, operant conditioning, constructive, hierarchy of needs and bloom taxonomy are included to ensure that the entire learning process is motivating and easy to learn. the game-based learning design model is divided to three layers, such as presentation layer, learning theory layer and core game-play layer. Each layer covers a different expect, where focus is on how to make the learning environment more effective for player to learn object-oriented programming. the proposed game is a role-playing game named Odyssey of Phoenix that motivates users to learn object-oriented programming in an easy and interactive environment. Players will play along the flow of each game quest and they will easily learn and pick up the object-oriented programming paradigm. Players are not required to have any coding practice and learn via the provided game-play with pseudo code support. A group of 20 students in the second year of Bachelor of Computer Science were offered to participate a pilot testing to evaluate the game. the respondents showed po

关键词： game-based learning model learning programming object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

proceedings of the 3rd International Workshop on Context-oriented programming, COP'11 - Co-located with the 25th european conference on object-oriented programming, ecoop 2011

Proceedings of the 3rd International Workshop on Context-Ori...

引用

3rd International Workshop on Context-oriented programming, COP'11 - Co-located with the 25th european conference on object-oriented programming, ecoop 2011

ISBN: (纸本)9781450308915

the proceedings contain 7 papers. the topics discussed include: featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition;safer context (de)activation - through the prompt-loyal strategy;a context management infrastructure with language integration support;JavaCtx: seamless toolchain integration for context-oriented programming;context-oriented programming for mobile devices: JCop on Android;implementing scoped method tracing with ContextJS;and CJAdviser: SMT-based debugging support for ContextJ*.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ODRA: A next generation object-oriented environment for rapid database application development

引用

11th East european conference on Advances in Databases and Information Systems

作者： Lentner, Michal Subieta, Kazimierz Polish Japanese Inst Informat Technol ul Koszykowa 86 PL-02008 Warsaw Poland

ISBN: (纸本)9783540751847

ODRA (object Database for Rapid Application development) is an object-oriented application development environment currently being constructed at the Polish-Japanese Institute of Information Technology. the aim of the project is to design a next-generation development tool for future database application programmers. the tool is based on the query language SBQL (Stack-Based Query Language), a new, powerful and high level object-oriented programming language tightly coupled with query capabilities. the SBQL execution environment consists of a virtual machine, a main memory DBMS and an infrastructure supporting distributed computing. the paper presents design goals of ODRA, its fundamental mechanisms and some relationships with other solutions.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Towards automated restructuring of object oriented systems

Towards automated restructuring of object oriented systems

引用

11th european conference on Software Maintenance and Reengineering

作者： Trifu, Adrian Reupke, Urs FZI Forschungzentrum Informat Haidu U Neu Str 10-14 D-76131 Karlsruhe Germany

ISBN: (纸本)9780769528021

Software aging is an important cost contributor to the maintenance of aging software systems. Recent years have brought significant progress in the area of automatic detection of "code smells" as well as tool support for refactoring and implementing design patterns in the code. Nonetheless, there is hardly any tool support to help the maintainer decide how to refactor in a given situation, such that the recommended refactorings are also meaningful in that particular situation. Most of the existing techniques are either merely supporting the process, such as visualizations, or cannot guarantee meaningful refactorings, such as optimization based techniques. this paper introduces and experimentally evaluates a novel, tool supported approach to determine meaningful refactorings to structural flaws in object oriented systems. the refactorings recommended by our approach are guaranteed to lead to a meaningful and more maintainable structure in each analyzed situation. the approach contributes to a dramatic reduction of costs, by reducing the: need and scope of detailed, manual code analysis.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Pedagogies and Tools for the Teaching and Learning of object oriented Concepts Report on the 11th Workshop TLOOC at ecoop 2007 07

引用

21th european conference on object-oriented programming (ecoop 2007)

作者： Jurgen Borstler Irit Hadar Umeä University Sweden University of Haifa Israel

ISBN: (纸本)9783540781943

this report summarizes the results of the eleventh workshop on pedagogies and tools for the teaching and learning of object-oriented concepts. the focus of this year's workshop was on desirable properties of examples and the usage of simple tools. the workshop gathered 17 participants, all from academia, from 7 different countries.

关键词：

来源：评论

学校读者我要写书评

暂无评论

JML-Testing-Tools: A symbolic animator for JML specifications using CLP

引用

11th International conference on Tools and Algorithms for the Construction and Analysis of Systems

作者： Bouquet, F Dadeau, F Legeard, B Utting, M Univ Franche Comte CNRS INRIA Lab Informat LIFC F-25030 Besancon France

ISBN: (纸本)3540253335

this paper describes a tool for symbolically animating JML specifications using Constraint Logic programming. A customized solver handles constraints that represent the value of instance fields. We have extended a model-based approach to be able to handle object-oriented specifications. Our tool is also able to check properties during the simulation and exhibit counter-examples for false properties. therefore, it can be used both for semi-automated verification and for validation purposes.

关键词： Java Modeling language model-based object-oriented symbolic animation

来源：评论

学校读者我要写书评

暂无评论

Symstra: A framework for generating object-oriented unit tests using symbolic execution

引用

11th International conference on Tools and Algorithms for the Construction and Analysis of Systems

作者： Xie, T Marinov, D Schulte, W Notkin, D Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA Univ Illinois Dept Comp Sci Urbana IL 61801 USA Microsoft Res Redmond WA 98052 USA

ISBN: (纸本)3540253335

object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method's arguments and the state of the receiver at the beginning of the invocation. Correspondingly, generating unit tests involves two tasks: generating method sequences that build relevant receiver-object states and generating relevant method arguments. this paper proposes Symstra, a framework that achieves both test generation tasks using symbolic execution of method sequences with symbolic arguments. the paper defines symbolic states of object-oriented programs and novel comparisons of states. Given a set of methods from the class under test and a bound on the length of sequences, Symstra systematically explores the object-state space of the class and prunes this exploration based on the state comparisons. Experimental results show that Symstra generates unit tests that achieve higher branch coverage faster than the existing test-generation techniques based on concrete method arguments.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Integration of a dynamic object replication framework in Java 11

Integration of a dynamic object replication framework in Jav...

引用

11th Euromicro conference on Parallel, Distributed and Network-Based Processing

作者： Strauss, T theel, O Tech Univ Darmstadt D-64283 Darmstadt Germany

ISBN: (纸本)0769518753

By the use of dynamic replication schemes - in comparison with static replication schemes - a tremendous increase of read and write operation availabilities can be achieved. Furthermore, object-oriented programming languages like Java offer excellent possibilities for the abstraction of complex problems. In this paper we present our solution of combining dynamic replication and its use in object-oriented programming. More precisely, we show how Java objects can be made highly available through the use of dynamic replication in an almost transparent manner from the Java application programmer's perspective. this is done by using a general, highly flexible framework which enables the use of a large number of dynamic replication schemes. We show how the framework can be integrated, such that it is conveniently available for Java application programmers. We demonstrate its simple use, even when being introduced a posteriori in a Java program: one need only to modify a few lines of code.

关键词： Availability Costs Dynamic programming Java Multicast communication object oriented programming programming profession Software maintenance

来源：评论

学校读者我要写书评

暂无评论

european conference on object-oriented programming, ecoop 2001

European Conference on Object-Oriented Programming, ECOOP 20...

引用

european conference on object-oriented programming, ecoop 2001

ISBN: (纸本)3540436758

the proceedings contain 19 papers. the special focus in this conference is on object-oriented programming. the topics include: 11th workshop for PhD students in object-oriented systems;quality of service in distributed object systems and distributed multimedia object/component systems;formal techniques for java programs;automating object-oriented software development methods;adaptive object-models and metamodeling techniques;specification, implementation, and validation of object-oriented embedded systems;feature interaction in composed systems;6thworkshop on component-oriented programming;advanced separation of concerns;multiparadigm programming with OO languages;generative programming;4th workshop on object-oriented architectural evolution;7th workshop on mobile object systems;the next 700 distributed object systems;quantitative approaches in object-oriented software engineering;object-oriented business solutions;4th workshop on OO and operating systems;the next 700 distributed object systems and poster session.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共3页 << < 1 2 3 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：