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

International Conference on Information and Communication Systems (ICICS)

作者： Isabel Braga Sampaio Luís Barbosa Institute of Engineering of Porto Polytechnic Institute of Porto Porto Portugal School of Science and Technology University of Trás-os-Montes and Alto Douro Vila Real Portugal

It is known that code readability has an impact on software quality. This paper introduces a preliminary list of 33 good practices for code readability that could be taught in object oriented programming courses of informatics programs. In this set are included practices with both positive and negative impact, the latter mainly from bad smells. A survey was made with OOP teachers in order to assess the significance of teaching a set of good practices. The results showed that teachers consider it important to teach the defined set. Such result was statistically significant. Still, the same level of significance was not awarded to all practices. Some additional results are presented.

关键词： Education Informatics Software Bibliographies Instruments Electronic mail object oriented programming

来源：评论

学校读者我要写书评

暂无评论

The impact of a 3D visual tool on female students attitude and performance in computer programming

The impact of a 3D visual tool on female students attitude a...

引用

Science and Information Conference (SAI)

作者： Khalid Al-Tahat Nashrawan Taha Basela Hasan Bayan Abu Shawar Faculty of Computing Studies Arab Open University Amman Jordan Library and Information Science Department University of Jordan Amman Jordan

ISBN: (纸本)9781467384612

Alice is an incredibly fun 3D programming environment that allows users to manipulate objects in a 3D world in order to create program animated movies. This paper discusses the impact of adopting Alice on female students' attitude and performance in an introductory computer programming course in Java language. The target population of this research is first year computing students at Arab Open University - Jordan branch. Quasi-experiment was conducted in this research, where two classes were chosen one of which used Alice, and the other class has not used it. Data analysis showed that using Alice had a positive impact on female students' performance and attitude towards computer programming.

关键词： programming profession Computers Java Three-dimensional displays object oriented programming Education

来源：评论

学校读者我要写书评

暂无评论

Translating relational database schemas into object-based schemas: University case study

引用

Recent Patents on Computer Science 2015年第2期8卷 122-131页

作者： Maatuk, Abdelsalam M. Ali, Muhammad A. Aljawarneh, Shadi Benghazi University Libya Northumbria University United Kingdom Software Engineering Department Jordan University of Science and Technology Irbid Jordan

In this paper, we present a solution for translating an existing relational database (RDB) schema with recent patents into relatively newer database (i.e., object-oriented and object-relational database) schemas, based on available standards. The solution is more beneficial compared to the existing approaches as it generates two different and equivalent target schemas based on the user choice. The main aim of the proposed method is to enrich the source RDB semantically with metadata information, which may have not been obviously represented in it. An enriched common data model is then produced, which preserves all necessary characteristics of target models to be mapped into any of the target schemas. A prototype has been designed in order to translate RDBs into target schemas realizing the concepts and algorithms of the approach. An experiment has been conducted, results of which have been very encouraging, and validating the feasibility, efficiency and correctness of the proposed solution. © 2015 Bentham Science Publishers.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

CRONE Toolbox for system identification using fractional differentiation models

引用

IFAC-PapersOnLine 2015年第28期48卷 769-774页

作者： Malti, Rachid Victor, Stéphane Université de Bordeaux IMS-UMR 5218 CNRS - 351 cours de la Libération Talence cedex 33405 France

This paper presents the latest developments for the continuous-time system identification toolbox with fractional models (or fractional order systems): the CRONE toolbox. This toolbox is to be run with Matlab which includes time-domain identification algorithms for estimating continuous-time models directly from sampled data. The originality of the implemented algorithms is that they allow either fixing fractional differentiation orders or estimating them along with transfer function coefficients. One of the main issues when dealing with fractional models is their time-domain simulation. Three different time-domain simulation methods can be used independently from system identification methods. Output Error (OE), state variable filters (SVF) and (optimal) instrumental variables (IV) methods for ARX and OE models are provided to the end-user. The object oriented programming of the toolbox allows overloading standard script names. As a consequence, an end-user familiar with standardMatlab operators and scripts can use straightforwardly the CRONE toolbox. © 2015

关键词： Time domain analysis Calculations Continuous time systems Differentiation (calculus) Estimation Identification (control systems) MATLAB object oriented programming Religious buildings State space methods Fractional calculus Fractional differentiation Fractional order systems Pseudo state Similarity transformation Sub space methods System identification methods Time domain identification

来源：评论

学校读者我要写书评

暂无评论

On complementary principles of object-oriented constraint programming

引用

programming AND COMPUTER SOFTWARE 2010年第5期36卷 264-275页

