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

7th international conference on Software Reuse, ICSR, 2002

7th international conference on Software Reuse, ICSR 2002

ISBN: (纸本)9783540434832

the proceedings contain 38 papers. the special focus in this conference is on Software Reuse. the topics include: Integrating and reusing GUI-driven applications;source tree composition;layered development with(unix) dynamic libraries;concurrent execution with sequential reasoning;concepts and guidelines of feature modeling for product line software engineering;domain modeling for world wide web based software product lines with UML;enhancing component reusability through product line technology;modeling variability with the variation point model;the impact of open-source on commercial vendors;integrating reference architecture definition and reuse investment planning;control localization in domain specific translation;model reuse with metamo del-based transformations;generation of text search applications for databases;domain networks in the software development process;supporting reusable use cases;project management knowledge reuse through scenario models;adaptation of coloured petri nets models of software artifacts for reuse;improving hazard classification through the reuse of descriptive arguments;service oriented programming: a new paradigm of software reuse;an empirical user study of an active reuse repository system;towards the formalization of a reusability framework for refactoring;extending abstract factories to decouple advanced dependencies;software fortresses;the case against a grand unification theory;international workshop on reuse economics;workshop on generative programming 2002 (GP2002);industrial experience with product line approaches;workshop on software reuse and agile approaches;software architecture quality analysis methods;tutorial on practical product line scoping and modeling;generative reuse for software generation, maintenance and reengineering;building reusable test assets for a product line;architecture-centric software engineering;practical strategies and techniques for adopting software product lines;methods, techniques, and applic

关键词：

来源：评论

学校读者我要写书评

暂无评论

Barriers to modularity - An empirical study to assess the potential for modularisation of Java programs

Barriers to modularity - An empirical study to assess the po...

引用

6th international conference on the Quality of Software Architectures, QoSA 2010

作者： Dietrich, Jens McCartin, Catherine Tempero, Ewan Ali Shah, Syed M. Massey University School of Engineering and Advanced Technology Palmerston North New Zealand Department of Computer Science University of Auckland Auckland New Zealand

ISBN: (纸本)3642138209

To deal with the challenges when building large and complex systems modularisation techniques such as component-based software engineering and aspect-oriented programming have been developed. In the Java space these include dependency injection frameworks and dynamic component models such as OSGi. the question arises as to how easy it will be to transform existing systems to take advantage of these new techniques. Anecdotal evidence from industry suggests that the presence of certain patterns presents barriers to refactoring of monolithic systems into a modular architecture. In this paper, we present such a set of patterns and analyse a large set of open-source systems for occurrences of these patterns. We use a novel, scalable static analyser that we have developed for this purpose. the key findings of this paper are that almost all programs investigated have a significant number of these patterns, implying that modularising will be therefore difficult and expensive. © 2010 Springer-Verlag.

关键词： Software architecture

来源：评论

学校读者我要写书评

暂无评论

the Hitchhiker's Guide to Software Languages 10

The Hitchhiker's Guide to Software Languages

引用

international conference on generative programming and component engineering

作者： Ralf LaEmmel Universität Koblenz-Landau Koblenz Germany

ISBN: (纸本)9781450301541

there is only that much space in the CS curriculum, and there are always new subjects that should be accommodated by the curriculum. For instance, in our community, we would want all graduates to leave university with a modest background in technical spaces, software languages, and meta-programming;also, with conceptually informed and reasonably timeless skills to efficiently master related programming techniques and technologies. In reality, the curricula of few CS departments meet this expectation. In this talk, I will discuss such curricula-related expectations of our community and the suboptimal situation at CS departments-as I perceive them. More importantly, I will allude to a revision of the CS curriculum that could optimize matters and may stand a chance for mid-term adoption.

关键词： technical spaces software languages metaprogram-ming x/o/r mapping programming techniques programming technologies

来源：评论

学校读者我要写书评

暂无评论

Predicting Rough Error Causes in Novice Programmers Using Cognitive Level 20th

Predicting Rough Error Causes in Novice Programmers Using Co...

引用

20th international conference on Intelligent Tutoring Systems (ITS)

作者： Kim, Deok Yeop Lee, Woo Jin Kyungpook Natl Univ Sch Comp Sci & Engn Daegu South Korea

ISBN: (纸本)9783031630279;9783031630286

