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

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

来源：评论

学校读者我要写书评

暂无评论

Developing an adaptable manufacturing execution system framework

Developing an adaptable manufacturing execution system frame...

引用

6th CIRP international conference on Digital Enterprise Technology, DET 2009

作者： Gang, Huang Jinhang, Li Xiaodong, Yuan State Key Laboratory of Digital Manufacturing Equipment and Technology Huazhong University of Science and Technology Wuhan Hubei China Department of Industrial and Manufacturing System Engineering School of Mechanical Science and Engineering Huazhong University of Science and Technology China

ISBN: (纸本)9783642104299

Manufacturing system now reached a point where it can accommodate various kinds of production models. However, its management and control sub-system, i.e. the manufacturing execution system (MES), is still constructed with relatively dedicated framework. Such lag in the development of MES has inevitably caused some problems. A salient one is the lack of adaptability to effectively cope with the diversity of manufacturing processes. this paper aims to provide some resolutions to this problem. After analyzing the adaptability requirements of A-MES in detail, some key techniques are researched including data integrated adapter, developing configurable factory model, reusable business component and data based script driven mechanism. thereafter, a new kind of adaptable MES framework named A-MES is presented. A-MES is capable of accommodating changes in internal and external manufacturing system with little programming work. Moreover, a implementation system of A-MES is given, which has been successfully applied in different assembly lines in automotive industry. © Springer-Verlag Berlin Heidelberg 2010.

关键词： Manufacture

来源：评论

学校读者我要写书评

暂无评论

Design Principles of the component-Based Robot Software Framework Fawkes

Design Principles of the Component-Based Robot Software Fram...

引用

2nd international conference on Simulation, Modeling, and programming for Autonomous Robots (SIMPAR)

作者： Niemueller, Tim Ferrein, Alexander Beck, Daniel Lakemeyer, Gerhard Rhein Westfal TH Aachen Knowledge Based Syst Grp Aachen Germany Univ Cape Town Robot & Agents Res Lab Cape Town South Africa

ISBN: (纸本)9783642173189

the idea of component-based software engineering was proposed more that 40 years ago, yet only few robotics software frameworks follow these ideas. the main problem with robotics software usually is that it runs on a particular platform and transferring source code to another platform is crucial. In this paper, we present our software framework Fawkes which follows the component-based software design paradigm by featuring a clear component concept with well-defined communication interfaces. We deployed Fawkes on several different robot platforms ranging from service robots to biped soccer robots. Following the component concept with clearly defined communication interfaces shows great benefit when porting robot software from one robot to the other. Fawkes comes with a number of useful plugins for tasks like timing, logging, data visualization, software configuration, and even high-level decision making. these make it particularly easy to create and to debug productive code, shortening the typical development cycle for robot software.

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

Dashboard: An integration and testing platform based on backboard architecture for NLP applications

Dashboard: An integration and testing platform based on back...

引用

IEEE international conference on Natural Language Processing and Knowledge engineering (NLP-KE)

作者： Pawan Kumar Arun Kumar Rathaur Rashid Ahmad Mukul K Sinha Rajeev Sangal Expert Software Consultants Limited Noida India International Institute of Information Technology Hyderabad India

the paper presents a software integration, testing and visualization tool, called Dashboard, which is based on pipe-lined backboard architecture for family of natural language processing (NLP) application. the Dashboard helps in testing of a module in isolation, facilitating the training and tuning of a module, integration and testing of a set of heterogeneous modules, and building and testing of complete integrated system as well. It is also equipped with a user-friendly visualization tool to build, test, and integrate a system (or a subsystem) and view its component-wise performance, and step-wise processing as well. the Dashboard is being successfully used by a consortium of eleven academic institutions to develop a suite of bi-directional machine translation (MT) system for nine pairs of Indic languages, and six MT systems have already been deployed on web. the MT systems are being developed by reusing / re-engineering previously developed NLP modules, by different institutions, in different programming languages, using Dashboard as the testing and integration tool. the paper also discusses the experiences of developing MT products in consortium mode, using Dashboard as its integrating and testing platform, and its proposed enhancements.

关键词： Strontium Magnetic resonance imaging Erbium

来源：评论

学校读者我要写书评

暂无评论

API Conformance Verification for Java Programs

API Conformance Verification for Java Programs

引用

12th international conference on Formal engineering Methods

作者： Li, Xin Hoover, H. James Rudnicki, Piotr Univ Alberta Dept Comp Sci Edmonton AB T6G 2E8 Canada

ISBN: (纸本)9783642169007

