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

7th international conference on Web Based Learning (ICWL 2008)

作者： Moon, Ilhyun Han, Saeron Choi, Kwansun Kim, Dongsik Jeon, Changwan Lee, Sunheum Jeon, Heunggu Electrical Communication Engineering SoonChunHyang University Information Communication Engineering SoonChunHyang University MiraeEnergy Tech. Co.

ISBN: (纸本)9783540850328

Web-based interactive learning is an important educational trend. In this paper, we implemented web-based virtual education courseware for the C programming language. It consists of two major components: a creative lecture component for students and an evaluation component for lecturers. the lecture component contains HTML-based lecture notes with creative multimedia content, such as flash movies and video clips, and an effective web-based compiler which compiles C programs at the server. these are submitted by students through the Web and the program returns their execution results to the students' PCs. there is also a submission component of a student's reports and an online examination. the administration and management system for attendance checking, report assignment, online examination and scoring, etc is implemented using web technologies such as HTML, Java, Java script, PHP and MySQL database. this system enables students to easily understand the content and programming techniques of the C programming language. It enables lecturers to achieve higher productivity, saving them time and labor.

关键词： web-based virtual education Java Applet web-based compiler PHP MySQL

来源：评论

学校读者我要写书评

暂无评论

Physiological vs. social complexity in software design

Physiological vs. social complexity in software design

引用

11th IEEE international conference on engineering of Complex Computer Systems

作者： Fiadeiro, Jose Luiz Univ Leicester Dept Comp Sci Leicester LE1 7RH Leics England

"Complexity" and "crisis" have become synonyms in the (brief) history of Software engineering. the terms "component," "decomposition," "structure" and "architectu... 详细信息

ISBN: (纸本)076952530X

"Complexity" and "crisis" have become synonyms in the (brief) history of Software engineering. the terms "component," "decomposition," "structure" and "architecture" have been associated with methods and techniques proposed over the years to defeat the crisis, from structured programming to object/component-based programming and, more recently, service-oriented architectures. As the "software crisis" seems to keep making headlines, it is time that we ask ourselves whether we have made any progress in tackling " complexity".... In this talk, we suggest that the crisis of "yesterday" is not necessarily that of "today," and that it is useful to distinguish between two different notions of complexity - physiological and social - that arise in software design. We then discuss some of the mathematical techniques and methodological principles that are available to address them. © 2006 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Design and evaluation of C plus plus open multi-methods

引用

SCIENCE OF COMPUTER programming 2010年第7期75卷 638-667页

作者： Pirkelbauer, Peter Solodkyy, Yuriy Stroustrup, Bjarne Texas A&M Univ College Stn TX 77843 USA

Multiple dispatch - the selection of a function to be invoked based on the dynamic type of two or more arguments - is a solution to several classical problems in object-oriented programming. Open multi-methods generalize multiple dispatch towards open-class extensions, which improve separation of concerns and provisions for retroactive design. We present the rationale, design, implementation, performance, programming guidelines, and experiences of working with a language feature, called open multi-methods, for C++. Our open multi-methods support both repeated and virtual inheritance. Our call resolution rules generalize both virtual function dispatch and overload resolution semantics. After using all information from argument types, these rules can resolve further ambiguities by using covariant return types. Care was taken to integrate open multi-methods with existing C++ language features and rules. We describe a model implementation and compare its performance and space requirements to existing open multi-method extensions and work-around techniques for C++. Compared to these techniques, our approach is simpler to use, catches more user mistakes, and resolves more ambiguities through link-time analysis, is comparable in memory usage, and runs significantly faster. In particular, the runtime cost of calling an open multi-method is constant and less than the cost of a double dispatch (two virtual function calls). Finally, we provide a sketch of a design for open multi-methods in the presence of dynamic loading and linking of libraries. (C) 2009 Elsevier B.V. All rights reserved.

关键词： Multi-methods Open-methods Multiple dispatch Binary method problem Augmenting method problem Object-oriented programming Generic programming C plus

来源：评论

学校读者我要写书评

暂无评论

Open multi-methods for c++ 07

Open multi-methods for c++

引用

GPCE'07 - 6th international conference on generative programming and component engineering

