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

Proceedings of the 2005 international symposium on Wikis

作者： Stéphane Ducasse Lukas Renggli Roel Wuyts University of Bern - Switzerland netstyle.ch GmbH Bern - Switzerland DeComp Université Libre de Bruxelles - Belgium

ISBN: (纸本)9781595931115

Wikis are often implemented using string-based approaches to parse and generate their pages. While such approaches work well for simple wikis, they hamper the customization and adaptability of wikis to the variety of end-users when more sophisticated needs are required (i.e., different output formats, user-interfaces, wiki management, security policies,...). In this paper we present SmallWiki, the second version of a fully object-oriented implementation of a wiki. SmallWiki is implemented with objects from the top to the bottom and it can be customized easily to accommodate new needs. In addition, SmallWiki is based on a powerful meta-description called Magritte that allows one to create user-interface elements declaratively.

关键词： meta-modeling smalltalk object-oriented programming seaside design and implementation

来源：评论

学校读者我要写书评

暂无评论

Micro patterns in Java code 05

Micro patterns in Java code

引用

Proceedings of the 20th annual ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications

作者： Joseph (Yossi) Gil Itay Maman Technion--Israel Institute of Technology

ISBN: (纸本)9781595930316

Micro patterns are similar to design patterns, except that micro patterns are stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in that they are mechanically recognizable, since each such pattern can be expressed as a formal condition on the structure of a *** paper presents a catalog of 27 micro-patterns defined on Java classes and interfaces. The catalog captures a wide spectrum of common programming practices, including a particular and (intentionally restricted) use of inheritance, immutability, data management and wrapping, restricted creation, and emulation of procedural-, modular-, and even functional- programming paradigms with object oriented constructs. Together, the patterns present a set of prototypes after which a large portion of all Java classes and interfaces are modeled. We provide empirical indication that this portion is as high as 75%.A statistical analysis of occurrences of micro patterns in a large software corpus, spanning some 70,000 Java classes drawn from a rich set of application domains, shows, with high confidence level that the use of these patterns is not random. These results indicate consciousness and discernible design decisions, which are sustained in the software evolution. With high confidence level, we can also show that the use of these patterns is tied to the specification, or the purpose, that the software *** traceability, abundance and the statistical significance of micro pattern occurrence raise the hope of using the classification of software into these patterns for a more founded appreciation of its design and code quality.

关键词： object-oriented programming implementation patterns program analysis design patterns

来源：评论

学校读者我要写书评

暂无评论

Solving systems of partial differential equations using object-oriented programming techniques with coupled heat and fluid flow as example

引用

ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE 2001年第1期27卷 1-26页

作者： Langtangen, HP Munthe, O Univ Oslo Dept Math N-0316 Oslo Norway

This paper exploits object-oriented implementation techniques to facilitate the development of computer codes for solving systems of coupled partial differential equations. We show how to build a simulator for equation systems by merging independent solvers for each equation that enters the system. The main goal is to obtain a rapid, robust, and reliable software development process with extensive reuse of implemented code. Coupled heat and fluid flow in pipes is used as example for illustrating the implementation techniques. We also present some results for the particular case of temperature-dependent generalized Newtonian fluid flow between two nonconcentric cylinders. The general applicability of the approach is discussed.

关键词： design systems of partial differential equations software development object-oriented programming coupled heat-fluid C plus Diffpack finite elements non-Newtonian fluids

来源：评论

学校读者我要写书评

暂无评论

A C++ object-oriented programming strategy for the implementation of the finite element sensitivity analysis for a non-linear structural material model

引用

ADVANCES IN ENGINEERING SOFTWARE 2001年第12期32卷 927-935页

作者： Gil, L Bugeda, G Tech Univ Catalonia UPC Dept Strength Mat & Struct Engn Barcelona 08034 Spain

The Finite Element Method (FEM) has become the most popular numerical method for solving a wide variety of complex engineering problems. However, from the programming point of view, when a FEM program has a lot of computational capabilities it is very difficult to maintain and enlarge the program codes. Recently the object-oriented programming paradigm has become a powerful method for overcoming such difficulties. This paper contains the description of an open environment for the FEM, written in C+ +, with explanations about how the sensitivity analysis and the non-linear material behaviour (damage models) have been taken into account. (C) 2001 Elsevier Science Ltd. All rights reserved.