Software components, services, or modules are used via their application programming interface (API). For any sufficiently complex component, there are strict rules on the order and context in which particular methods of the API can be invoked. For example, a file must be opened before reading, and not read after closing. these constraints are called API conformance rules. their violation at run-time creates errors, which are often subtle and difficult to diagnose. In general, API conformance rules cannot be statically checked if concurrency is involved. We present a verification framework, called Fex, that assists in Java API conformance verification. Fex operates as follows. the first step is to express the API conformance rules as executable specifications. then, the program under investigation is instrumented such that all potential exceptions can be easily raised. Next, the program is sliced to retain only control flow and the relevant APIs. the executable API conformance rules and sliced program are then processed by the Java Path Finder model checker. Possible violations of the conformance rules are exhibited as exceptions during model checking. We have successfully applied our framework to the TSAFE reference air traffic control system and identified a subtle deadlock missed by previous verification efforts.

关键词： API conformance verification model checking exception

来源：评论

学校读者我要写书评

暂无评论

GPCE'08: proceedings of the ACM SIGPLAN 7th international conference on generative programming and component engineering

GPCE'08: proceedings of the ACM SIGPLAN 7th international co...

引用

ACM SIGPLAN 7th international conference on generative programming and component engineering, GPCE'08

ISBN: (纸本)9781605582672

the proceedings contain 17 papers. the topics discussed include: emerging challenges for large scale systems integration;code generation to support static and dynamic composition of software product lines;efficient compilation techniques for large scale feature models;on the modularity of feature interactions;using modern mathematics as an FOSD modeling language;generating incremental implementations of object-set queries;integrating semantics and compilation;generating customized verifiers for automatically generated code;property models: from incidental algorithms to reusable components;fundamentalist functional programming;feature featherweight Java: a calculus for feature-oriented programming and stepwise refinement;typing communicating component assemblages;and program refactoring using functional aspects.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Interactive Correction and Recommendation for Computer Language Learning and Training

引用

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA engineering 2009年第6期21卷 854-866页

作者： Pahl, Claus Kenny, Claire Dublin City Univ Sch Comp Dublin 9 Ireland

Active learning and training is a particularly effective form of education. In various domains, skills are equally important to knowledge. We present an automated learning and skills training system for a database programming environment that promotes procedural knowledge acquisition and skills training. the system provides meaningful knowledge-level feedback such as correction of student solutions and personalized guidance through recommendations. Specifically, we address automated synchronous feedback and recommendations based on personalized performance assessment. At the core of the tutoring system is a pattern-based error classification and correction component that analyzes student input in order to provide immediate feedback and in order to diagnose student weaknesses and suggest further study material. A syntax-driven approach based on grammars and syntax trees provides the solution for a semantic analysis technique. Syntax tree abstractions and comparison techniques based on equivalence rules and pattern matching are specific approaches.

关键词： Artificial intelligence-applications and expert knowledge-intensive systems data structures education programming languages query languages

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Final inspection for design pattern homologation using a real time embedded software in a production line

Final inspection for design pattern homologation using a rea...

引用

6th international conference on Information Technology: New Generations, ITNG 2009

作者： Fernandes, Danilo Douradinho Cardoso, Felipe Rafael Motta Montini, Denis Ávila Dias, Luiz Alberto Vieira Moreira, Gabriel De Souza Pereira Da Cunha, Adilson Marques Instituto Tecnológico de Aeronáutica - ITA Brazil

ISBN: (纸本)9780769535968

this paper summarizes a research process applied to Final Inspection (FI) and Causal Analysis for Problems Resolution (CAR) using a Real Time Embedded Software component in a Production Line. It uses C++ language in an IBM-Rational Rose Real Time (RRRT) environment. It tackles the creation of a consistent homologation process to eliminate components' errors, imperfections, and defects even before design patterns' publications in a library. Its major contribution is the construction of an FI artifact for a software component related to CAR. It proposes an industrial model for an FI process of design patterns' homologation using an Integrated Computer Aided Software engineering Environment (I-CASE-E). It considers a design pattern that was identified in a project, described, stored in a library, and successfully reused in another project. the use of Rational Unified Process (RUP) has helped teams of undergrad and graduate students from the Brazilian Aeronautics Institute of Technology (Instituto Tecnológico de Aeronáutica - ITA) to develop their components, during the second semester of 2007. the RUP utilization has provided a fertile scenario to create and apply design pattern concepts. At the end, different Computer Software components (CSC) were homologated with their attributes and generic methods allowing reusability. © 2009 IEEE.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：