作者： Pirkelbauer, Peter Solodkyy, Yuriy Stroustrup, Bjarne Texas A and M University College Station TX 77843-3112

ISBN: (纸本)9781595938558

Multiple dispatch - the selection of a function to be invoked based on the dynamic type of two or more arguments - is a solution to several classical problems in object-oriented programming. Open multi-methods generalize multiple dispatch towards open-class extensions, which improve separation of concerns and provisions for retroactive design. We present the rationale, design, implementation, and performance of a language feature, called open multi-methods, for C++. Our open multi-methods support both repeated and virtual inheritance. Our call resolution rules generalize both virtual function dispatch and overload resolution semantics. After using all information from argument types, these rules can resolve further ambiguities by using covariant return types. Great care was taken to integrate open multi-methods with existing C++ language features and rules. We describe a model implementation and compare its performance and space requirements to existing open multi-method extensions and workaround techniques for C++. Compared to these techniques, our approach is simpler to use, catches more user mistakes, and resolves more ambiguities through link-time analysis, runs significantly faster, and requires less memory. In particular, the runtime cost of calling an open multi method is constant and less than the cost of a double dispatch (two virtual function calls). Finally, we provide a sketch of a design for open multi-methods in the presence of dynamic loading and linking of libraries. Copyright © 2007 ACM.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Extracting component-oriented behaviour for self-healing enabling

Extracting component-oriented behaviour for self-healing ena...

引用

7th IEEE international conference and Workshop on engineering of Autonomic and Autonomous Systems, EASe 2010

作者： Bakera, Marco Wagner, Christian Margaria, Tiziana Vassev, Emil Hincheyz, Mike Steffen, Bernhard Universität Potsdam Department of Service and Software Engineering Potsdam Germany University College Dublin Ireland University of Limerick Ireland Technische Universität Dortmund Department of Programming Systems Dortmund Germany

ISBN: (纸本)9780769540047

Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. the GEAR game-based Model Checker has been used successfully to investigate in depth properties of the ESA ExoMars Rover. We show here how to enable GEAR's game-based verification techniques for ASSL via systematic model extraction from a behavioral subset of the language, and illustrate it on a description of the Voyager II space mission. this way, we close the gap between the design-time and the run-time techniques provided in the SHADOWS platform for self-healing of concurrency, performance, and functional issues. © 2010 IEEE.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

component-based product-line engineering with the UML 7th

引用

7th international conference on Software Reuse (ICSR-7)

作者： Atkinson, C Muthig, D Fraunhofer Inst Expt Software Engn IESE D-67661 Kaiserslautern Germany

ISBN: (纸本)3540434836

the software industry is pinning its hopes for future reuse and productivity gains on component-based software development. However, to date the component paradigm has only really penetrated the implementation and deployment phases of the software life-cycle, and does not yet play a major role in the earlier analysis and design activities of large software projects. this is evidenced by the fact that in today's technology being a "component" usually means being implemented as a JavaBeans, a COM object or a COBRA application. this tutorial will present a new method for component-based software engineering, known as KobrA, which supports a higher-level, model-driven representation of components and thus enables the benefits of components to be realized throughout the software life-cycle. the method thus provides a component-oriented way of developing model. driven architectures (MDA).

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

7th international Workshop on engineering Multi-Agent Systems, EMAS 2019

7th International Workshop on Engineering Multi-Agent System...

引用

7th international Workshop on engineering Multi-Agent Systems, EMAS 2019

ISBN: (纸本)9783030514167

the proceedings contain 13 papers. the special focus in this conference is on engineering Multi-Agent Systems. the topics include: JS-son - A lean, extensible JavaScript agent programming library;SAT for epistemic logic using belief bases;Jacamo-web is on the fly: An interactive multi-agent system IDE;From goals to organisations: Automated organisation generator for MAS;on enactability of agent interaction protocols: Towards a unified approach;An architecture for integrating BDI agents with a simulation environment;Using MATsim as a component in dynamic agent-based micro-simulations;Incorporating social practices in BDI agent systems;who’s that? - Social situation awareness for behaviour support agents: A feasibility study;the "why did you do that?" button: Answering why-questions for end users of robotic systems;from programming agents to Educating agents – A jason-based framework for integrating learning in the development of cognitive agents.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Classifying java class transformations for pervasive virtualized access 09