关键词： sensitivity analysis non-linear analysis object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

VORPAL: a versatile plasma simulation code

引用

JOURNAL OF COMPUTATIONAL PHYSICS 2004年第2期196卷 448-473页

作者： Nieter, C Cary, JR Univ Colorado Ctr Integrated Plasma Studies Boulder CO 80309 USA Univ Colorado Dept Phys Boulder CO 80309 USA

VORPAL is a new plasma simulation code designed for maximum flexibility through use of advance C++ techniques. Through use of inheritance, VORPAL incorporates multiple models for the plasma and electromagnetic fields. The plasma models include both particle-in-cell and fluid models. Through C++ meta-template programming a single code can be used to simulate one-, two-, or three-dimensional systems with no loss of performance. VORPAL can also be run in either serial or parallel, with the latter using a general domain decomposition. A new fluid algorithm that allows for regions of zero density was developed and incorporated into the code. VORPAL simulation results for the generation of laser wake fields through laser-plasma interaction are presented. (C) 2003 Elsevier Inc. All rights reserved.

关键词： plasma physics object-oriented programming hybrid simulations laser-plasma interactions

来源：评论

学校读者我要写书评

暂无评论

Formal verification of real-time embedded software in an object-oriented application framework

引用

IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES 2004年第6期151卷 417-434页

作者： Hsiung, PA Lee, TY Fu, JM See, WB Natl Chung Cheng Univ Dept Comp Sci & Informat Engn Chiayi Taiwan Natl Taiwan Univ Technol Dept Elect Engn Taipei Taiwan Cheng Shiu Univ Dept Elect Engn Kaohsiung Taiwan Aerosp Ind Dev Corp Taichung Taiwan

With the rapid escalation in design complexity of real-time embedded software, application frameworks have become an almost indispensable tool because they greatly ease the work of a designer by performing tedious tasks on behalf of a designer and by reusing semi-complete application codes. To ensure code quality and reliability, computer-aided analysis is also performed for the generated application software in some frameworks. However, when the target is real-time embedded systems, the correctness of the software in terms of satisfying all user-given real-time and embedded constraints becomes a primary objective for such frameworks. To guarantee correctness, formal verification in the form of model checking is a viable solution due to its full automation capability. Nevertheless, little is known from either the existing literature or industrial experience on how formal verification can be integrated into an object-oriented application framework, whose primary purpose was previously only to design and generate application software. This work contributes to the state-of-art technology by showing how a design framework and a verification framework can be integrated. Three main issues are tackled: (i) what to verify?;(ii) when to verify?;and (iii) how to verify? As a solution to these three issues the authors propose a mapping from the object-oriented model to a formal model, a schedule-verify-map strategy and a compositional verification methodology, respectively. These have been implemented in a component-based framework and experiments performed to illustrate their feasibility. Due to the incorporation of industry de-facto standards such as real-time unified modelling language and real-time Java, in the proposed techniques it should now be possible for an engineer to gain access to theoretically proven formal verification technologies that would otherwise be considered to be inaccessible to an engineer unskilled in verification techniques.

关键词： embedded constraints object-oriented model object-oriented programming compositional verification methodology formal model software quality software reliability schedule-verify-map strategy real-time Java Java computer aided software engineering computer-aided analysis code quality model checking programming support Unified Modeling Language real-time Unified Modelling Language real-time embedded software program verification semicomplete application code reuse embedded systems object-oriented application framework code reliability automation Diagnostic, testing, debugging and evaluating systems object-oriented programming real-time constraints software correctness component-based framework Formal methods formal verification Software engineering techniques

来源：评论

学校读者我要写书评

暂无评论

An object-oriented design of a finite element code:: application to multibody systems analysis

引用

ADVANCES IN ENGINEERING SOFTWARE 2004年第5期35卷 273-287页

作者： Kromer, V Dufossé, F Gueury, M Univ Nancy 1 ESSTIN ERIN F-54519 Vandoeuvre Les Nancy France Univ Valenciennes SA VALUTEC F-59314 Valenciennes France