作者： Semenov, V. A. Dragalov, K. V. Ilyin, D. V. Morozov, S. V. Sidyaka, O. V. Russian Acad Sci Inst Syst Programming Moscow 109004 Russia

The paper is devoted to the implementation of the paradigm of the object-oriented constraint programming (OOCP), which combines complementary ideas and principles of the object-oriented programming (OOP) and constraint logical programming (CLP). Although the idea looks attractive and there have been attempts to implement it with the use of logical and functional languages, its future outline is still not clear. In the paper, a survey of the existing technologies of the constraint programming is given, and a new systematic approach to the implementation of the object-oriented constraint programming based on the use of declarative data modeling languages is discussed. The advantages of the approach related to the expressiveness and generality of the constraint problem declarations are demonstrated on the example of the classical mathematical queen problem. A general algorithmic strategy of solving the constraint problems is also discussed.

关键词： object oriented programming Functional programming Complementary constraint handling object orientation logical

来源：评论

学校读者我要写书评

暂无评论

Testing of aspect-oriented programs: difficulties and lessons learned based on theoretical and practical experience

引用

Journal of the Brazilian Computer Society 2015年第1期21卷 1-25页

作者： Ferrari, Fabiano C. P. Cafeo, Bruno B. Levin, Thiago G. S. Lacerda, Jésus T. L. Lemos, Otávio A. C. Maldonado, José Masiero, Paulo C. Computing Department Federal University of São Carlos Rod. Washington Luis km 235 São CarlosSP13565-905 Brazil Informatics Department Pontifical Catholic University of Rio de Janeiro Rua Marquês de São Vicente 225 RDC Rio de JaneiroRJ22451-900 Brazil Institute of Science and Technology Federal University of São Paulo Rua Talim 330 São José dos CamposSP12231-280 Brazil Computer Systems Department University of São Paulo Avenida Trabalhador São-carlense 400 São CarlosSP13566-590 Brazil

Background: Since the first discussions of new challenges posed by aspect-oriented programming (AOP) to software testing, the real difficulties of testing aspect-oriented (AO) programs have not been properly analysed. Firstly, despite the customisation of traditional testing techniques to the AOP context, the literature lacks discussions on how hard it is to apply them to (even ordinary) AO programs based on practical experience. Secondly, and equally important, due to the cautious AOP adoption focused on concern refactoring, test reuse is another relevant issue that has been overlooked so far. This paper deals with these two issues. It discusses the difficulties of testing AO programs from three perspectives: (i) structural-based testing, (ii) fault-based testing and (iii) test set reuse across paradigms. Methods: Perspectives (i) and (ii) are addressed by means of a retrospective of research done by the authors’ group. We analyse the impact of using AOP mechanisms on the testability of programs in terms of the underlying test models, the derived test requirements and the coverage of such requirements. The discussion is based on our experience on developing and applying testing approaches and tools to AspectJ programs at both unit and integration levels. Perspective (iii), on the other hand, consists of recent exploratory studies that analyse the effort to adapt test sets for refactored systems and the quality of such test sets in terms of structural coverage. Results: Building test models for AO programs imposes higher complexity when compared to the OO paradigm. Besides this, adapting test suites for OO programs to AO equivalent programs tends to require less effort than doing the other way around, and resulting suites achieve similar quality levels for small-sized aplications. Conclusions: The conclusion is that building test models for AO programs, as well as deriving and covering paradigm-specific test requirements, is not straightforward as it has been for pr

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

MIOOP. An object oriented programming paradigm approach on the IEC 61131 standard

MIOOP. An object oriented programming paradigm approach on t...

引用

International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Víctor M. González Angel Luis Sierra Díaz Pablo García Fernández Alejandro Fernández Junquera Ricardo Mayo Bayón University of Oviedo Área de Automática Asturias Spain

This paper presents MIOOP, a new extension of the IEC 61131-3 norm which allows for an object oriented programming paradigm (OOPP) approach for the development of PLC control software. MIOOP supports the basis of OOPP, i.e. abstraction, encapsulation, modularity, hierarchy and polymorphism. In addition, the five programming languages of the IEC 61131-3 norm are supported by MIOOP. Generated code is compliant with the standard specification, allowing for real implementation in those PLCs vendors supporting the new standard.

关键词： IEC standards object oriented modeling Automation Unified modeling language Runtime object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A pedagogical approach to discussing fundamental object-oriented programming principles using the ADT SET

引用

ACM Inroads 2010年第2期1卷 42-52页