Classifying java class transformations for pervasive virtual...

引用

8th international ACM SIGPLAN conference on generative programming and component engineering, GPCE'09

作者： McGachey, Phil Hosking, Antony L. Eliot, J. Moss, B. Department of Computer Science Purdue University West Lafayette IN United States Department of Computer Science Purdue University West Lafayette IN United States Department of Computer Science University of Massachusetts Amherst MA United States

ISBN: (纸本)9781605588629

the indirection of object accesses is a common theme for target domains as diverse as transparent distribution, persistence, and program instrumentation. Virtualizing accesses to fields and methods (by redirecting calls through accessor and indirection methods) allows interposition of arbitrary code, extending the functionality of an application beyond that intended by the original developer. We present class modifications performed by our RuggedJ transparent distribution platform for standard Java virtual machines. RuggedJ abstracts over the location of objects by implementing a single object model for local and remote objects. However the implementation of this model is complicated by the presence of native and system code;classes loaded by Java's bootstrap class loader can be rewritten only in a limited manner, and so cannot be modified to conform to RuggedJ's complex object model. We observe that system code comprises the majority of a given Java application: an average of 76% in the applications we study. We consider the constraints imposed upon pervasive class transformation within Java, and present a framework for systematically rewriting arbitrary applications. Our system accommodates all system classes, allowing both user and system classes alike to be referenced using a single object model. Copyright © 2009 ACM.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Implementation of an Arabic Morphological Analyzer within constraint logic programming framework

Implementation of an Arabic Morphological Analyzer within co...

引用

7th international conference on Knowledge-Based Intelligent Information and engineering Systems (KES 2003)

作者： Zidoum, H SQU Univ Dept Comp Sci Al Khoud 132 PC Oman

ISBN: (纸本)3540408037

this paper presents an Arabic Morphological Analyzer and its implementation in clp(FD), a constraint logic programming language. the Morphological Analyzer (MA) represents a component of an architecture which can process unrestricted text from a source such as Internet. the morphological analyzer uses a constraint-based model to represent the morphological rules for verbs and nouns, a matching algorithm to isolate the affixes and the root of a given word-form, and a linguistic knowledge base consisting in lists of markers. the morphological rules fall into two categories: the regular morphological rules of the Arabic grammar and the exception rules that represent the language exceptions. clp(FD) is particularly suitable for the implementation of our system thanks to its double reasoning: symbolic reasoning expresses the logic properties of the problem and facilitates the implementation of a the linguistic knowledge base, and heuristics, while constraint satisfaction reasoning on finite domains uses constraint propagation to keep the search space manageable.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

ATL transformation for the generation of SCA model

ATL transformation for the generation of SCA model

引用

7th international conference on Semantics, Knowledge, and Grids, SKG 2011

作者： Louhichi, Soumaya Graiet, Mohamed Kmimech, Mourad Bhiri, Mohamed Tahar Gaaloul, Walid Cariou, Eric MIRACL ISIMS BP 1030 Sfax 3018 Tunisia 9 rue Charles Fourier 91 011 Évry Cedex France Université de Pau et des Pays de l'Adour Avenue de l'Université BP 1155 64013 PAU Cedex France

ISBN: (纸本)9780769545158

Service component Architecture specification (SCA) is an emerging and promising technology for the development, deployment and integration of Internet applications. this technology supports the management of dynamic availability and treats the heterogeneity between the components of distributed applications. However, this technology is not able to solve all problems. Currently, software systems are evolving. this factor makes development and maintenance of systems more complex than before. One solution to remedy this was the use of the Model Driven engineering (MDE) approach in the development process. the aim of this paper is to apply an MDE automation type ensuring the passage from an UML 2.0 model to SCA model. To achieve this, we study two metamodels: the UML 2.0 component metamodel and the SCA meta-model. To ensure traceability between these two meta-models, we have defined transformation rules in ATL language. © 2011 IEEE.

关键词： ATL transformation component architectures Connectors Internet application programming SCA meta-model Service oriented architecture Transforms UML 2.0 component metamodel Unified modeling language Wires distributed application components distributed proce

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：