This paper will describe one approach to the design and implementation of a multibody systems analysis code using an object-oriented architecture. The principal objective is to show the adequacy between object-oriented programming and the finite element method used for the treatment of three-dimensional multibody flexible mechanisms. It will show that object-oriented programming greatly simplifies the choice and the implementation of other formalisms concerning polyarticulated systems, thus conferring high flexibility and adaptability to the developed software. (C) 2004 Elsevier Ltd. All rights reserved.

关键词： object-oriented programming multibody systems c plus finite element analysis

来源：评论

学校读者我要写书评

暂无评论

Development of an object-oriented finite element program:: application to metal-forming and impact simulations

引用

JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS 2004年第1-2期168卷 341-351页

作者： Pantalé, O Caperaa, S Rakotomalala, R LGP CMAO ENIT F-65016 Tarbes France

During the last 50 years, the development of better numerical methods and more powerful computers has been a major enterprise for the scientific community. In the same time, the finite element method has become a widely used tool for researchers and engineers. Recent advances in computational software have made possible to solve more physical and complex problems such as coupled problems, nonlinearities, high strain and high-strain rate problems. In this field, an accurate analysis of large deformation inelastic problems occurring in metal-forming or impact simulations is extremely important as a consequence of high amount of plastic flow. In this presentation, the object-oriented implementation, using the C++ language, of an explicit finite element code called DynELA is presented. The object-oriented programming (OOP) leads to better-structured codes for the finite element method and facilitates the development, the maintainability and the expandability of such codes. The most significant advantage of COP is in the modeling of complex physical systems such as deformation processing where the overall complex problem is partitioned in individual sub-problems based on physical, mathematical or geometric reasoning. We first focus on the advantages of OOP for the development of scientific programs. Specific aspects of OOP, such as the inheritance mechanism, the operators overload procedure or the use of template classes are detailed. Then we present the approach used for the development of our finite element code through the presentation of the kinematics, conservative and constitutive laws and their respective implementation in C++. Finally, the efficiency and accuracy of our finite element program are investigated using a number of benchmark tests relative to metal forming and impact simulations. (C) 2003 Elsevier B.V. All rights reserved.

关键词： nonlinear finite-element explicit integration large deformations plasticity impact C plus object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

FER/Mech - a software with interactive graphics for dynamic analysis of multibody system

引用

ADVANCES IN ENGINEERING SOFTWARE 2004年第1期35卷 1-8页

作者： Feng, ZQ Joli, P Seguy, N Univ Evry Val Essonne Lab Mecan Evry CEMIF IME F-91020 Evry France Univ Evry Val Essonne Lab Syst Complexe CEMIF IME F-91020 Evry France

Development of user-friendly and flexible scientific programs is a key to their usage, extension and maintenance. This article presents an object-oriented programming approach for the development of FER/Mech-a software with interactive graphics for use in the design and analysis of two and three dimensional multibody dynamic systems. The general organization of the developed software system is given which includes the solver and the pre/postprocessors with a friendly Graphical User interfaces. The concept of absolute natural coordinates is discussed to model rigid bodies in order to satisfy the constraints of modularity. Two case studies with graphical representations illustrate some functionalities of the program. (C) 2003 Elsevier Ltd. All rights reserved.

关键词： multibody dynamics object-oriented programming graphical user interface

来源：评论

学校读者我要写书评

暂无评论

Component-based simulation for a reconfiguration study of transitic systems

引用

SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL 2004年第3期80卷 153-163页

作者： Kindler, E Coudert, T Berruet, P Univ Ostrava Fac Sci CZ-70103 Ostrava Czech Republic Univ Bretagne Sud Ctr Rech F-56321 Lorient France

This paper is organized as follows. Part A presents the context of reconfiguring transitic systems and the main idea in implementing the decision step. It comprises sections 1 to 3. Section 3 presents an example that illustrates the concepts presented in the next sections. Parts B and C express the models and principles used to simulate transitic systems, the result of which will be helpful for choosing the new configuration. Part B focuses mainly on models. It comprises sections 4 to 6. Part C focuses mainly on simulation principles. It comprises sections 7 to 10.

关键词： transitic systems object-oriented programming conveyors with rollers nesting models reflective simulation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：