作者： Ragonis, Noa School of Education Beit Berl College Israel Department of Education in Technology and Science Technion - Israel Institute of Technology Israel

Computer science (CS) instructors look for "good" examples that allow in-depth discussion of the fundamental concepts of object-oriented programming (OOP), yet keep the implementation framework simple. This paper presents a case study that uses the abstract data type (ADT) Set as such a "good" example. Familiarity with the Set type and the need for relatively basic programming tools for its implementation enable to delve quickly into the desirable discussions. The paper suggests a teaching sequence that includes introducing the problem and different design considerations that relate to the structures of classes and operations;a discussion of the projection of the different designs chosen, focusing on the relations between the classes;and an additional presentation of different representations of the Set values involving effi ciency aspects. The teaching sequence takes into account authentic inputs from students obtained while studying this example, and offers pedagogical guidelines for its use. The example can be used within diverse educational contexts and has already been applied in high school classes, pre-service teacher preparatory courses, and study programs for in-service teachers. © 2010 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Challenges of Requirements Engineering in AUTOSAR Ecosystems 23

Challenges of Requirements Engineering in AUTOSAR Ecosystems

引用

IEEE 23rd International Requirements Engineering Conference (RE)

作者： Soltani, Mozhan Knauss, Eric Gothenburg Univ Software Engn Gothenburg Sweden Chalmers Univ Gothenburg Comp Sci & Engn Gothenburg Sweden

ISBN: (纸本)9781467369053

AUTOSAR has changed significantly how software is developed in the automotive sector. As a central standard, AUTOSAR enables reuse of software components as well as their interoperability. For AUTOSAR compliant ECU development, car manufacturers source Electronic Control Units (ECUs) from Tier-1 suppliers, but ask those Tier-1 suppliers to install AUTOSAR compliant basic software from a certified AUTOSAR-Tier-2 supplier. In this setup (to which we refer as the AUTOSAR ecosystem), the OEM has a direct business relationship with the Tier-1, but only an indirect relationship to the AUTOSAR-Tier-2 supplier, which leads to complex flows of requirements and related information between the organizations involved. In this extended abstract, we summarize preliminary results of a qualitative investigation of Requirements Engineering challenges in the AUTOSAR ecosystem. In particular, we interviewed 7 project managers from an AUTOSAR-Tier-2 supplier, and triangulated our results with 6 additional interviews with subjects from two Tier-1 suppliers and one OEM. We found that most of the requirements towards the AUTOSAR-Tier-2 supplier can be directly mapped to standard AUTOSAR components. However, a significant amount of requirements were new requirements and specific to the OEM or even a project. The well-known requirements engineering challenges we found to surface in the AUTOSAR ecosystem were mainly connected to these nonstandard requirements. Standard and non-standard requirements are usually mixed, which makes it hard to fully leverage the potential benefits of reuse within the AUTOSAR standard. We argue that the holistic ecosystem perspective allows exploration of new strategies for mitigating this challenge.

关键词： automotive engineering formal specification object-oriented programming AUTOSAR compliant ECU development AUTOSAR ecosystems automotive sector car manufacturers central standard certified AUTOSAR-Tier-2 supplier direct business relationship electronic control units holistic ecosystem perspective interoperability nonstandard requirements requirements engineering software components tier-1 suppliers Automotive engineering Business Ecosystems Requirements engineering Software Software engineering Standards Requirements engineering automotive engineering electronic control unit Ecosystem Interoperability object oriented programming Software engineering computer software Business optoelectronic module automaker Formal specifications

来源：评论

学校读者我要写书评

暂无评论

A Contextual Equivalence Checker for IMJ 1

引用

13th International Symposium on Automated Technology for Verification and Analysis (ATVA)

作者： Murawski, Andrzej S. Ramsay, Steven J. Tzevelekos, Nikos Univ Warwick Coventry CV4 7AL W Midlands England Queen Mary Univ London London England

ISBN: (数字)9783319249537

ISBN: (纸本)9783319249537;9783319249520

We present CONEQCT: a contextual equivalence checking tool for terms of IMJ*, a fragment of Interface Middleweight Java for which the problem is decidable. Given two, possibly open (containing free identifiers), terms of the language, the contextual equivalence problem asks if the terms can be distinguished by any possible IMJ context. Although there has been a lot of prior work describing methods for constructing proofs of equivalence by hand, ours is the first tool to decide equivalences for a non-trivial, object-oriented language, completely automatically. This is achieved by reducing the equivalence problem to the emptiness problem for fresh-register pushdown automata. An evaluation demonstrates that our tool works well on examples taken from the literature.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：