Novice programmers face various errors during the learning of a programming language. Most of them need help from instructors since they lack error resolution skills. On the other side, instructors spend a lot of time figuring out students' error causes. Long error detection times result in delayed and failed feedback, leading to a loss of student motivation. To support instructor's fast feedback, a detection method of error cause is needed. Existing detection methods, which are code-based, detect common and specific errors that can be identified by analyzing source code. these methods do not cover the diverse error patterns of novice programmers sufficiently, such as logical defects. To resolve this issue, it may be beneficial to detect rough and correct error causes of diverse error patterns. In this paper, a prediction method of rough error cause is proposed by considering not only source code, but also problem information, execution results, and the cognitive level indicating programming skills. We assume that different programming skills lead to different error patterns, which can help roughly but precisely predict error causes of runtime and logic errors in novice programmers. For performance evaluation, data from two introductory programming courses are used to validate the effectiveness of the cognitive level. Additionally, the usability for fast feedback is validated by comparing the error causes detection times of the instructors in each case.

关键词： Error Detection Cognitive Level programming Error Introductory programming Course Learning Taxonomy

来源：评论

学校读者我要写书评

暂无评论

Iterative PSO Algorithm for RAP Problem with Homogeneous component in Subsystems 6th

Iterative PSO Algorithm for RAP Problem with Homogeneous Com...

引用

6th international conference on Computing, Control, and Industrial engineering, CCIE 2021

作者： Bai, Yingxia Li, Dongkui Faculty of Computer Science and Information Engineering Hohhot Institute for Nationalities Inner Mongolia Hohhot010051 China Faculty of Information Science and Technology Baotou Teachers College Inner Mongolia Baotou014030 China

ISBN: (纸本)9789811939266

the problem of two-state reliability redundancy allocation (RAP) is studied. the subsystem is k-out-of-n: G system. Each subsystem is not allowed to mix components (that is, each subsystem chooses one type of component from several kinds of heterogeneous components and only one type of component). Each component in each class has a fixed weight and price, and the k value of each subsystem is fixed. the problem is to determine the type and quantity of the selected components (redundancy) so that the reliability of the system can be maximized under the constraints of the total price and weight given by the system. A new encoding method of solution is constructed, and symmetrical bit transformation technology is used to generate a new solution. On this basis, a new discrete particle swarm optimization (PSO) algorithm is constructed, which uses fixed compression coefficient, dynamic inertia weight and composite iteration technology (i.e. for particles that do not meet the constraints of the system, the second iteration formula is used to generate new velocity and position values). the new algorithm is used to solve the FYFFE problem and the generalized FYFFE problem (33), and the optimal solutions are obtained, which are consistent with the results obtained by the dynamic programming method and substitution constraint method respectively. the new PSO algorithm is easy to understand in theory, easy to implement in programming, and can effectively solve the RAP problem studied. © 2022, the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Redundancy

来源：评论

学校读者我要写书评

暂无评论

A modified standard embedding with jumps in nonlinear optimization

A modified standard embedding with jumps in nonlinear optimi...

引用

6th international conference on Industrial engineering and Production Management

作者： Guddat, J Vázquez, G Nowack, D Rückmann, JJ Univ Americas Puebla Escuela Ciencias Cholula 72820 Mexico Humboldt Univ Inst Math D-10099 Berlin Germany

the paper deals with a combination of pathfollowing methods (embedding approach) and feasible descent direction methods (so-called jumps) for solving a nonlinear optimization problem with equality and inequality constraints. Since the method that we propose here uses jumps from one connected component to another one, more than one connected component of the solution set of the corresponding one-parametric problem can be followed numerically. It is assumed that the problem under consideration belongs to a generic subset which was introduced by Jongen, Jonker and Twilt. there already exist methods of this type for which each starting point of a jump has to be an endpoint of a branch of local minimizers. In this paper the authors propose a new method by allowing a larger set of starting points for the jumps which can be constructed at bifurcation and turning points of the solution set. the topological properties of those cases where the method is not successful are analyzed and the role of constraint qualifications in this context is discussed. Furthermore, this new method is applied to a so-called modified standard embedding which is a particular construction without equality constraints. Finally, an algorithmic version of this new method as well as computational results are presented. (c) 2005 Published by Elsevier B.V.

关键词： parametric programming pathfollowing methods with jumps genericity Jongen-Jonker-Twilt regularity modified standard embedding

来源：评论

学校读者我要写书评

暂无评论

Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs

引用

ACM SIGPLAN NOTICES 2011年第2期46卷 127-136页

作者： Rompf, Tiark Odersky, Martin Ecole Polytech Fed Lausanne CH-1015 Lausanne Switzerland

Software engineering demands generality and abstraction, performance demands specialization and concretization. generative programming can provide both, but developing high-quality program generators takes a large effort, even if a multi-stage programming language is used. We present lightweight modular staging, a library-based multi-stage programming approach that breaks with the tradition of syntactic quasi-quotation and instead uses only types to distinguish between binding times. through extensive use of component technology, lightweight modular staging makes an optimizing compiler framework available at the library level, allowing programmers to tightly integrate domain-specific abstractions and optimizations into the generation process. We argue that lightweight modular staging enables a form of language virtualization, i.e. allows to go from a pure-library embedded language to one that is practically equivalent to a stand-alone implementation with only modest effort.

关键词： Design Languages Code Generation Multi-stage programming Domain-specific languages Language Virtualization

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 5th international Workshop on Feature-Oriented Software Development, FOSD 2013 - Co-located with GPCE at SPLASH 2013

Proceedings of the 5th International Workshop on Feature-Ori...

引用

5th Int. Workshop on Feature-Oriented Software Development, FOSD 2013 - Co-located with 12th Int. Conf. on generative programming: Concepts and Experiences, GPCE 2013 and the ACM SIGPLAN Conf. SPLASH 2013

ISBN: (纸本)9781450321686

the proceedings contain 6 papers. the topics discussed include: exploring feature interactions in the wild: the new feature-interaction challenge;features, modularity, and variation points;executable modelling of dynamic software product lines in the ABS language;an abstract representation of variational graphs;implementing refactorings for FOP lessons learned and challenges ahead;and program slicing to understand software generators.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Voting Decentralized Application Using Blockchain 6

Voting Decentralized Application Using Blockchain

引用

6th international conference on Contemporary Computing and Informatics, IC3I 2023

作者： Asha Banu, A. thenmozhi, P. Gokulalakshmi, A. Jayabarathi, V. Ananth, Christo IFET College of Engineering Science and Humanitites Tamilnadu India St. Joseph's College of Engineering Electronics and Communication Engineering Chennai India IFET College of Engineering Computer Science and Engineering Tamilnadu India Samarkand State University Faculty of International Education Programs Uzbekistan

ISBN: (纸本)9798350304480

the democratic practise of voting is one of the most important. the most reliable method for guaranteeing that everyone's right to vote is protected, in the opinion of many experts, is to use paper ballots. Meanwhile, this tactic is open to misuse and blunders. To address the problems with paper ballots, many countries now use digital voting procedures. Digital voting machines are prone to mistakes that could result in widespread vote rigging. Voting procedures for elections must be authorised, precise, secure, and practical. Acceptance may be constrained, though, by problems with digital voting procedures. Blockchain technology was created to solve these issues due to its end-to-end verification capabilities. To ensure We have employed blockchain technology. We implemented our protocol on the blockchain-based Ethereum 2.0 platform, which uses the Solidity programming language To test it, it is necessary to create smart contracts. Smart contract technology offers a safe way to validate voters, ensure the validity of the results, make the voting process public, and thwart fraud. Based on security and gas costs, we examined how well the system performed. It becomes more secure and costs less to maintain the required infrastructure. © 2023 IEEE.

关键词： component formatting insert style styling

来源：评论

学校读者我要写书评

暂无评论

Workflow deployment in ICENI II

引用

6th international conference on Computational Science (ICCS 2006)

作者： McGough, A. Stephen Lee, William Darlington, John Univ London Imperial Coll Sci Technol & Med Dept Comp London Esci Ctr London SW7 2AZ England

ISBN: (纸本)3540343830

the Imperial College e-Science Networked Infrastructure (ICENI) has been developed by the London e-Science Centre for over four years. ICENI has prototyped many novel ideas for providing an end to end Grid middleware. this has included: service-oriented architecture, component programming model, retaining and using meta-data collected throughout the life-cycle of an application, and scheduling algorithms which are aware of workflow and performance data. In this paper we describe the workflow pipeline and deployment process of ICENI II. this allows the user to specify their workflow at an abstract level which is fed through the pipeline in order to successfully deploy it over the Grid. the tool sets, which make up the stages of the ICENI II pipeline, are designed to be composable in an a-la-carte fashion. thus allowing Grid developers to select only those components which are relevant for their work. When these tool sets are composed together they form the higher level services required to make the Grid useful to the end user.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：